Towards a Model-based Multi-Objective Optimization Approach For Safety-Critical Real-Time Systems

Soulimane Kamni1,a, Yassine Ouhammou1,b, Antoine Bertout2 and Emmanuel Grolleau1,c

1LIAS, ISAE-ENSMA
asoulimane.kamni@ensma.fr
byassine.ouhammou@ensma.fr
cgrolleau@ensma.fr
2LIAS, Université de Poitiers, Futuroscope, France
antoine.bertout@univ-poitiers.fr

ABSTRACT

In safety-critical real-time systems domain, obtaining the appropriate operational model which meets the temporal (e.g. deadlines) and business (e.g. redundancy) requirements while being optimal in terms of several metrics is a primordial process in the design life-cycle. Recently, several researches have proposed to explore cross-domain trade-offs for a higher behaviour performance. Indeed, this process represents the first step in the deployment phase, which is very sensitive because it could be error-prone and time consuming.
This paper is a work in progress proposing an approach aiming to help real-time system architects to take benefit from existing works, overcome their limits, and capitalize the efforts. Furthermore, the approach is based on the model-driven engineering paradigm and suggests to ease the usage of methods and tools thanks to repositories gathering them as a sort of a shared knowledge.

Keywords: Critical real-time systems, Model-driven Engineering, Multi-objective optimization, functional-to-architectural mapping, Real-time analysis Tools.



Full Text (PDF)