Applying MARTE Profile for Optimal Automotive System Specifications and Design

The UML profile for Modeling and Analysis of Real- \ Time 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