{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:38:14Z","timestamp":1742917094312,"version":"3.40.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319249117"},{"type":"electronic","value":"9783319249124"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24912-4_7","type":"book-chapter","created":{"date-parts":[[2015,10,6]],"date-time":"2015-10-06T14:07:30Z","timestamp":1444140450000},"page":"81-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Experiment to Introduce Interrupts in SDL"],"prefix":"10.1007","author":[{"given":"Emmanuel","family":"Gaudin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Clouard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,28]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-1-4757-3326-6_14","volume-title":"Electronic Chips & Systems Design Languages","author":"M Bauer","year":"2001","unstructured":"Bauer, M., Ecker, W., Zinn, A.: Modeling interrupts for HW\/SW co-simulation based on a VHDL\/C coupling. In: Mermet, J. (ed.) Electronic Chips & Systems Design Languages, pp. 169\u2013178. Springer, US (2001)"},{"key":"7_CR2","unstructured":"Bran Selic, S.G.: Modelling and Analysis of Real-Time and Embedded Systems with UML and MARTE. Elsevier, Amsterdam (2014)"},{"key":"7_CR3","unstructured":"European Space Agency: System level modelling in systemc (2015). \n                      http:\/\/www.esa.int\/Our_Activities\/Space_Engineering_Technology\/Microelectronics\/System-Level_Modeling_in_SystemC"},{"key":"7_CR4","volume-title":"Transaction-Level Modelling with SystemC: TLM Concepts and Applications for Embedded Systems","author":"F Ghenassia","year":"2006","unstructured":"Ghenassia, F.: Transaction-Level Modelling with SystemC: TLM Concepts and Applications for Embedded Systems. Springer, US (2006)"},{"key":"7_CR5","unstructured":"ITU-T: Message Sequence Chart (MSC): ITU-T recommendation Z.120, International Telecommunication Union - Telecommunication Standardization Sector (2002). \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.120\/en"},{"key":"7_CR6","unstructured":"ITU-T: Specification and description language - overview of SDL-2010. ITU-T recommendation Z.100, International Telecommunication Union - Telecommunication Standardization Sector (2011). \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en"},{"key":"7_CR7","unstructured":"PragmaDev: Real Time Developer Studio Reference manual V4.6 (2015)"},{"key":"7_CR8","unstructured":"STMicroelectronics, ARM and Cadence: Proposed interfaces for interrupt modelling, register introspection and modelling of memory maps (2013). \n                      http:\/\/forums.accellera.org\/files\/file\/102-proposed-interfaces-for-interrupt-modelling-register-introspection-and-modelling-of-memory-maps-from-stmicroelectronics-arm-and-cadence\/"},{"key":"7_CR9","unstructured":"Xu, X., Liu, C.C.: Modeling interrupts for software-based system-on-chip verification. Trans. Comput. Aided Des. Integr. Circ. Syst. 29(6), 993\u2013997 (2010)"}],"container-title":["Lecture Notes in Computer Science","SDL 2015: Model-Driven Engineering for Smart Cities"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24912-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T23:47:30Z","timestamp":1559260050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24912-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319249117","9783319249124"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24912-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"28 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}