Skip to main content

Combined Simulation and Testing Based on Standard UML Models

  • Chapter
  • First Online:
Principles of Performance and Reliability Modeling and Evaluation

Part of the book series: Springer Series in Reliability Engineering ((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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://mathworks.com/products.

  2. 2.

    http://www.esterel-technologies.com/products.

  3. 3.

    http://sharpe.pratt.duke.edu.

  4. 4.

    http://www.modelbus.org.

  5. 5.

    http://wiki.eclipse.org/Rich_Client_Platform.

  6. 6.

    http://eclipse.org/papyrus.

  7. 7.

    http://projects.eclipse.org/projects/modeling.emf.validation.

  8. 8.

    http://eclipse.org/acceleo.

  9. 9.

    http://omnetpp.org.

  10. 10.

    http://www.r-project.org.

  11. 11.

    http://eclipse.org/modeling/emf.

  12. 12.

    http://projects.eclipse.org/projects/modeling.mmt.qvt-oml.

  13. 13.

    http://www.systemc.org/downloads/standards/systemc.

References

  1. Schmidt DC (2006) Model-driven engineering. IEEE Comput 39(2). http://www.truststc.org/pubs/30.html. Accessed Feb 2006

  2. Object Management Group (OMG) (2011) UML unified modeling language. http://omg.org/spec/UML

  3. Object Management Group (OMG) (2003) MDA model driven architecture guide. http://omg.org/cgi-bin/doc?omg/03-06-01

  4. Object Management Group (OMG) (2012) SysML systems modeling language. http://omg.org/spec/SysML

  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. Object Management Group (OMG) UTP: UML testing profile 1.2. http://omg.org/spec/UTP

  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–3666

    Google Scholar 

  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 2010

    Google Scholar 

  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–78

    Google Scholar 

  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–545

    Google Scholar 

  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. 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–366

    Google Scholar 

  13. Trivedi KS, Sahner R (2009) Sharpe at the age of twenty two. SIGMETRICS Perform Eval Rev 36(4):52–57

    Article  Google Scholar 

  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 2013

    Google Scholar 

  15. Object Management Group (OMG) (2013) Action language for foundational UML (ALF). http://omg.org/spec/ALF/

  16. Object Management Group (OMG) (2008) MOFM2T MOF model to text transformation language. http://omg.org/spec/MOFM2T

  17. Johnson TA (2008) Integrating models and simulations of continuous dynamic system behavior into SysML. Master Thesis, Georgia Institute of Technology, Aug 2008

    Google Scholar 

  18. Josuttis N (2007) SOA in practice: the art of distributed system design. O’Reilly Media Inc

    Google Scholar 

  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 2014

    Google Scholar 

  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–222

    Google Scholar 

  21. Object Management Group (OMG) (2011) MOF Query/View/Transformation (QVT). http://omg.org/spec/QVT

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Vitali Schneider .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Schneider, V., Deitsch, A., Dulz, W., German, R. (2016). Combined Simulation and Testing Based on Standard UML Models. In: Fiondella, L., Puliafito, A. (eds) Principles of Performance and Reliability Modeling and Evaluation. Springer Series in Reliability Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-30599-8_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-30599-8_19

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-30597-4

  • Online ISBN: 978-3-319-30599-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics