{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:22:15Z","timestamp":1745986935510,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642367564"},{"type":"electronic","value":"9783642367571"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36757-1_4","type":"book-chapter","created":{"date-parts":[[2013,2,7]],"date-time":"2013-02-07T05:07:21Z","timestamp":1360213641000},"page":"53-71","source":"Crossref","is-referenced-by-count":1,"title":["Real-Time Tasks in SDL"],"prefix":"10.1007","author":[{"given":"Dennis","family":"Christmann","sequence":"first","affiliation":[]},{"given":"Reinhard","family":"Gotzhein","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"International Telecommunication Union (ITU): Z.100 \u2013 Specification and Description Language - Overview of SDL-2010 (2012), http:\/\/www.itu.int\/rec\/T-REC-Z.100-201112-I"},{"key":"4_CR2","unstructured":"SDL-RT Consortium: SDL-RT \u2013 Specification & Description Language \u2013 Real Time V2.2, http:\/\/www.sdl-rt.org\/standard\/V2.2\/pdf\/SDL-RT.pdf"},{"key":"4_CR3","unstructured":"PragmaDev SARL: Real Time Developer Studio, http:\/\/www.pragmadev.com\/"},{"key":"4_CR4","unstructured":"IBM Corp.: Rational SDL Suite, http:\/\/www-01.ibm.com\/software\/awdtools\/sdlsuite\/"},{"key":"4_CR5","unstructured":"Kopetz, H.: Real-Time Systems \u2013 Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers (1997)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-642-25264-8_15","volume-title":"SDL 2011: Integrating System and Software Modeling","author":"M. Kr\u00e4mer","year":"2011","unstructured":"Kr\u00e4mer, M., Braun, T., Christmann, D., Gotzhein, R.: Real-Time Signaling in SDL. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol.\u00a07083, pp. 186\u2013201. Springer, Heidelberg (2011)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-642-25264-8_16","volume-title":"SDL 2011: Integrating System and Software Modeling","author":"D. Christmann","year":"2011","unstructured":"Christmann, D., Becker, P., Gotzhein, R.: Priority Scheduling in SDL. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol.\u00a07083, pp. 202\u2013217. Springer, Heidelberg (2011)"},{"issue":"3","key":"4_CR8","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1023\/A:1022804400802","volume":"24","author":"J.M. \u00c1lvarez","year":"2003","unstructured":"\u00c1lvarez, J.M., D\u00edaz, M., Llopis, L., Pimentel, E., Troya, J.M.: Integrating Schedulability Analysis and Design Techniques in SDL. Real-Time Systems\u00a024(3), 267\u2013302 (2003)","journal-title":"Real-Time Systems"},{"key":"4_CR9","unstructured":"International Telecommunication Union (ITU): Z.100 \u2013 Specification and Description Language, SDL (2007), http:\/\/www.itu.int\/rec\/T-REC-Z.100-200711-S"},{"key":"4_CR10","unstructured":"International Telecommunication Union (ITU): Z.101 \u2013 Specification and Description Language, Basic SDL-2010 (2012), http:\/\/www.itu.int\/rec\/T-REC-Z.101-201112-I"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11951148_14","volume-title":"System Analysis and Modeling: Language Profiles","author":"I. Fliege","year":"2006","unstructured":"Fliege, I., Grammes, R., Weber, C.: ConTraST - A Configurable SDL Transpiler and Runtime Environment. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol.\u00a04320, pp. 216\u2013228. Springer, Heidelberg (2006)"},{"key":"4_CR12","unstructured":"Gotzhein, R.: Model-driven by SDL \u2013 Improving the Quality of Networked Systems Development (Invited Paper). In: Proceedings of the 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), pp. 31\u201346 (2007), http:\/\/vs.cs.uni-kl.de\/en\/publications\/2007\/Go07\/Go07.pdf"},{"key":"4_CR13","unstructured":"MEMSIC Inc.: Data sheet \u2013 Imote2 Multimedia, http:\/\/www.memsic.com\/support\/documentation\/wireless-sensor-networks\/category\/7-datasheets.html"},{"key":"4_CR14","unstructured":"International Telecommunication Union (ITU): Z.100 Annex F \u2013 SDL formal definition (2000), http:\/\/www.itu.int\/rec\/T-REC-Z.100-200011-S!AnnF1, http:\/\/www.itu.int\/rec\/T-REC-Z.100-200011-S!AnnF2, http:\/\/www.itu.int\/rec\/T-REC-Z.100-200011-S!AnnF3"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Becker, P., Gotzhein, R., Kuhn, T.: MacZ \u2013 A Quality-of-Service MAC Layer for Ad-hoc Networks. In: Proceedings of the 7th International Conference on Hybrid Intelligent Systems (HIS 2007), pp. 277\u2013282. IEEE Computer Society (2007)","DOI":"10.1109\/HIS.2007.28"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Langend\u00f6rfer, P., K\u00f6nig, H.: Automated Protocol Implementations Based on Activity Threads. In: Proceedings of the Seventh Annual International Conference on Network Protocols (ICNP 1999), pp. 3\u201310. IEEE Computer Society (1999)","DOI":"10.1109\/ICNP.1999.801910"},{"issue":"12","key":"4_CR17","doi-asserted-by":"publisher","first-page":"1179","DOI":"10.1016\/S0140-3664(99)00245-5","volume":"23","author":"H. K\u00f6nig","year":"2000","unstructured":"K\u00f6nig, H., Langend\u00f6rfer, P., Krumm, H.: Improving the Efficiency of Automated Protocol Implementations Using a Configurable FDT Compiler. Computer Communications\u00a023(12), 1179\u20131195 (2000)","journal-title":"Computer Communications"},{"key":"4_CR18","unstructured":"Sanders, R.: Implementing from SDL. Telektronikk 4 (2000), Languages for Telecommunication Applications. Telenor (2000), http:\/\/www.telektronikk.com\/volumes\/pdf\/4.2000\/Telek4_2000_Page_120-129.pdf"},{"key":"4_CR19","unstructured":"Br\u00e6k, R., Haugen, \u00d8.: Engineering Real Time Systems. Prentice Hall (1993)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Mitschele-Thiel, A.: Engineering with SDL \u2013 Developing Performance-Critical Communication Systems. John Wiley & Sons (2000)","DOI":"10.1002\/0470841966"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"\u00c1lvarez, J.M., D\u00edaz, M., Llopis, L., Pimentel, E., Troya, J.M.: Deriving Hard Real-time Embedded Systems Implementations Directly from SDL Specifications. In: Proceedings of the Ninth International Symposium on Hardware\/Software Codesign (CODES 2001), pp. 128\u2013133. ACM Press (2001)","DOI":"10.1145\/371636.371702"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/BFb0057788","volume-title":"Languages, Compilers, and Tools for Embedded Systems","author":"T. Kolloch","year":"1998","unstructured":"Kolloch, T., F\u00e4rber, G.: Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network - A Case Study. In: M\u00fcller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol.\u00a01474, pp. 156\u2013165. Springer, Heidelberg (1998)"},{"key":"4_CR23","unstructured":"International Telecommunication Union (ITU): Z.120 \u2013 Message Sequence Chart (MSC) (February 2011), http:\/\/www.itu.int\/rec\/T-REC-Z.120-201102-I\/en"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Dulz, W., Gruhl, S., Lambert, L., S\u00f6llner, M.: Early Performance Prediction of SDL\/MSC Specified Systems by Automated Synthetic Code Generation. In: SDL 1999: The Next Millennium, pp. 457\u2013472. Elsevier Science (1999)","DOI":"10.1016\/B978-044450228-5\/50030-8"},{"key":"4_CR25","unstructured":"Khendek, F., Vincent, D.: Enriching SDL Specifications with MSCs (2000), http:\/\/www.irisa.fr\/manifestations\/2000\/sam2000\/PAPERS\/P16-Khendek2.ps.gz"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/11495628_13","volume-title":"Scenarios: Models, Transformations and Tools","author":"F. Khendek","year":"2005","unstructured":"Khendek, F., Zhang, X.-J.: From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. In: Leue, S., Syst\u00e4, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol.\u00a03466, pp. 228\u2013254. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling: Theory and Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36757-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T20:11:55Z","timestamp":1745957515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36757-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642367564","9783642367571"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36757-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}