No 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.

No abstract

Abstract-Activities for the comprehension and development of Cyber-Physical Systems (CPS) include analysis of multiple disciplines including mechanical engineering, electronic engineering, systems engineering and computer science. This work presents a comprehensive and applicable methodology for the initial activities of the development process of CPS. This methodology displays the capacity to describe and enable detailed analysis of the relevant properties of these systems as, for example, time specification, resources, communication and non-functional properties of CPS. In this research, two consolidated approaches of Model-Based Engineering are used in a combined way for proposing a methodology for requirements analysis, modeling and formal specification of CPS. Initially, a strategy for the definition, modeling, specification, and categorization of requirements in a tabular way is proposed. From the system definition in a high abstraction level, the SysML Requirements diagram is extended by using UML profile MARTE/VSL for formalization of restrictions, annotations and stereotypes in the model. Initial results of the application of the proposed methodology are presented by means of a case study of the Industrial Packing System.