A Proposal to Trace and Maintain Requirements Constraints of Real-time Embedded Systems
Résumé
The development of Real-Time Embedded Systems (RTES) considering critical and volatile system and software requirements is a difficult and error-prone activity. The capability to describe system components while highlighting and maintaining their correlations at different abstraction levels and refinements has a significant impact on RTES development. Most techniques for designing RTES present many problems and limitations regarding tracing RTES constraints along of architectural design. Moreover, there is a gap in integrated strategies to evaluate the correctness of these constraints from model specification to the system models realization. This article aims to perform a study on Model-Driven Systems Engineering approaches applied in the design and traceability of specific RTES constraints. The main objective of this study is to automatically perform an evaluation of traced non-functional concerns and provide feedback to the developers regarding the validity of the simulated constraints. In order to achieve this objective, this study, initially, develops a formalized manner to specify RTES constraints in architectural viewpoints and a tool to evaluate the real simulated values of these specifications.