Application Engineering for Embedded Systems - Transforming SysML Specification to Simulink within a Product-Line based Approach

Vanderson H. Fragal, Rogério F. Silva, Itana M. S. Gimenes, Edson A. Oliveira Júnior

2013

Abstract

The evolution of hardware platforms has transferred a great amount of functionality to embedded software, thus increasing its complexity. Model Driven Engineering (MDE) and Software Product Line (SPL) can enhance the development of complex embedded systems by using different specification languages according to the abstraction levels and controlling variability across development. The SyMPLES approach allows the creation of SysML-based SPLs. It includes two SysML extensions, created by means of the UML profiling mechanism both to express SPL variability concepts and to associate SysML blocks to the main classes of functional blocks. This paper presents the transformation process from SysML to Simulink models. SysML models, created in the SPL application engineering activity of SyMPLES, are used to generate functional blocks and state machines in Simulink. An application example was developed for one subsystem of an autopilot board used in Unmanned Aerial Vehicles, named Yapa 2 of Paparazzi project, which was studied into the context of National Institute of Science and Technology for Safety Critical Embedded Systems (INCT-SEC).

References

  1. Biehl, M., Sjöstedt, C.-J. & Törngren, M., 2010. A modular tool integration approach?: experiences from two case studies. 3rd Workshop on Model-driven tool and Process Integration (MDTPI2010).
  2. Braga, R. et al., 2011. Evolving Tiriba Design towards a Product line of Small Eletric-Powered UAVs. In 1st Brazilian Conference on Critical Embedded Systems. pp. 63-72.
  3. Brisolara, L. B., 2007. Strategies for Embedded Software Development Based on High-level Models. UFRGS - Porto Alegre.
  4. Burch, J. R., Passerone, R. & Sangiovanni-Vincentelli, A. L., 2001. Using Multiple Levels of Abstractions in Embedded Software Design. In T. A. Henzinger & C. M. Kirsch, eds. International Workshop on Embedded Software. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 324-343.
  5. Czarnecki, K. & Helsen, S., 2003. Classification of Model Transformation Approaches. In OOPSLA'03 Workshop on the Generative Techniques in the Context of ModelDriven Architecture. Anaheim, California, USA, p. 17.
  6. Ebert, C. & Jones, C., 2009. Embedded Software: Facts, Figures, and Future. Computer, 42(4), pp.42-52.
  7. EMF, 2012. Eclipse Modeling Framework Project. Available at: http://www.eclipse.org/modeling/emf/.
  8. FAA, F. A. A., 2008. Flight Controls. In Pilot's Handbook of Aeronautical Knowledge. p. 12.
  9. Fragal, V., Junior, E. & Gimenes, I., 2011. Mapping Software Product Line Features to Unmanned Aerial Vehicle Models. In 1st Brazilian Conference on Critical Embedded Systems. pp. 49-54.
  10. Hunter, A., 2012. Graphical Modeling Framework (GMF) Notation. Available at: http://www.eclipse.org/ projects/project.php?id=modeling.gmp.gmf-notation.
  11. Linden, F., Schmif, K. & Rommes, E., 2007. Software Product Lines in Action, Springer.
  12. Lykins, F. M., 2000. Adapting UML for an Object-Oriented Systems Engineering Method (OOSEM). In INCOSE International Symposium.
  13. Marwedel, P., 2010. Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, Springer; 2nd ed. 2011 edition (December 3, 2010).
  14. Obeo, 2006. Atlas Transformation Language. Available at: http://www.obeo.fr/pages/atl-pro/en.
  15. Oliveira, E. A. J., Gimenes, I. M. S. & Maldonado, J.C., 2010. Systematic Management of Variability in UMLbased Software Product Lines. Journal of Universal Computer Science, 16, pp.2374-2393.
  16. OMG, 2006. Diagram Interchange. OMG, p.86. Available at: http://www.omg.org/cgi-bin/doc?formal/06-04-04 [Accessed October 11, 2012].
  17. Papyrus, 2012. Open Source Tool for Graphical UML2 Modelling. Available at: http://www.papyrusuml.org/ scripts/home/publigen/content/templates/show.asp?P=1 28&L=EN&ITEMID=12.
  18. Pastor, E., Lopez, J. & Royo, P., 2006. An Embedded Architecture for Mission Control of Unmanned Aerial Vehicles. In 9th EUROMICRO Conference on Digital System Design (DSD'06). IEEE, pp. 554-560. Available at: http://ieeexplore.ieee.org/lpdocs/epic03/wrapper. htm?arnumber=1690087 [Accessed December 12, 2012].
  19. Polzer, A., Kowalewski, S. & Botterweck, G., 2009. Applying software product line techniques in modelbased embedded systems engineering. In 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software. IEEE, pp. 2-10.
  20. Ruscio, D., 2007. Specification of model transformation and weaving in model driven engineering. Università di L'Aquila. Available at: http://www.di.univaq.it/ diruscio/PhDThesis_DiRuscio.pdf.
  21. Silva, R. F., 2012. SyMPLES?: Uma Abordagem de Desenvolvimento de Linha de Produto para Sistemas Embarcados baseada em SysML. Universidade Estadual de Maringá.
  22. Simulink, 1994. Simulation and Model-Based Design. Available at: http://www.mathworks.com/products/ simulink/.
  23. Simulink Coder, 2012. Real-Time Workshop. Available at: http://www.mathworks.com/products/simulinkcoder/index.html.
  24. Sjöstedt, C.-J. et al., 2008. Mapping Simulink to UML in the design of embedded systems:Investigating scenarios and transformations. In OMER4 Post-proceedings, 2008. pp. 137-160.
  25. Steiner, E. M., 2012. Gerenciamento de configuração de uma linha de produtos de software de veículos aéreos não tripulados. USP.
  26. SysML, 2008. OMG Systems Modeling Language. OMG, p.234.
  27. TOPCASED, 2012. The Open-Source Toolkit for Critical Systems. Available at: http://www.topcased.org/.
  28. YAPA, 2011. YetAnotherPaparazziAutopilot v2. Available at: http://paparazzi.enac.fr/wiki/YAPA/v2.0.
Download


Paper Citation


in Harvard Style

H. Fragal V., F. Silva R., M. S. Gimenes I. and A. Oliveira Júnior E. (2013). Application Engineering for Embedded Systems - Transforming SysML Specification to Simulink within a Product-Line based Approach . In Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8565-60-0, pages 94-101. DOI: 10.5220/0004402600940101


in Bibtex Style

@conference{iceis13,
author={Vanderson H. Fragal and Rogério F. Silva and Itana M. S. Gimenes and Edson A. Oliveira Júnior},
title={Application Engineering for Embedded Systems - Transforming SysML Specification to Simulink within a Product-Line based Approach},
booktitle={Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2013},
pages={94-101},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004402600940101},
isbn={978-989-8565-60-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Application Engineering for Embedded Systems - Transforming SysML Specification to Simulink within a Product-Line based Approach
SN - 978-989-8565-60-0
AU - H. Fragal V.
AU - F. Silva R.
AU - M. S. Gimenes I.
AU - A. Oliveira Júnior E.
PY - 2013
SP - 94
EP - 101
DO - 10.5220/0004402600940101