Skip to main content
SpringerLink
Log in

Optimizing Performance of SDL Systems

  • Conference paper
  • First Online:
Book cover System Analysis and Modeling. Technology-Specific Aspects of Models (SAM 2016)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9959))

Included in the following conference series:

Abstract

The interest in pragmatic analysis methods is constantly fueled by the increasing complexity of software systems. Although the methods are not scarce, to apply them successfully an additional expertise is required, which often deviates from the development process or the domain the system is intended for. The model-driven paradigm facilitates the development and analysis by means of automation. It can address the issue at a certain extent by raising the level of abstraction closer to the domain. The inherent complexity is shifted from the model towards the automation process. This has been quite effective in handling functional aspects, but non-functional aspects like performance have proven to be challenging in this regard. In this paper we present a model-driven approach for performance analysis based on standardized languages. SDL is used to capture the functional aspects of the system, which are further enriched with performance annotations. Deployment diagrams allow for the available resources to be assigned to system components, and model execution is driven by real test cases in TTCN-3. Automatic execution of different scenarios and graphical presentation of the results can aid the user to optimize performance by choosing the best allocation of resources in terms of execution time and payload.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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.

    In SDL-2010 [19] an undefined amount of time passes while an action is executed, and it is valid for the time taken to be zero.

  2. 2.

    The system is the root, blocks are internal nodes, and processes are leaves.

  3. 3.

    A divisor of 1 can be omitted, thus only a positive integer is enough.

References

  1. Bause, F., Buchholz, P.: Qualitative and quantitative analysis of timed SDL specifications. In: Gerner, N., Hegering, H.G., Swoboda, J. (eds.) Kommunikation in Verteilten Systemen, pp. 486–500. Springer, Heidelberg (1993)

    Chapter  Google Scholar 

  2. Bause, F., Kabutz, H., Kemper, P., Kritzinger, P.S.: SDL and Petri Net performance analysis of communicating systems. In: Dembinski, P., Sredniawa, M. (eds.) Protocol Specification, Testing and Verification XV, pp. 269–282. Chapman & Hall, New York (1995)

    Google Scholar 

  3. Brumbulli, M.: Model-driven development and simulation of distributed communication systems. Ph.D. thesis, Humboldt Universität zu Berlin (2015)

    Google Scholar 

  4. Brumbulli, M., Fischer, J.: Simulation configuration modeling of distributed communication systems. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 198–211. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  5. Brumbulli, M., Gaudin, E.: Automatic interleaving for testing distributed systems. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) (2016)

    Google Scholar 

  6. Brumbulli, M., Gaudin, E.: Towards model-driven simulation of the internet of things, advances in intelligent systems and computing. In: Cardin, M.-L., Fong, S.H., Krob, D., Lui, P.C., Tan, Y.H. (eds.) Complex Systems Design & Management Asia, vol. 426, pp. 17–29. Springer International Publishing, Switzerland (2016)

    Chapter  Google Scholar 

  7. Bütow, M., Mestern, M., Schapiro, C., Kritzinger, P.S.: Performance modelling with the formal specification language SDL. In: Gotzhein, R., Bredereke, J. (eds.) Formal Description Techniques IX: Theory, Application and Tools, pp. 213–228. Chapman & Hall, New York (1996)

    Chapter  Google Scholar 

  8. Deltour, J., Faivre, A., Gaudin, E., Lapitre, A.: Model-based testing: an approach with SDL/RTDS and DIVERSITY. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds.) SAM 2014. LNCS, vol. 8769, pp. 198–206. Springer, Heidelberg (2014)

    Google Scholar 

  9. Diefenbruch, M., Hintelmann, J., Müller-Clostermann, B.: The QUEST approach for the performance evaluation of SDL-systems. In: Gotzhein, R., Bredereke, J. (eds.) Formal Description Techniques IX: Theory, Application and Tools, pp. 229–244. Chapman & Hall, New York (1996)

    Chapter  Google Scholar 

  10. Dietrich, I., Dressler, F., Schmitt, V., German, R.: Syntony: network protocol simulation based on standard-conform UML 2 models. In: Glynn, P. (ed.) Proceedings of the 2nd International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2007, pp. 21: 1–21: 11. ICST, Brussels (2007)

    Google Scholar 

  11. ETSI: TTCN-3 Core Language. ETSI Standard ES 201 873-1, European Telecommunications Standards Institute (2014). http://www.ttcn-3.org/index.php/downloads/standards

  12. Gartner Inc.: Gartner says the Internet of Things installed base will grow to 26 billion units by 2020 (2013). http://www.gartner.com/newsroom/id/2636073

  13. Gaudin, E., Brunel, E.: Property verification with MSC. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds.) SDL 2013. LNCS, vol. 7916, pp. 19–35. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  14. Heck, E., Hogrefe, D., Muller-Clostermann, B.: Hierarchical performance evaluation based on formally specified communication protocols. IEEE Trans. Comput. 40(4), 500–513 (1991)

    Article  Google Scholar 

  15. ITU-T: Message Sequence Chart (MSC). ITU-T Recommendation Z.120, International Telecommunication Union - Telecommunication Standardization Sector (2011). http://handle.itu.int/11.1002/1000/11063

  16. ITU-T: Specification and Description Language - Unified modeling language profile for SDL-2010. ITU-T Recommendation Z.109, International Telecommunication Union - Telecommunication Standardization Sector (2013). http://handle.itu.int/11.1002/1000/12035

  17. ITU-T: Testing and Test Control Notation version 3: TTCN-3 core language. ITU-T Recommendation Z.161, International Telecommunication Union - Telecommunication Standardization Sector (2014). http://handle.itu.int/11.1002/1000/12617

  18. ITU-T: ITU-T Z.100-series - Supplement on SDL+ methodology: Use of ITU System Design Languages. ITU-T Recommendation Z Suppl. 1, International Telecommunication Union - Telecommunication Standardization Sector (2015). http://handle.itu.int/11.1002/1000/12447

  19. ITU-T: Specification and Description Language - Basic SDL-2010. ITU-T Recommendation Z.101, International Telecommunication Union - Telecommunication Standardization Sector (2016). http://handle.itu.int/11.1002/1000/12847

  20. ITU-T: Specification and Description Language - Overview of SDL-2010. ITU-T Recommendation Z.100, International Telecommunication Union - Telecommunication Standardization Sector (2016). http://handle.itu.int/11.1002/1000/12846

  21. Lindemann, C., Thümmler, A., Klemm, A., Lohmann, M., Waldhorst, O.P.: Performance analysis of time-enhanced UML diagrams based on stochastic processes. In: Proceedings of the 3rd International Workshop on Software and Performance, WOSP 2002, New York, NY, USA, pp. 25–34. ACM (2002)

    Google Scholar 

  22. Marzolla, M., Balsamo, S.: UML-PSI: the UML performance simulator. In: Proceedings of the 1st International Conference on the Quantitative Evaluation of Systems, QEST 2004, pp. 340–341. IEEE Computer Society (2004)

    Google Scholar 

  23. Merseguer, J., Campos, J.: Software performance modeling using UML and Petri Nets. In: Calzarossa, M.C., Gelenbe, E. (eds.) MASCOTS 2003. LNCS, vol. 2965, pp. 265–289. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  24. Mitschele-Thiel, A., Langendörfer, P., Henke, R.: Design and optimization of high-performance protocols with the DO-IT toolbox. In: Gotzhein, R., Bredereke, J. (eds.) Formal Description Techniques IX: Theory, Application and Tools, pp. 45–60. Chapman & Hall, New York (1996)

    Chapter  Google Scholar 

  25. Mitschele-Thiel, A., Müller-Clostermann, B.: Performance engineering of SDL/MSC systems. Comput. Netw. 31(17), 1801–1815 (1999)

    Article  Google Scholar 

  26. Monin, W., Dubois, F., Vincent, D., Combes, P.: Looking for better integration of design and performance engineering. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 1–17. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  27. OMG: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Version 1.1. OMG Standard, Object Management Group (2011). http://www.omg.org/spec/MARTE/1.1

  28. OMG: OMG Unified Modeling Language (OMG UML). Version 2.5. OMG Standard, Object Management Group (2015). http://www.omg.org/spec/UML/2.5

  29. Schaffer, C., Raschhofer, R.J., Simma, A.: EaSy-Sim: a tool environment for the design of complex, real-time systems. In: Pichler, F., Díaz, R.M., Albrecht, R. (eds.) EUROCAST 1995. LNCS, vol. 1030, pp. 358–374. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  30. SDL-RT Consortium: Specification and Description Language - Real Time. SDL-RT Standard V2.3, SDL-RT Consortium (2013). http://www.sdl-rt.org/standard/V2.3/html/index.htm

  31. Selic, B.: The pragmatics of model-driven development. IEEE Softw. 20(5), 19–25 (2003)

    Article  Google Scholar 

  32. Sherratt, E., Ober, I., Gaudin, E., Fonseca i Casas, P., Kristoffersen, F.: SDL - the IoT language. In: Fischer, J., Scheidgen, M., Schieferdecker, I., Reed, R. (eds.) SDL 2015. LNCS, vol. 9369, pp. 27–41. Springer, Heidelberg (2015)

    Chapter  Google Scholar 

  33. Steppler, M., Lott, M.: SPEET - SDL performance evaluation tool. In: Cavalli, A., Sarma, A. (eds.) SDL 1997 Time for Testing, SDL, MSC and Trends, pp. 53–68. Elsevier, Amsterdam (1997)

    Google Scholar 

  34. de Wet, N., Kritzinger, P.: Using UML models for the performance analysis of network systems. Comput. Netw. 49(5), 627–642 (2005)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. PragmaDev, Paris, France

    Mihal Brumbulli & Emmanuel Gaudin

Authors
  1. Mihal Brumbulli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Emmanuel Gaudin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mihal Brumbulli .

Editor information

Editors and Affiliations

  1. Georg-August-Universität Göttingen , Göttingen, Germany

    Jens Grabowski

  2. Georg-August-Universität Göttingen , Göttingen, Germany

    Steffen Herbold

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Brumbulli, M., Gaudin, E. (2016). Optimizing Performance of SDL Systems. In: Grabowski , J., Herbold, S. (eds) System Analysis and Modeling. Technology-Specific Aspects of Models . SAM 2016. Lecture Notes in Computer Science(), vol 9959. Springer, Cham. https://doi.org/10.1007/978-3-319-46613-2_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-46613-2_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-46612-5

  • Online ISBN: 978-3-319-46613-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation