SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines

Rogério F. Silva, Vanderson H. Fragal, Edson A. Oliveira Junior, Itana M. S. Gimenes, Flávio Oquendo

Abstract

The evolution of hardware platforms has transferred a great amount of functionality to embedded software, thus increasing its complexity. The Software Product Line approach (SPL) has been successfully applied to the development of embedded software both to deal with complexity and to accelerate time to market. This paper contributes to enhance the application of SPL to embedded systems by extending the SysML language to include variability as well as by providing a well-defined SPL development process. The proposed approach, named SysML-based Product Line Approach for Embedded Systems (SyMPLES), includes two SysML extensions, created by means of the UML profiling mechanism both to express variability concepts and to associate SysML blocks to the main classes of functional blocks. An application example was developed for two subsystems of an Unmanned Aerial Vehicle (UAV) family, named Tiriba, which has been produced by the AGX Company in cooperation with the National Institute of Science and Technology for Safety-Critical Embedded Systems (INCT-SEC).

References

  1. Achatz, R. Product Line Engineering at Siemens -- Challenges and Success Factors: A Report on Industrial Experiences in Product Line Engineering. In: Proc. of 15th International Software Product Line Conference (SPLC 2011), Munich, 2011, p. 10-11.
  2. AGX Tecnologia Ltda, www.agx.com.br, accessed in 12/19/2012.
  3. Bassi, L., Secchi, C., Bonfé, M., and Fantuzzi, C. A SysML-Based Methodology for Manufacturing Machinery Modeling and Design. In: IEEE/ASME Transactions on Mechatronics, v. 16, n. 6, p. 1049- 1062, 2011.
  4. Botterweck, G., Polzer, A., and Kowalewski, S. Interactive Configuration of Embedded Systems Product Lines. In Proc. of the International Workshop on Model-Driven Approaches in Product Line Engineering, San Francisco, 2009, p. 51-57.
  5. Branco, K. R. L. J. C.; Pelizzoni, J. M.; Oliveira Neris, L.; Trindade, O.; Osorio, F. S.; Wolf, D. F. Tiriba - a new approach of UAV based on model driven development and multiprocessors. In: IEEE International Conference on Robotics and Automation (ICRA 2011), Shanghai, 2011, p. 1-4.
  6. Burch, J., Passerone, R., and Sangiovanni-Vicentelli, A. L. Using Multiple Levels of Abstractions in Embedded Software Design. In: Proc. of the International Workshop on Embedded Software (EMSOFT 2001), Berlin, 2001, p. 324-343.
  7. Buschmann, F.; Schwanninger, C. Successful Product Line Engineering: Experiences from the Real World. Proc. of 15th International Software Product Line Conference (SPLC 2011), Munich, 2011, p. 349.
  8. Czarnecki, K., Helsen, S., and Eisenecker, U. Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models. Software Process Improvement and Practice, v.10, n. 2, p. 143-169, 2005.
  9. Douglass, B. P. Real-Time UML: Developing Efficient Objects for Embedded Systems. 3rd ed. Reading, MA: Addison-Wesley, 752 p. 2004.
  10. Farkas, T., Meiseki, E., Neumann, C., Okano, K., Hinnerichs, A., and Kamiya, S. Integration of UML with Simulink into Embedded Software Engineering. In: Proc. of the ICROS-SICE International Joint Conference, Fukuoka, Japan, 2009, p. 474-479.
  11. INCOSE. International Council on Systems Engineering. Object Oriented System Engineering Method. OOSEM Descriptive Outline for INCOSE SE Handbook Version 3, Annotated Update, Sect. 6.4.2, p. 6-1 a 6-6, 2006.
  12. INCT-SEC, Sistemas Embarcados Críticos: aplicações em segurança e agricultura, CNPq 2008, Available in: <http://www.inct-sec.org>. Accessed in: Sep. 18, 2012.
  13. Linden, F., Schmif, K., and Rommes, E. Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Secaucus: Springer, 2007, 353 p.
  14. Lykins, F. M., and Friedenthal, S. Adapting UML for an Object-Oriented Systems Engineering Method (OOSEM). In: Proc. of the INCOSE International Symposium, Minneapolis, 2000, 91-98.
  15. Marwedel, P. Embedded System Design. Springer, Dortmund, 2006, 241 p.
  16. Moreira, T. G., Wehrmeister, M. A., Pereira, C. E., Pétin, J., and Levrat, E. Automatic Code Generation for Embedded Systems: From UML Specifications to VHDL Code. In: Proc. of the 8th IEEE International Conference on Industrial Informatics, Osaka, Japan, 2010, p. 1085-1090.
  17. Murray, C. RUP SE: The Rational Unified Process for Systems Engineering. The Rational Edge, Rational Software, 2003.
  18. Oliveira Junior, E. A., Gimenes, I. M. S., and Maldonado, J. C. Systematic Management of Variability in UMLbased Software Product Lines, Journal of Universal Computer Science, v.16, p. 2374-2393, 2010.
  19. OMG. Model-Driven Architecture. Object Management Group. 2004.
  20. OMG. MARTE UML Profile Specification. Object Management Group. 2009.
  21. OMG. Systems Modeling Language (SysML), 2012. Version 1.3. Object Management Group.
  22. Perseil, I., and Pautet, L. High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-time Systems. In Proc. of the 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2010, p. 418-424.
  23. Polzer, A., Kowalewski, S., and Botterweck, G. Applying Software Product Line Techniques in Model-based Embedded Systems Engineering. In: Proc. of the 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, Vancouver, CA, 2009, p. 2-10.
  24. Pure-Systems. pure::variants. Available in: <http://www.pure-systems.com/pure_variants.49.0.ht ml>. Accessed in: Dec. 10, 2011.
  25. Sabetzadeh, M.; Nejati, S.; Briand, L.; Mills, A. E. Using SysML for Modeling of Safety-Critical SoftwareHardware Interfaces: Guidelines and Industry Experience. In Proc. of the IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE), 2011, p. 193-201.
  26. Shimabukuro, J.; Ohara, T.; Okamoto, C.; Atarashi, Y.; Koizumi, S.; Watanabe, S.; Funakoshi, K. Key Activities for Introducing Software Product Lines into Multiple Divisions: Experience at Hitachi. In: Proc. of 15th International Software Product Line Conference (SPLC 2011), Munich, 2011, p. 261-266.
  27. Sjostedt, C., Shi, J., Torngren, M., and Servat, D. Mapping Simulink to UML in the design of embedded systems: Investigating scenarios and transformations. In: Proc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems, Paderborn, Germany, 2008, p. 36-43.
  28. Weilkiens, T. Systems Engineering with SysML/UML. Morgan Kaufmann Publishers. 2007, 320 p.
  29. Zaki, M. Z. M., and Jawawi, D. N. A. Model-Based Methodology for Implementing MARTE in Embedded Real-Time Software. In Proc. of the IEEE Symposium on Computers & Informatics, 2011, p. 536-541.
Download


Paper Citation


in Harvard Style

F. Silva R., H. Fragal V., A. Oliveira Junior E., M. S. Gimenes I. and Oquendo F. (2013). SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines . In Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8565-60-0, pages 257-264. DOI: 10.5220/0004446802570264


in Bibtex Style

@conference{iceis13,
author={Rogério F. Silva and Vanderson H. Fragal and Edson A. Oliveira Junior and Itana M. S. Gimenes and Flávio Oquendo},
title={SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines},
booktitle={Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2013},
pages={257-264},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004446802570264},
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 - SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines
SN - 978-989-8565-60-0
AU - F. Silva R.
AU - H. Fragal V.
AU - A. Oliveira Junior E.
AU - M. S. Gimenes I.
AU - Oquendo F.
PY - 2013
SP - 257
EP - 264
DO - 10.5220/0004446802570264