Handling criticality mode change in time-triggered systems through linear programming - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Article Dans Une Revue Ada User Journal Année : 2014

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

Résumé

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.
Fichier non déposé

Dates et versions

cea-01844456 , version 1 (19-07-2018)

Identifiants

  • HAL Id : cea-01844456 , version 1

Citer

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⟩
44 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More