{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:38:34Z","timestamp":1752550714485},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650751"},{"type":"electronic","value":"9783540496731"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0057788","type":"book-chapter","created":{"date-parts":[[2006,7,31]],"date-time":"2006-07-31T04:45:07Z","timestamp":1154321107000},"page":"156-165","source":"Crossref","is-referenced-by-count":6,"title":["Mapping an embedded hard real-time systems SDL specification to an analyzable task network \u2014 A case study"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Kolloch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"F\u00e4rber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,29]]},"reference":[{"unstructured":"ITU-T. ITU-T Recommendation Z.100: CCITT Specification and Description Language (SDL), June 1994.","key":"13_CR1"},{"key":"13_CR2","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Bran Selic, Garth Gullekson, and Paul T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc., 605 Third Avenue, New York, 1994."},{"unstructured":"ITU-T. ITU-T Recommendation Z.120: Message Sequence Chart (MSC), September 1994.","key":"13_CR3"},{"key":"13_CR4","volume-title":"Improving processor utilization with a task classification model based application specific hard real-time architecture","author":"G. F\u00e4rber","year":"1997","unstructured":"Georg F\u00e4rber, Franz Fischer, Thomas Kolloch, and Annette Muth. Improving processor utilization with a task classification model based application specific hard real-time architecture. In Proceedings of the 1997 International Workshop on Real-Time Computing Systems and Applications (RTCSA\u201997), Academia Sinica, Taipei, Taiwan, ROC, October 27\u201329 1997."},{"unstructured":"Franz Fischer, Thomas Kolloch, Annette Muth, and Georg F\u00e4rber. A configurable target architecture for rapid prototyping high performance control systems. In Hamid R. Arabnia et al., editors, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA\u201997), volume 3, pages 1382\u20131390, Las Vegas, Nevada, USA, June 30\u2013July 3 1997.","key":"13_CR5"},{"key":"13_CR6","first-page":"35","volume-title":"Towards interprocess communication and interface synthesis for a heterogeneous real-time rapid prototyping environment","author":"F. Fischer","year":"1998","unstructured":"Franz Fischer, Annette Muth, and Georg F\u00e4rber. Towards interprocess communication and interface synthesis for a heterogeneous real-time rapid prototyping environment. In Proceedings of the 6th International Workshop on Hardware\/Software Co-Design \u2014 Codes\/CASHE \u201998, pages 35\u201339, Seattle, Washington, USA, 15\u201318 March 1998. IEEE, IEEE Computer Society Press."},{"key":"13_CR7","volume-title":"HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems","author":"A. Burns","year":"1995","unstructured":"Alan Burns and Andy Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier Science B. V., Amsterdam, The Netherlands, 1995."},{"key":"13_CR8","volume-title":"Guidelines for automated implementation of executable object oriented models for real-time embedded control systems","author":"M. Saksena","year":"1997","unstructured":"M. Saksena, P. Freedman, and P. Rodziewicz. Guidelines for automated implementation of executable object oriented models for real-time embedded control systems. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS\u201997), San Francisco, California, December 2\u20135 1997. IEEE Computer Society Press."},{"doi-asserted-by":"crossref","unstructured":"Marc Diefenbruch, Elke Heck, J\u00f6rg Hintelmann, and Bruno M\u00fcller-Clostermann. Performance evaluation of sdl systems adjunct by queueing models. In SDL\u201995 With MSC in CASE, Proceedings of the Seventh SDL Forum, pages 231\u2013242, Oslo, Norway, September 1995.","key":"13_CR9","DOI":"10.1016\/B978-0-444-82269-7.50024-1"},{"key":"13_CR10","series-title":"Dissertation am Lehrstuhl f\u00fcr Prozessrechner, Technische Universit\u00e4t M\u00fcnchen","volume-title":"Number 268 in Fortschrittsberichte VDI, Reihe 10","author":"K. Gresser","year":"1993","unstructured":"Klaus Gresser. Echtzeitnachweis ereignisgesteuerter Realzeitsysteme. Number 268 in Fortschrittsberichte VDI, Reihe 10. VDI-Verlag, D\u00fcsseldorf, 1993. Dissertation am Lehrstuhl f\u00fcr Prozessrechner, Technische Universit\u00e4t M\u00fcnchen."},{"key":"13_CR11","first-page":"118","volume-title":"An event model for deadline verification of hard real-time systems","author":"K. Gresser","year":"1993","unstructured":"Klaus Gresser. An event model for deadline verification of hard real-time systems. In Proc. Fifth Euromicro Workshop on Real Time Systems, pages 118\u2013123, Oulu, Finland, June 1993. IEEE."},{"key":"13_CR12","first-page":"397","volume-title":"Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads","author":"R. Henke","year":"1997","unstructured":"Ralf Henke, Hartmut K\u00f6nig, and Andreas Mitschele-Thiel. Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads. In Proceeding of the Eighth SDL Forum, SDL\u201997 Time for Testing SDL, MSC and Trends, pages 397\u2013414, Evry, France, September 1997. Elsevier Science Publishers B.V."}],"container-title":["Lecture Notes in Computer Science","Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0057788","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T19:28:19Z","timestamp":1549913299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0057788"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650751","9783540496731"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0057788","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}