Partition Scheduling on an IMA Platform with Strict Periodicity and Communication Delays - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Partition Scheduling on an IMA Platform with Strict Periodicity and Communication Delays

Résumé

Integrated Modular Avionics (IMA) architectures employ a high-integrity, partitioned environment that hosts multiple avionics functions of different criticalities on a shared computing platform. IMA provides benefits of flexibility and scalability and allow for weight savings. However the complexity of the integration process is increased due to the sharing of resources. One of the main problem encountered during the integration process is to find a proper scheme for scheduling avionics functions onto offered processing units while ensuring at the same time execution, resource and safety demands. In this paper, we present a MILP formulation for the scheduling of avionics functions on the resources of an IMA architecture. This mixed integer linear programming formulation takes into account resource constraints as well as temporal constraints related to ensuring a feasible schedule for the strictly periodic avionics functions. The objective function is to maximize the evolution margin for the functions, so that spare resources can be allocated to meet the resource demand growth of the hosted functions.
Fichier principal
Vignette du fichier
rtns2010_sheikh.pdf (543.72 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00546945 , version 1 (15-12-2010)

Identifiants

  • HAL Id : hal-00546945 , version 1

Citer

Ahmad Al Sheikh, Olivier Brun, Pierre-Emmanuel Hladik. Partition Scheduling on an IMA Platform with Strict Periodicity and Communication Delays. 18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.179-188. ⟨hal-00546945⟩
379 Consultations
403 Téléchargements

Partager

Gmail Facebook X LinkedIn More