Advertisement

Combined Simulation and Testing Based on Standard UML Models

  • Vitali SchneiderEmail author
  • Anna Deitsch
  • Winfried Dulz
  • Reinhard German
Chapter
Part of the Springer Series in Reliability Engineering book series (RELIABILITY)

Abstract

The development of complex software and embedded systems is usually composed of a series of design, implementation, and testing phases. Challenged by their continuously increasing complexity and high-performance requirements, model-driven development approaches are gaining in popularity. Modeling languages like UML (Unified Modeling Language) cope with the system complexity and also allow for advanced analysis and validation methods. The approach of Test-driven Agile Simulation (TAS) combines novel model-based simulation and testing techniques in order to achieve an improved overall quality during the development process. Thus, the TAS approach enables the simulation of a modeled system and the simulated execution of test cases, such that both system and test models can mutually be validated at early design stages prior to expensive implementation and testing on real hardware. By executing system specifications in a simulation environment, the TAS approach also supports a cheap and agile technique for quantitative assessments and performance estimates to identify system bottlenecks and for system improvements at different abstraction levels. In this chapter we will present the current status of the TAS approach, a software tool realization based on the Eclipse RCP, and a detailed example from the image processing domain illustrating the methodology.

References

  1. 1.
    Schmidt DC (2006) Model-driven engineering. IEEE Comput 39(2). http://www.truststc.org/pubs/30.html. Accessed Feb 2006
  2. 2.
    Object Management Group (OMG) (2011) UML unified modeling language. http://omg.org/spec/UML
  3. 3.
    Object Management Group (OMG) (2003) MDA model driven architecture guide. http://omg.org/cgi-bin/doc?omg/03-06-01
  4. 4.
    Object Management Group (OMG) (2012) SysML systems modeling language. http://omg.org/spec/SysML
  5. 5.
    Object Management Group (OMG) (2011) UML profile for MARTE modeling and analysis of real-time and embedded systems. http://omg.org/spec/MARTE
  6. 6.
    Object Management Group (OMG) UTP: UML testing profile 1.2. http://omg.org/spec/UTP
  7. 7.
    Djanatliev A, Dulz W, German R, Schneider V (2011) VeriTAS—a versatile modeling environment for test-driven agile simulation. In: Proceedings of the 2011 winter simulation conference, Phoenix, AZ, USA, Dec 2011, pp 3657–3666Google Scholar
  8. 8.
    Dietrich I, Dressler F, Dulz W, German R (2010) Validating UML simulation models with model-level unit tests. In: Proceedings of the 3rd international ICST conference on simulation tools and techniques (SIMUTools’ 10), Malaga, Spain, March 2010Google Scholar
  9. 9.
    Herrera F, Posadas H, Peil P, Villar E, Ferrero F, Valencia R, Palermo G (2014) The COMPLEX methodology for UML/MARTE modeling and design space exploration of embedded systems. J Syst Archit 60(1):55–78Google Scholar
  10. 10.
    Schneider V, Yupatova A, Dulz W, German R (2014) How to avoid model interferences for test-driven agile simulation based on standardized UML profiles. In: Proceedings of the symposium on theory of modeling and simulation, Tampa, FL, USA, April 2014, pp 540–545Google Scholar
  11. 11.
    Quadri IR, Indrusiak L, Sadovykh A (2012) MADES: a SysML/MARTE high level methodology for real-time and embedded systems. In: Proceedings of the international conference on embedded realtime software and systems (ERTS2)Google Scholar
  12. 12.
    Khan RH, Machida F, Heegaard PE, Trivedi KS (2012) From UML to SRN: a performability modeling framework considering service components deployment. In: International journal on advances in networks and services, vol 5, no c, pp 346–366Google Scholar
  13. 13.
    Trivedi KS, Sahner R (2009) Sharpe at the age of twenty two. SIGMETRICS Perform Eval Rev 36(4):52–57CrossRefGoogle Scholar
  14. 14.
    Schneider V, German R (2013) Integration of test-driven agile simulation approach in service-oriented tool environment. In: Proceedings of the 46th annual simulation symposium (ANSS’13), San Diego, USA, April 2013Google Scholar
  15. 15.
    Object Management Group (OMG) (2013) Action language for foundational UML (ALF). http://omg.org/spec/ALF/
  16. 16.
    Object Management Group (OMG) (2008) MOFM2T MOF model to text transformation language. http://omg.org/spec/MOFM2T
  17. 17.
    Johnson TA (2008) Integrating models and simulations of continuous dynamic system behavior into SysML. Master Thesis, Georgia Institute of Technology, Aug 2008Google Scholar
  18. 18.
    Josuttis N (2007) SOA in practice: the art of distributed system design. O’Reilly Media IncGoogle Scholar
  19. 19.
    Yupatova A, Schneider V, Dulz W, German R (2014) Test-driven agile simulation for design of image processing system. In: Proceedings of 16th international conference on advances in system testing and validation life cycle (VALID 14), IARIA, Oct 2014Google Scholar
  20. 20.
    Dotenco S, Gallwitz F, Angelopoulou E (2014) Autonomous approach and landing for a low-cost quadrotor using monocular cameras. In: Computer vision—ECCV, (2014) workshops—Zurich, Switzerland, September 6–7 and 12, 2014, Proceedings, Part I. Springer International Publishing Switzerland, pp 209–222Google Scholar
  21. 21.
    Object Management Group (OMG) (2011) MOF Query/View/Transformation (QVT). http://omg.org/spec/QVT

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Vitali Schneider
    • 1
    Email author
  • Anna Deitsch
    • 1
  • Winfried Dulz
    • 1
  • Reinhard German
    • 1
  1. 1.Computer Science 7Friedrich-Alexander-University of Erlangen-NürnbergErlangenGermany

Personalised recommendations