Introducing Safety Requirements Traceability Support in Model-Driven Development of Robotic Applications

• Published in: IEEE transactions on computers Vol. 60; no. 8; pp. 1059 - 1071
• Main Authors: Sanchez, P., Alonso, D., Rosique, F., Alvarez, B., Pastor, J. A.
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.08.2011; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Computer programs; Design engineering; Hazards; Model-driven engineering; Object oriented modeling; Preserves; Safety; safety systems; Service robots; Software; Studies; traceability; Transformations; Unified modeling language

Requirements traceability is a technique intended to help determine the impact of changes in software design, support their integration, preserve knowledge, and assure the quality and correctness of the overall system. This paper presents an approach that considers traceability of safety requirement...