Skip to Main content Skip to Navigation
Journal articles

Multi-Objective Design Exploration Approach for Ravenscar Real-time Systems.

Rahma Bouaziz 1 Laurent Lemarchand 2 Frank Singhoff 3 Béchir Zalila 4 Mohamed Jmaiel 4
2 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
3 Lab-STICC_UBO_CACS_MOCS
IBNM - Institut Brestois du Numérique et des Mathématiques, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : This article deals with the design exploration and verification of real-time critical systems. Assigning the functions to the tasks of the target real-time operating system is a part of the design process. Finding a suitable design involves many important design decisions that have a strong impact on the system quality criteria. However, with the increasing complexity and scale of today’s systems and the large number of possible design solutions, making design decisions while balancing conflicting quality criteria becomes error-prone and unmanageable for designers. We propose an automated method using a multi-objective evolutionary algorithm guided by an architectural clustering technique. This method allows designers to search the design space for schedulable solutions with respect to multiple competing performance criteria. To assess our method, several evaluations were performed. One of them shows that we were able to produce the exact optimal solution sets for 55% of the studied problem instances.
Document type :
Journal articles
Complete list of metadatas

https://hal.univ-brest.fr/hal-01717138
Contributor : Frank Singhoff <>
Submitted on : Sunday, February 25, 2018 - 10:48:25 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:36 PM

Identifiers

Citation

Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Béchir Zalila, Mohamed Jmaiel. Multi-Objective Design Exploration Approach for Ravenscar Real-time Systems. . Real-Time Systems, Springer Verlag, 2018, 54 (2), pp 424-483. ⟨10.1007/s11241-018-9299-6⟩. ⟨hal-01717138⟩

Share

Metrics

Record views

302