{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:48:45Z","timestamp":1743040125957,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642252631"},{"type":"electronic","value":"9783642252648"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25264-8_16","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T14:18:36Z","timestamp":1322921916000},"page":"202-217","source":"Crossref","is-referenced-by-count":4,"title":["Priority Scheduling in SDL"],"prefix":"10.1007","author":[{"given":"Dennis","family":"Christmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"Gotzhein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Real-Time Systems \u2013 Design Principles for Distributed Embedded Applications","author":"H. Kopetz","year":"1997","unstructured":"Kopetz, H.: Real-Time Systems \u2013 Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"16_CR2","unstructured":"International Telecommunication Union (ITU): ITU-T Recommendation Z.100 (11\/2007): Specification and Description Language (SDL) (2007)"},{"key":"16_CR3","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":"16_CR4","volume-title":"Engineering Real Time Systems","author":"R. Br\u00e6k","year":"1993","unstructured":"Br\u00e6k, R., Haugen, \u00d8.: Engineering Real Time Systems. Prentice Hall, Englewood Cliffs (1993)"},{"key":"16_CR5","volume-title":"Engineering with SDL \u2013 Developing Performance-Critical Communication Systems","author":"A. Mitschele-Thiel","year":"2000","unstructured":"Mitschele-Thiel, A.: Engineering with SDL \u2013 Developing Performance-Critical Communication Systems. John Wiley & Sons, Chichester (2000)"},{"key":"16_CR6","unstructured":"Sanders, R.: Implementing from SDL. In: Telektronikk 4.2000, Languages for Telecommunication Applications, Telenor (2000)"},{"key":"16_CR7","unstructured":"Leblanc, P., Ek, A., Hjelm, T.: Telelogic SDL and MSC tool families. In: Telektronikk 4.2000, Languages for Telecommunication Applications, Telenor (2000)"},{"key":"16_CR8","unstructured":"IBM: Rational SDL Suite (2011), http:\/\/www-01.ibm.com\/software\/awdtools\/sdlsuite\/"},{"issue":"3","key":"16_CR9","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":"16_CR10","unstructured":"Pragmadev: Real time developer studio (2011), http:\/\/www.pragmadev.com\/"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-48213-X_14","volume-title":"SDL 2001: Meeting UML","author":"M. Bozga","year":"2001","unstructured":"Bozga, M., Graf, S., Mounier, L., Ober, I., Roux, J.-L., Vincent, D.: Timed Extensions for SDL. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol.\u00a02078, pp. 223\u2013240. Springer, Heidelberg (2001)"},{"key":"16_CR12","unstructured":"Diefenbruch, M., Hintelmann, J., M\u00fcller-Clostermann, B.: QUEST Performance Evalution of SDL System. In: Irmscher, K., Mittasch, C., Richter, K. (eds.) MMB (Kurzbeitr\u00e4ge), TU Bergakademie Freiberg, pp. 126\u2013132 (1997)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/3-540-48213-X_12","volume-title":"SDL 2001: Meeting UML","author":"I. Ober","year":"2001","unstructured":"Ober, I., Kerbrat, A.: Verification of Quantitative Temporal Properties of SDL Specifications. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol.\u00a02078, pp. 182\u2013202. Springer, Heidelberg (2001)"},{"key":"16_CR14","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":"16_CR15","unstructured":"Christmann, D.: Spezifikation und automatisierte Implementierung zeitkritischer Systeme mit TC-SDL. Master\u2019s thesis, TU Kaiserslautern (2010)"},{"key":"16_CR16","volume-title":"Hard Real-Time Systems, Tutorial","author":"J.A. Stankovic","year":"1988","unstructured":"Stankovic, J.A., Ramamritham, K.: Hard Real-Time Systems, Tutorial. IEEE Computer Society Press, Los Alamitos (1988)"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Jeffay, K., Stanat, D.F., Martel, C.U.: On Non-Preemptive Scheduling of Periodic and Sporadic Tasks. In: IEEE Real-Time Systems Symposium, pp. 129\u2013139 (1991)","DOI":"10.1109\/REAL.1991.160366"},{"key":"16_CR18","unstructured":"Fliege, I.: Component-based Development of Communication Systems. PhD thesis, University of Kaiserslautern (2009)"},{"key":"16_CR19","unstructured":"Gotzhein, R.: Model-driven with SDL \u2013 Improving the Quality of Networked Systems Development. In: Proc. of the 7th Int. Conf. on New Technologies of Distributed Systems (NOTERE 2007), Marrakesh, Morocco, pp. 31\u201346 (2007)"},{"key":"16_CR20","unstructured":"Memsic: Imote 2 datasheet (2011), http:\/\/www.memsic.com\/support\/documentation\/wireless-sensor-networks\/category\/7-datasheets.html?download=134"}],"container-title":["Lecture Notes in Computer Science","SDL 2011: Integrating System and Software Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25264-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T20:08:43Z","timestamp":1741982923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25264-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642252631","9783642252648"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25264-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}