Traceability Support for MDE Development of Home Automation Systems

Traceability is a technique to ease determining the impact of changes in the design of software, to support their integration, to preserve knowledge, and to assure the quality and accuracy of the overall system. In this paper, an approach that considers traceability in the context of model-driven development of Home Automation (HA) systems is presented. This combination enables the development of tools with techniques for improving the quality both of the process and of the models obtained. To obtain these advantages we have developed a tool that provides users with traceability reports after applying model transformations. These reports enable developers to study whether all requirements have been considered, the impact of changes, and how they are considered both in architectural decisions and code implementations.

[1]  Jon Oldevik,et al.  Traceability in Model to Text Transformations , 2006 .

[2]  Manuel Jiménez Buendía,et al.  Habitation: A Domain-Specific Language for Home Automation , 2009, IEEE Software.

[3]  Axel Uhl,et al.  MDA Distilled , 2004 .

[4]  Olivier Barais,et al.  V3Studio: A Component-Based Architecture Modeling Language , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[5]  Vicente Pelechano,et al.  Implementing a Pervasive Meeting Room: A Model Driven Approach , 2006, IWUC.

[6]  Matthias Jarke,et al.  Toward Reference Models of Requirements Traceability , 2001, IEEE Trans. Software Eng..

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

[8]  Henry Muccini,et al.  A scoped approach to traceability management , 2009, J. Syst. Softw..

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

[10]  Jens von Pilgrim,et al.  A survey of traceability in requirements engineering and model-driven development , 2010, Software & Systems Modeling.

[11]  Svein Johan Melby Traceability in Model Driven Engineering , 2007 .

[12]  Iris Groher,et al.  Product Line Implementation using Aspect-Oriented and Model-Driven Software Development , 2007 .

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

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