link.springer.com

Optimizing Performance of SDL Systems

  • ️Tue Sep 13 2016

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