{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:22:44Z","timestamp":1761488564206,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162763"},{"type":"electronic","value":"9783642162770"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16277-0_11","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T11:55:33Z","timestamp":1286970933000},"page":"297-307","source":"Crossref","is-referenced-by-count":28,"title":["11 The EAST-ADL Architecture Description Language for Automotive Embedded Software"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Cuenot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Frey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Johansson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"L\u00f6nn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark-Oliver","family":"Reiser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders","family":"Sandberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Servat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramin","family":"Tavakoli Kolagari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"T\u00f6rngren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"AUTOSAR Development Partnership: AUTOSAR Development Partnership (2007), http:\/\/www.autosar.org","key":"11_CR1"},{"issue":"10","key":"11_CR2","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MC.2007.344","volume":"40","author":"A. Sangiovanni-Vincentelli","year":"2007","unstructured":"Sangiovanni-Vincentelli, A., Di Natale, M.: Embedded system design for automotive applications. Computer\u00a040(10), 42\u201351 (2007)","journal-title":"Computer"},{"doi-asserted-by":"crossref","unstructured":"T\u00f6rngren, M., Chen, D.J., Malvius, D., Axelsson, J.: Model based development of automotive embedded systems. In: Handbook on Automotive Embedded Systems. Taylor and Francis CRC Press - Series: Industrial Information Technology (invited) (forthcoming 2008), ISBN=9780849380266","key":"11_CR3","DOI":"10.1201\/9780849380273.ch10"},{"doi-asserted-by":"crossref","unstructured":"T\u00f6rngren, M., Chen, D.J., Crnkovic, I.: Component-based vs. model-based development: A comparison in the context of vehicular embedded systems. In: EUROMICRO-SEAA, pp. 432\u2013441 (2005)","key":"11_CR4","DOI":"10.1109\/EUROMICRO.2005.18"},{"unstructured":"ATESST consortium: Report on behavioral modeling within east-adl2, d3.2 deliverable. Technical report (December 2007), http:\/\/www.atesst.org\/","key":"11_CR5"},{"unstructured":"Sj\u00f6stedt, C.J., Shi, J., T\u00f6rngren, M., Servat, D., Chen, D., Ahlsten, V., L\u00f6nn, H.: Mapping Simulink to UML in the Design of Embedded Systems: Investigating Scenarios and Structural and Behavioral Mapping. In: OMER4 Post-Proceedings (2008)","key":"11_CR6"},{"unstructured":"SysML Partners: Systems Modeling Language (SysML) open source specification project, http:\/\/www.sysml.org","key":"11_CR7"},{"unstructured":"International Organization for Standardization: ISO Working Draft 26262 Baseline 10 (2007)","key":"11_CR8"},{"unstructured":"Kelley, T.P.: Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, University of York (1998)","key":"11_CR9"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-48249-0_13","volume-title":"Computer Safety, Reliability and Security","author":"Y. Papadopoulos","year":"1999","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol.\u00a01698, pp. 139\u2013152. Springer, Heidelberg (1999)"},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.jss.2004.06.027","volume":"76","author":"Y. Papadopoulos","year":"2005","unstructured":"Papadopoulos, Y., Grante, C.: Evolving car designs using model-based automated safety analysis and optimisation techniques. J. Syst. Softw.\u00a076(1), 77\u201389 (2005)","journal-title":"J. Syst. Softw."},{"unstructured":"HIS: Specification Requirements Interchange Format (RIF), version 1.1a (2007)","key":"11_CR12"},{"unstructured":"OMG: Uml profile for modeling and analysis of real-time and embedded systems (marte), beta1, omg document number: ptc\/07-08-04 (August 2007)","key":"11_CR13"},{"unstructured":"The Motor Industry Software Reliability Association (MISRA): Development guidelines for vehicle based software (1994)","key":"11_CR14"},{"unstructured":"International Electrotechnical Commission: Functional safety of electrical\/electronic\/ programmable electronic safety-related systems - part 0: Functional safety and iec 61508 (2005)","key":"11_CR15"},{"doi-asserted-by":"crossref","unstructured":"T\u00f6rner, F., Chen, D.J., Johansson, R., L\u00f6nn, H., T\u00f6rngren, M.: Supporting an automotive safety case through systematic model based development - the east-adl2 approach. In: SAE World Congress (2008), SAE paper number 2008-01-0127","key":"11_CR16","DOI":"10.4271\/2008-01-0127"}],"container-title":["Lecture Notes in Computer Science","Model-Based Engineering of Embedded Real-Time Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16277-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T18:13:58Z","timestamp":1740593638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16277-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162763","9783642162770"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16277-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}