Skip to Main content Skip to Navigation
Reports

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

Abstract : 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.
Document type :
Reports
Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-00811359
Contributor : Sara Tucci-Piergiovanni <>
Submitted on : Wednesday, April 10, 2013 - 11:27:27 AM
Last modification on : Wednesday, June 24, 2020 - 4:19:07 PM
Long-term archiving on: : Monday, April 3, 2017 - 3:29:31 AM

File

TechnicalReport120307AM.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cea-00811359, version 1

Citation

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⟩

Share

Metrics

Record views

457

Files downloads

284