Towards a traceability model in a MARTE-based methodology for real-time embedded systems

摘要

This paper addresses the traceability management in the context of Accord{sub}(|UML), a MARTE-based methodology for designing distributed real-time embedded systems. Our contribution is two fold: on the one hand, we propose to include directly requirements in the modeling process; on the other hand, we identify potential traceability links that we model by using the SysML requirement profile. We also present the toolbox that supports our contribution.