Offline Validation of Real-Time Application Constraints Considering Adaptation Rules

Boukhanoufa, Mohamed-Lamine; Radermacher, Ansgar; Terrier, François

doi:10.1109/trustcom.2011.134

Cited by 6 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Following this classification, the authors illustrate using an avionic example the need for the validation of adaptation rules at design-time according to the real-time features of the system. In this context of verification approaches, they have proposed in [11] an MDE approach for modeling and offline validation of application timing constraints. In fact, this article uses state machine to represent the application configurations and transitions between them to represent adaptation rules.…”

Section: Related Workmentioning

confidence: 99%

Towards a MARTE Extension to Address Adaptation Mechanisms

Naija

Bruel

Ahmed

2016

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE)

View full text Add to dashboard Cite

The profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) defines a framework for annotating non-functional properties of embedded systems. In particular, the SAM (Schedulability Analysis Model) sub-profile offers stereotypes for annotating UML models with the needed information which will be extracted to fulfill a scheduling phase. However, SAM does not allow designers to specify data to be used in the context of adaptive systems development. In this position paper, we present the related works around the development of adaptive real-time and embedded systems and discuss why we seek to improve the meta-models of MARTE.

show abstract

Section: Related Workmentioning

confidence: 99%

Towards a MARTE Extension to Address Adaptation Mechanisms

Naija

Bruel

Ahmed

2016

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE)

View full text Add to dashboard Cite

show abstract

“…It also lacks support for online temporal verification and performance evaluation of adaptation. (Boukhanoufa et al, 2010) (Boukhanoufa et al, 2011) were also interested in software adaptation modeling using UML/MARTE. They essentially fo-cused on the validation of adaptation rules with respect to real-time constraints at design time.…”

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

A New MARTE Extension to Address Adaptation Mechanisms in Scheduling View

Naija

Ahmed

2016

Communications in Computer and Information Science

View full text Add to dashboard Cite

Offline Validation of Real-Time Application Constraints Considering Adaptation Rules

Cited by 6 publications

References 13 publications

Towards a MARTE Extension to Address Adaptation Mechanisms

Towards a MARTE Extension to Address Adaptation Mechanisms

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

A New MARTE Extension to Address Adaptation Mechanisms in Scheduling View

Contact Info

Product

Resources

About