Abstract | ||
---|---|---|
The synthesis of a valid and optimized deployment model from functional and platform models is a crucial issue in the development of distributed real-time systems. The synthesis consists in the allocation of functions/signals to execution nodes/communication buses, the mapping of functions/signals into tasks/messages and the priority assignment to tasks/messages. Current approaches provide partial solutions for the synthesis of a deployment model on distributed platforms, as either the allocation or the mapping is fixed a-priori. In order to tackle this problem we propose an optimization technique, based on two different mathematical programming formulations, to handle optimization of both allocation and mapping. The optimization is multi-objective and considers extensibility maximization, latency minimization and minimization of the number of tasks. The obtained solutions satisfy timing and platform resources requirements. An automotive case study shows the effectiveness of our approach. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/RTCSA.2012.61 | Embedded and Real-Time Computing Systems and Applications |
Keywords | Field | DocType |
distributed programming,embedded systems,functional programming,minimax techniques,resource allocation,system buses,task analysis,communication bus,distributed real-time embedded system,execution node,function allocation,function mapping,functional model,latency minimization,mathematical programming,multiobjective programming,optimisation,priority assignment,signal allocation,signal mapping,task-message priority assignment,designers guidance,distributed real-time embedded systems,model-based design,optimization,response time analysis | Resource management,Software deployment,Unified Modeling Language,Functional programming,Computer science,Model-based design,Real-time computing,Minification,Resource allocation,Maximization,Distributed computing | Conference |
ISSN | ISBN | Citations |
1533-2306 E-ISBN : 978-0-7695-4824-1 | 978-0-7695-4824-1 | 4 |
PageRank | References | Authors |
0.45 | 8 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Asma Mehiaoui | 1 | 18 | 2.05 |
Sara Tucci Piergiovanni | 2 | 286 | 22.22 |
Jean-Philippe Babau | 3 | 111 | 21.67 |
Laurent Lemarchand | 4 | 15 | 2.00 |