An Approach to Formalization of Architectural Viewpoints Design in Real-Time and Embedded Domain
Fabíola Gonçalves C. Ribeiro, Achim Rettberg, Carlos Eduardo Pereira, Charles Steinmetz, Michel S. Soares · 2018
Development of Real-Time and Embedded Systems (RTES) involves a number of complex activities performed by a diversity of stakeholders. In most cases, RTES requires a number of different physical and logical components with numerous functional and non-functional constraints. Therefore, it is essential to ensure the representation, specification and analysis of quality activities of these systems since the early design activities. SPES (Software Platform Embedded Systems) methodology has been considered to describe a framework to develop RTES, but it does not specify directly how and which modeling languages should be adopted. Thus, this research adopts SPES guidelines and applies SysML and MARTE profiles to create models in the architectural viewpoints, while it highlights functional properties and different non-functional constraints of the system. A formalization of design viewpoints is presented in order to contribute to quantitative measurement to describe an analysis of the design complexity since the initial design activities. As contributions of this paper, it can be highlighted a proposal to formalize the RTES design activities (viewpoints), a measurement of the system design complexity since the initial design activities (in accordance with the design activities) and, also, the definition of a formalized manner to analyse RTES complexity without the interference of user external knowledge.