Skip to Main content Skip to Navigation
Journal articles

Handling criticality mode change in time-triggered systems through linear programming

Abstract : Mixed Criticality helps reducing the impact of pessimistic evaluation of Worst Case Execution Time for real-time systems. This is achieved by hosting lowcriticality tasks on a same hardware architecture in addition to the classical high-critical tasks, when considering two-criticality levels. The Time-Triggered paradigm (TT) is a classical approach within industry to develop high-criticality tasks. Extending TT systems in order to integrate the support of MC scheduling therefore requires the generation of two schedule tables, one for each criticality level. However, a switch between the schedule tables must not lead to an unschedulable situation for the high-criticality tasks. In this work, we show how a linear programming approach can be used to generate these schedule tables in a consistent way for dual-critical problems on multiprocessor architectures.
Document type :
Journal articles
Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01844456
Contributor : Léna Le Roy <>
Submitted on : Thursday, July 19, 2018 - 1:31:25 PM
Last modification on : Friday, July 31, 2020 - 10:44:11 AM

Identifiers

  • HAL Id : cea-01844456, version 1

Collections

Citation

M. Jan, L. Zaourar, V. Legout, Laurent Pautet. Handling criticality mode change in time-triggered systems through linear programming. Ada User Journal, 2014, 35 (2), pp.133-137. ⟨cea-01844456⟩

Share

Metrics

Record views

41