{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:54:19Z","timestamp":1725864859965},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319466125"},{"type":"electronic","value":"9783319466132"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46613-2_7","type":"book-chapter","created":{"date-parts":[[2016,9,12]],"date-time":"2016-09-12T13:31:35Z","timestamp":1473687095000},"page":"100-115","source":"Crossref","is-referenced-by-count":0,"title":["Optimizing Performance of SDL Systems"],"prefix":"10.1007","author":[{"given":"Mihal","family":"Brumbulli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Gaudin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,13]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1007\/978-3-642-78091-2_36","volume-title":"Kommunikation in Verteilten Systemen","author":"F Bause","year":"1993","unstructured":"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\u2013500. Springer, Heidelberg (1993)"},{"key":"7_CR2","first-page":"269","volume-title":"Protocol Specification, Testing and Verification XV","author":"F Bause","year":"1995","unstructured":"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\u2013282. Chapman & Hall, New York (1995)"},{"key":"7_CR3","unstructured":"Brumbulli, M.: Model-driven development and simulation of distributed communication systems. Ph.D. thesis, Humboldt Universit\u00e4t zu Berlin (2015)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/978-3-642-36757-1_12","volume-title":"System Analysis and Modeling: Theory and Practice","author":"M Brumbulli","year":"2013","unstructured":"Brumbulli, M., Fischer, J.: Simulation configuration modeling of distributed communication systems. In: Haugen, \u00d8., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 198\u2013211. Springer, Heidelberg (2013)"},{"key":"7_CR5","unstructured":"Brumbulli, M., Gaudin, E.: Automatic interleaving for testing distributed systems. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) (2016)"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-319-29643-2_2","volume-title":"Complex Systems Design & Management Asia","author":"M Brumbulli","year":"2016","unstructured":"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\u201329. Springer International Publishing, Switzerland (2016)"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-0-387-35079-0_13","volume-title":"Formal Description Techniques IX: Theory, Application and Tools","author":"M B\u00fctow","year":"1996","unstructured":"B\u00fctow, 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\u2013228. Chapman & Hall, New York (1996)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/978-3-319-11743-0_14","volume-title":"System Analysis and Modeling: Models and Reusability","author":"J Deltour","year":"2014","unstructured":"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\u2013206. Springer, Heidelberg (2014)"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-0-387-35079-0_14","volume-title":"Formal Description Techniques IX: Theory, Application and Tools","author":"M Diefenbruch","year":"1996","unstructured":"Diefenbruch, M., Hintelmann, J., M\u00fcller-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\u2013244. Chapman & Hall, New York (1996)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"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\u201321: 11. ICST, Brussels (2007)","DOI":"10.4108\/nstools.2007.2016"},{"key":"7_CR11","unstructured":"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"},{"key":"7_CR12","unstructured":"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"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-642-38911-5_2","volume-title":"SDL 2013: Model-Driven Dependability Engineering","author":"E Gaudin","year":"2013","unstructured":"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\u201335. Springer, Heidelberg (2013)"},{"issue":"4","key":"7_CR14","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1109\/12.88469","volume":"40","author":"E Heck","year":"1991","unstructured":"Heck, E., Hogrefe, D., Muller-Clostermann, B.: Hierarchical performance evaluation based on formally specified communication protocols. IEEE Trans. Comput. 40(4), 500\u2013513 (1991)","journal-title":"IEEE Trans. Comput."},{"key":"7_CR15","unstructured":"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"},{"key":"7_CR16","unstructured":"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"},{"key":"7_CR17","unstructured":"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"},{"key":"7_CR18","unstructured":"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"},{"key":"7_CR19","unstructured":"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"},{"key":"7_CR20","unstructured":"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"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Lindemann, C., Th\u00fcmmler, 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\u201334. ACM (2002)","DOI":"10.1145\/584369.584375"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"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\u2013341. IEEE Computer Society (2004)","DOI":"10.1109\/QEST.2004.1348057"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-540-24663-3_13","volume-title":"Performance Tools and Applications to Networked Systems","author":"J Merseguer","year":"2004","unstructured":"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\u2013289. Springer, Heidelberg (2004)"},{"key":"7_CR24","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-0-387-35079-0_3","volume-title":"Formal Description Techniques IX: Theory, Application and Tools","author":"A Mitschele-Thiel","year":"1996","unstructured":"Mitschele-Thiel, A., Langend\u00f6rfer, 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\u201360. Chapman & Hall, New York (1996)"},{"issue":"17","key":"7_CR25","doi-asserted-by":"crossref","first-page":"1801","DOI":"10.1016\/S1389-1286(99)00061-4","volume":"31","author":"A Mitschele-Thiel","year":"1999","unstructured":"Mitschele-Thiel, A., M\u00fcller-Clostermann, B.: Performance engineering of SDL\/MSC systems. Comput. Netw. 31(17), 1801\u20131815 (1999)","journal-title":"Comput. Netw."},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-45075-0_1","volume-title":"SDL 2003: System Design","author":"W Monin","year":"2003","unstructured":"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\u201317. Springer, Heidelberg (2003)"},{"key":"7_CR27","unstructured":"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"},{"key":"7_CR28","unstructured":"OMG: OMG Unified Modeling Language (OMG UML). Version 2.5. OMG Standard, Object Management Group (2015). http:\/\/www.omg.org\/spec\/UML\/2.5"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1007\/BFb0034773","volume-title":"Computer Aided Systems Theory \u2014 EUROCAST \u201995","author":"C Schaffer","year":"1996","unstructured":"Schaffer, C., Raschhofer, R.J., Simma, A.: EaSy-Sim: a tool environment for the design of complex, real-time systems. In: Pichler, F., D\u00edaz, R.M., Albrecht, R. (eds.) EUROCAST 1995. LNCS, vol. 1030, pp. 358\u2013374. Springer, Heidelberg (1996)"},{"key":"7_CR30","unstructured":"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"},{"issue":"5","key":"7_CR31","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B Selic","year":"2003","unstructured":"Selic, B.: The pragmatics of model-driven development. IEEE Softw. 20(5), 19\u201325 (2003)","journal-title":"IEEE Softw."},{"key":"7_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-319-24912-4_3","volume-title":"SDL 2015: Model-Driven Engineering for Smart Cities","author":"E Sherratt","year":"2015","unstructured":"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\u201341. Springer, Heidelberg (2015)"},{"key":"7_CR33","first-page":"53","volume-title":"SDL 1997 Time for Testing, SDL, MSC and Trends","author":"M Steppler","year":"1997","unstructured":"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\u201368. Elsevier, Amsterdam (1997)"},{"issue":"5","key":"7_CR34","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/j.comnet.2005.05.007","volume":"49","author":"N Wet de","year":"2005","unstructured":"de Wet, N., Kritzinger, P.: Using UML models for the performance analysis of network systems. Comput. Netw. 49(5), 627\u2013642 (2005)","journal-title":"Comput. Netw."}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling. Technology-Specific Aspects of Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46613-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T22:34:07Z","timestamp":1498343647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46613-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319466125","9783319466132"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46613-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}