Model-based requirements and properties specifications trends for early design verification of embedded systems

摘要

Model Based System Engineering (MBSE) has shown promising results for early design verification of embedded systems. It requires to specify system properties / constraints at higher abstraction level along with the structural and behavioral requirements. However, selection of appropriate requirement and property specifications approaches is challenging due to complex behavioral / temporal aspects of embedded systems. To analyze the scientific advancements, in this article, an investigation of emerging trends for the representation of constraints and the utilization/customization of UML along with its SYSML / MARTE profiles is presented. 52 researches are selected through a Systematic Literature Review (SLR). It allows to analyze the utilization and customization of aforementioned profiles for requirement specification of embedded systems. Another outcome is the identification and comparative analysis of properties specification trends for the representation of embedded systems constraints at higher abstraction level. This investigation certainly benefits the researchers and practitioners for the selection of appropriate requirement and property specification approaches in MBSE for embedded systems.