Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain

This work presents a model-driven requirement engineering approach for the embedded software domain. This approach is based on UML, MARTE and SysML standard notations, which are integrated in order to improve requirements specification and traceability. MARTE stereotypes are mainly used to specify non-functional requirements, exceptionally imperative in this domain, while SysML notations integrated to UML models support requirements management. The management is based on traceability matrixes, which are automatically generated from SysML requirements diagrams. Furthermore, we illustrate the effectiveness of our approach by means of a case study.