Applying MARTE Profile for Optimal Automotive System Specifications and Design

Abstract

Abstract-The UML profile for Modeling and Analysis of RealTime and Embedded Systems (MARTE) describes semantics and syntax for designing embedded and real-time systems, providing capabilities for representing the intrinsic characteristics of these systems, such as resource allocation, time criteria, non-functional characteristics, among others. MARTE provides different constructors and appropriate annotations for design activities allowing representation of quantitative characteristics that are relevant to the domain of a real-time system such as, for example, deadlines, periods, processing capacity, timing, and also qualitative characteristics that relate to system performance, including methods of communication and concurrence. This paper presents an in-depth study about the CoreElements, Time and GRM packages of the MARTE profile. In addition, it presents an initial analysis of conformity of MARTE constructors in the context of the specification processes and design of automotive systems. It is important to emphasize that the presented models are strengthened with MARTE constructors,by allowing the representation of functional and non-functional requirements, performance and temporal restrictions in the field of automotive systems already in initial stages of system design.