Design-Time Verification of Reconfigurable Real-time Embedded Systems

Krichen, Fatma; Hamid, Brahim; Zalila, Béchir; Jmaïel, Mohamed

doi:10.1109/hpcc.2012.217

Cited by 3 publications

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This work was enhanced in (Krichen et al, 2011) by adding a fourth package to specify Structural and non-functional constraints and allocation constraints (policies of meta-modes allocation on execution supports). Another improvement was added in (Krichen et al, 2012) which consists in a verification approach for reconfigurable DRE systems permitting to verify, at design time, a set of non-functional properties such as CPU usage, memory and bandwidth usage,tasks deadline meeting, and deadlock and livelock freedom. They used the RMS scheduling algorithm, the Cheddar framework and defined algorithms for verification of the mentioned properties.…”

Section: Software-level Adaptation Modelingmentioning

confidence: 99%

High Level Design of Adaptive Real-time Embedded Systems - A Survey

Said¹,

Kacem²,

Amor³

et al. 2013

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development

View full text Add to dashboard Cite

Real time embedded systems (RTES) know a growing complexity due to modern applications requirements and architectures complexity especially with the addition of the multiprocessor feature. They are equally subject to a variety of constraints due to their mobility. They need to react to environment variability, resource limitations and timing constraints. An emergent solution to deal with this complexity is the integration of adaptation strategies in embedded systems design flow. The design space of multi-layer adaptation decisions is becoming increasingly vast and difficult to explore. Development of such systems at low system levels is therefore increasingly tedious especially with the limitations of computer aided design tools. Using MDE approach and the UML/MARTE profile for high abstraction level design is becoming a promising solution to ease the design of RTES. In the present paper we recall and classify existing works built around adaptive embedded systems. We concentrate on a set of criteria to help highlighting the shortages of existing approaches on modern adaptive RTES design. We focus on the design environment, adaptation features, online time constraints verification and performance assessment. Finally, we present our future works to cope with the limits of existing solutions while taking into account the observed criteria.

show abstract

Section: Software-level Adaptation Modelingmentioning

confidence: 99%