Extensions to the UML Profile for MARTE for Distributed Embedded Systems

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