Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS

Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux

Abstract

This paper proposes an approach to verify SysML models consistency and to validate the transformation of SysML models to VHDL-AMS code. This approach is based on two main solutions: the use of model-to-model transformation to verify SysML models consistency and writing unit tests to validate model transformations. The translation of SysML models into VHDL-AMS simulable code uses MMT (Model to Model Transformation) ATL Atlas Transformation Language and M2T (Model To Text) Acceleo tooling. The test validation of the model transformations is performed using EUNIT framework.

References

  1. Acceleo (2012). Acceleo Documentation. www.eclipse.org/acceleo/.
  2. Baudry, B., Dinh-trong, T., Mottu, J.-M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., and Traon, Y. L. (2006). Model Transformation Testing Challenges. In Proceedings of IMDT workshop, Bilbao, Spain.
  3. Christen, E. and Bakalar, K. (1999). VHDL-AMS-a hardware description language for analog and mixedsignal applications. IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, 46(10):1263-1272.
  4. Erwan, B., Franck, F., Jim, S., Benoit, B., and Traon, Y. L. (2006). Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool. In Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE'06), pages 85- 94, Washington, DC, USA. IEEE CS.
  5. Fleurey, F., Steel, J., and Baudry, B. (2004). Validation in model-driven engineering: testing model transformations. In Int. Workshop on Model, Design and Validation (MODEVA'04), pages 29-40, Saint-Malo, France.
  6. Friedenthal, S., Moore, A., and Steiner, R. (2009). A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann. ISBN 9780123743794.
  7. Garcia-Domnguez, A., Kolovos, D., Dimitrios, S., Rose, L., Paige, R., and Medina-Bulo, I. (2011). EUnit: a unit testing framework for model management tasks. In Proceedings of the 14th Int. Conf. on MOdel-Driven Engineering Languages and Systems (MODELS'11), pages 395-409, Berlin, Germany. Springer-Verlag.
  8. Gauthier, J.-M., Bouquet, F., Hammad, A., and Peureux, F. (2012). Transformation of SysML structure diagrams to VHDL-AMS. In IEEE Workshop on design, control and software implementation for distributed MEMS (dMEMS'12), Besanc¬łon, France. IEEE CPS.
  9. Jochen, K. and Mohamed, A.-E.-R. (2006). Validation of Model Transformations - First Experiences Using a White Box Approach. In Int. Workshop on Model, Design and Validation (MODEVA'06), pages 62-77, Genova, Italy.
  10. Mottu, J.-M., Baudry, B., and Traon, Y. L. (2008). Model transformation testing: oracle issue. In Int. Workshop on Model, Design and Validation (MODEVA'08), Lillehammer, Norway.
  11. Myers, G., Sandler, C., Badgett, T., and Thomas, T. (2004).
  12. The Art of Software Testing. Wiley, 2nd edition. ISBN 978-0-4714-6912-4.
  13. Rumbaugh, J., Jacobson, I., and Booch, G. (2004). The Unified Modeling Language Reference Manual. AddisonWesley, 2nd edition. ISBN 0321245628.
  14. Sagar, S., Baudry, B., and Mottu, J.-M. (2008). On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. In International Conference on Software Testing, Verification, and Validation (ICST'08), Lillehammer, Norway.
  15. Sagar, S., Baudry, B., and Mottu, J.-M. (2009). Automatic Model Generation Strategies for Model Transformation Testing. In Theory and Practice of Model Transformations, volume 5563 of LNCS, pages 148-164. Springer.
  16. TOPCASED (2012). Topcased: Toolkit in OPen-source for Critical Application and SystEms Development. http://www.topcased.org.
Download


Paper Citation


in Harvard Style

Gauthier J., Bouquet F., Hammad A. and Peureux F. (2013). Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS . In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-8565-42-6, pages 123-128. DOI: 10.5220/0004317601230128


in Bibtex Style

@conference{modelsward13,
author={Jean-Marie Gauthier and Fabrice Bouquet and Ahmed Hammad and Fabien Peureux},
title={Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2013},
pages={123-128},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004317601230128},
isbn={978-989-8565-42-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS
SN - 978-989-8565-42-6
AU - Gauthier J.
AU - Bouquet F.
AU - Hammad A.
AU - Peureux F.
PY - 2013
SP - 123
EP - 128
DO - 10.5220/0004317601230128