A Mixed Integer Linear Programming formulations for optimizing timing performance during the deployment phase in real-time systems design - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Rapport Année : 2012

A Mixed Integer Linear Programming formulations for optimizing timing performance during the deployment phase in real-time systems design

Résumé

Following the standard development methodologies for the real-time systems, the designer has to deploy functions exchanging signals information onto an execution platform. The deployment consists of the three stages i.e. (i) the placement of functions and signals on a distributed network of nodes, (ii) the partitioning of these functions and signals in fixed-priority tasks and messages, respectively, and (iii) the tasks and messages scheduling (i.e. tasks and messages priority assignment). As the design choices at each stage highly influence the timing performance of the system, in the present report, we are interested in supporting designers in their choices during the three stages. To achieve that, we use the Mixed Integer Linear Programming (MILP) technique. Therefore, we first give a MILP formulation which deals with the three stages at the same time; it is called one-step MILP formulation. Then, we face the high complexity of the one-step MILP formulation by decomposing it into two less complex MILP formulations; we call that two-step MILP formulation. The first MILP formulation treats the placement of functions and exchanged signals to nodes and buses, respectively. The second MILP formulation determines the partitioning of functions (resp. signals) in tasks (resp. messages) and assigns priorities to each partition.
Fichier principal
Vignette du fichier
TechnicalReport120307AM.pdf (530.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

cea-00811359 , version 1 (10-04-2013)

Identifiants

  • HAL Id : cea-00811359 , version 1

Citer

Asma Mehiaoui, Tucci-Piergiovanni Sara, Jean-Philippe Babau. A Mixed Integer Linear Programming formulations for optimizing timing performance during the deployment phase in real-time systems design. 2012. ⟨cea-00811359⟩
250 Consultations
215 Téléchargements

Partager

Gmail Facebook X LinkedIn More