The design of distributed embedded systems is a challenging task that requires raising the level of abstraction to overcome the complexity of the different concerns involved. In particular, standard modeling languages and precise semantics specification are necessary to address the networking related aspects at a high level of abstraction. The Unified Modeling Language and its MARTE profile standards are valid formalisms to model real-time embedded systems but they lack precise modeling elements when addressing applications and platforms forming distributed embedded systems. In this work, we formalize a coherent set of modeling elements for the deployment and design of distributed embedded systems. A novel UML profile for networking is proposed as a semantic and syntactic extension to the UML Profile for MARTE: The Network Profile.
Extensions to the UML Profile for MARTE for Distributed Embedded Systems
Ebeid, Emad Samuel Malki;QUAGLIA, Davide;FUMMI, Franco
2015-01-01
Abstract
The design of distributed embedded systems is a challenging task that requires raising the level of abstraction to overcome the complexity of the different concerns involved. In particular, standard modeling languages and precise semantics specification are necessary to address the networking related aspects at a high level of abstraction. The Unified Modeling Language and its MARTE profile standards are valid formalisms to model real-time embedded systems but they lack precise modeling elements when addressing applications and platforms forming distributed embedded systems. In this work, we formalize a coherent set of modeling elements for the deployment and design of distributed embedded systems. A novel UML profile for networking is proposed as a semantic and syntactic extension to the UML Profile for MARTE: The Network Profile.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
