Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: advantages, limitations and alternatives

Imran Rafiq Quadri 1 Abdoulaye Gamatié 1 Pierre Boulet 1 Samy Meftali 1 Jean-Luc Dekeyser 1
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : Embedded systems have become an essential aspect of our professional and personal lives. From avionics, transport and telecommunication systems to general commercial appliances such as smart phones, high definition TVs and gaming consoles; it is difficult to find a domain where these systems have not made their mark. Moreover, Systems-on-Chips (SoCs) which are considered as an integral solution for designing embedded systems, offer advantages such as run-time reconfiguration that can change system configurations during execution, depending upon Quality-of-Service (QoS) criteria such as performance, energy levels etc. This article deals with aspects related to modeling of these configurations, useful for describing various states of an embedded system, from both structural and operational viewpoints. Our proposal adapts a high abstraction level approach based on the principles of Model-Driven Engineering (MDE) and takes into account the UML MARTE profile for modeling of real-time and embedded systems. Elevating the design abstraction levels help to increase design productivity and achieve execution platform independence, among other advantages. The article details the current proposition of configurations in MARTE via some examples, and points out the advantages as well as some limitations, mainly concerning the semantic aspects of the defined concepts. Finally, we report our experiences on the modeling of an alternate notion of configurations and execution modes within the MARTE compliant Gaspard2 SoC Co-Design framework that has been successful for the design as well as implementation of FPGA based SoCs.
Type de document :
Article dans une revue
Journal of Systems Architecture, Elsevier, 2012, 〈10.1016/j.sysarc.2012.01.001〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00666014
Contributeur : Mister Dart <>
Soumis le : vendredi 3 février 2012 - 13:30:32
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

Collections

Citation

Imran Rafiq Quadri, Abdoulaye Gamatié, Pierre Boulet, Samy Meftali, Jean-Luc Dekeyser. Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: advantages, limitations and alternatives. Journal of Systems Architecture, Elsevier, 2012, 〈10.1016/j.sysarc.2012.01.001〉. 〈hal-00666014〉

Partager

Métriques

Consultations de la notice

367