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

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 requirements in the context of model-driven development of teleoperated services robots. The combination of the model-driven approach with safety requirements traceability makes it possible to construct systems using techniques for automatically identifying, managing, and mitigating risks so that these systems are safe enough to work in a particular environment. To secure the advantages of these mechanisms, we have developed a tool that provides users with traceability reports after applying model transformations. These reports enable developers to determine whether or not all safety requirements have been considered, the impact of changing a safety requirement, and how they are considered both in architectural decisions and code implementations.

[1]  Bruce Powell Douglass,et al.  Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems , 2002 .

[2]  Kevin Barraclough,et al.  I and i , 2001, BMJ : British Medical Journal.

[3]  Stefan Biffl,et al.  A Model-Driven Architecture Approach Using Explicit Stakeholder Quality Requirement Models for Building Dependable Information Systems , 2007, Fifth International Workshop on Software Quality (WoSQ'07: ICSE Workshops 2007).

[4]  Orlena Cara Zena Gotel,et al.  Contribution structures for requirements traceability , 1995 .

[5]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[6]  Herman Bruyninckx.  Robotics Software: The Future Should Be Open [Position] , 2008, IEEE Robotics & Automation Magazine.

[7]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .

[8]  W. Marsden.  I and J , 2012 .

[9]  Diego Alonso,et al.  Experiences Developing Safe and Fault-Tolerant Tele-Operated Service Robots. A Case Study in Shipyards , 2008 .

[10]  Douglas C. Schmidt,et al.  Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects , 2013 .

[11]  Herman Bruyninckx.  Robotics Software: The Future Should Be Open , 2008 .

[12]  F. Thom,et al.  An Integrated Safety Strategy to Model Driven Development with SysML , 2007 .

[13]  Clifton A. Ericson,et al.  Hazard Analysis Techniques for System Safety , 2005 .

[14]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[15]  Joaquín Nicolás,et al.  Eight key issues for an effective reuse-based requirements process , 2008, Comput. Syst. Sci. Eng..

[16]  Alexander Egyed,et al.  Automating requirements traceability: Beyond the record & replay paradigm , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[17]  Joaquín Nicolás,et al.  An integrated domain analysis approach for teleoperated systems , 2009, Requirements Engineering.

[18]  Bruce P. Douglass,et al.  Doing hard time: developing real-time systems with uml , 1999 .

[19]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[20]  José Ambrosio Toval Álvarez,et al.  REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting , 2007, J. Object Technol..

[21]  Pedro Sánchez-Palma,et al.  Design of service robots , 2009, IEEE Robotics & Automation Magazine.

[22]  Rick Kazman.  The Essential Components of Software Architecture Design and Analysis , 2005, APSEC.

[23]  Carlos Fernández Andrés,et al.  Ship shape in Europe: cooperative robots in the ship repair industry , 2005, IEEE Robotics & Automation Magazine.

[24]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[25]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[26]  R. Paige,et al.  On-Demand Merging of Traceability Links with Models , 2006 .