{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:50:09Z","timestamp":1725731409488},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642389108"},{"type":"electronic","value":"9783642389115"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38911-5_16","type":"book-chapter","created":{"date-parts":[[2013,6,11]],"date-time":"2013-06-11T21:55:18Z","timestamp":1370987718000},"page":"275-290","source":"Crossref","is-referenced-by-count":3,"title":["Integration of SDL Models into a SystemC Project for Network Simulation"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Morozkin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irina","family":"Lavrovskaya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Olenev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantin","family":"Nedovodeev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"International Telecommunication Union: Recommendation Z.100 (12\/11) Specification and Description Language - Overview of SDL-2010, \n                    \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Mitschele-Thiel, A.: Systems Engineering with SDL: Developing Performance-Critical Communication Systems. John Wiley & Sons (2001)","DOI":"10.1002\/0470841966"},{"key":"16_CR3","unstructured":"Institute of Electrical and Electronics Engineers: IEEE Standard for Standard SystemC Language Reference Manual, \n                    \n                      http:\/\/standards.ieee.org\/findstds\/standard\/1666-2011.html"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Black, D.C., et al.: SystemC: From the Ground Up. Springer (2010)","DOI":"10.1007\/978-0-387-69958-5"},{"key":"16_CR5","unstructured":"Gr\u00f6tker, T., Liao, S., Martin, G., Swan, S.: System Design with SystemC. Kluwer Academic (2002)"},{"key":"16_CR6","unstructured":"Turner, K.J.: Using Formal Description Techniques \u2013 An Introduction to Estelle, LOTOS and SDL. John Wiley & Sons I (1993)"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"24","DOI":"10.4018\/jertcs.2011010102","volume":"2","author":"S. Balandin","year":"2011","unstructured":"Balandin, S., et al.: Co-Modeling of Embedded Networks Using SystemC and SDL. International Journal of Embedded and Real-Time Communication Systems\u00a02(1), 24\u201349 (2011), \n                    \n                      http:\/\/www.igi-global.com\/article\/modeling-embedded-networks-using-systemc\/51648","journal-title":"International Journal of Embedded and Real-Time Communication Systems"},{"key":"16_CR8","unstructured":"Gillet, M.: Hardware\/software co-simulation for conformance testing of embedded networks. In: Finnish-Russian University Cooperation Program in Telecommunications seminar"},{"key":"16_CR9","unstructured":"Olenev, V., et al.: SystemC and SDL Co-Modelling Methods. In: Proceedings of 6th Seminar of Finnish-Russian University Cooperation in Telecommunications Program, pp. 136\u2013140. State University of Aerospace Instrumentation (2009)"},{"key":"16_CR10","unstructured":"IBM Rational. IBM Rational SDL Suite User\u2019s Manual. IBM Rational (2009)"},{"key":"16_CR11","unstructured":"Stepanov, A., et al.: SystemC and SDL Co-Modelling Implementation. In: Proceedings of 7th Conference of Finnish-Russian University Cooperation in Telecommunications Program, pp. 130\u2013137. State University of Aerospace Instrumentatio (2010), \n                    \n                      http:\/\/www.fruct.org\/publications\/fruct7\/files\/Ste.pdf"},{"key":"16_CR12","unstructured":"UniPro protocol stack by Mobile Industry Processor Interface Alliance, \n                    \n                      http:\/\/mipi.org\/specifications\/unipro-specifications"},{"key":"16_CR13","unstructured":"SpaceWire-RT project, \n                    \n                      http:\/\/spacewire-rt.org"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/11506843_23","volume-title":"SDL 2005: Model Driven","author":"M. Haroud","year":"2005","unstructured":"Haroud, M., Biere, A.: SDL Versus C Equivalence Checking. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol.\u00a03530, pp. 323\u2013338. Springer, Heidelberg (2005)"},{"key":"16_CR15","unstructured":"Dietterle, D.: Efficient Protocol Design Flow for Embedded Systems. Brandenburg University of Technology (2009), \n                    \n                      http:\/\/systems.ihp-microelectronics.com\/uploads\/downloads\/diss_dietterle.pdf"},{"key":"16_CR16","unstructured":"SpaceWire switch MCK-01, \n                    \n                      http:\/\/multicore.ru\/index.php?id=850"}],"container-title":["Lecture Notes in Computer Science","SDL 2013: Model-Driven Dependability Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38911-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T23:21:57Z","timestamp":1557789717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38911-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642389108","9783642389115"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38911-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}