{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T22:46:55Z","timestamp":1759963615304},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876977"},{"type":"electronic","value":"9783540876984"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87698-4_9","type":"book-chapter","created":{"date-parts":[[2008,9,19]],"date-time":"2008-09-19T15:53:29Z","timestamp":1221839609000},"page":"72-85","source":"Crossref","is-referenced-by-count":26,"title":["Modelling Support for Design of Safety-Critical Automotive Embedded Systems"],"prefix":"10.1007","author":[{"given":"DeJiu","family":"Chen","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Johansson","sequence":"additional","affiliation":[]},{"given":"Henrik","family":"L\u00f6nn","sequence":"additional","affiliation":[]},{"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[]},{"given":"Anders","family":"Sandberg","sequence":"additional","affiliation":[]},{"given":"Fredrik","family":"T\u00f6rner","sequence":"additional","affiliation":[]},{"given":"Martin","family":"T\u00f6rngren","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"International Organization for Standardization: Draft 26262. ISO Committee (2008)"},{"key":"9_CR2","unstructured":"Chen, D.J., T\u00f6rgren, M., L\u00f6nn, H.: Elicitation of relevant analysis and V&V techniques. D2.2.1. ATESST EC FP6 (2007), http:\/\/www.atesst.org"},{"key":"9_CR3","unstructured":"AUTOSAR Development Partnership, http:\/\/www.autosar.org"},{"key":"9_CR4","unstructured":"Kelly, T.P.: Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD Thesis. University of York (1998)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"10","key":"9_CR6","doi-asserted-by":"crossref","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. IEEE Computer\u00a040(10), 42\u201351 (2007)","journal-title":"IEEE Computer"},{"key":"9_CR7","unstructured":"HIS Members and Partners: Specification Requirements Interchange Format (RIF). v1.1a (2007), http:\/\/www.automotive-his.de"},{"key":"9_CR8","unstructured":"SysML Partners: Systems Modeling Language (SysML). Open Source Specification Project, http:\/\/www.sysml.org"},{"key":"9_CR9","first-page":"58","volume":"793","author":"P. Cuenot","year":"2008","unstructured":"Cuenot, P., Frey, P., Johansson, R., L\u00f6nn, H., Reiser, M.-O., Servat, D., Tavakoli Kolagari, R., Chen, D.J.: Developing Automotive Products Using the EAST-ADL2, an AUTOSAR Compliant Architecture Description Language. Ing\u00e9niurs de l\u2019Automobile\u00a0793, 58\u201364 (2008)","journal-title":"Ing\u00e9niurs de l\u2019Automobile"},{"key":"9_CR10","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. Technical Paper Series, 2008-01-0127. SAE (2008)","DOI":"10.4271\/2008-01-0127"},{"key":"9_CR11","unstructured":"International Electrotechnical Commission: Functional safety of electrical\/electronic\/programmable electronic safety-related systems \u2013 Part 0: Functional safety and IEC 61508 (2005)"},{"key":"9_CR12","series-title":"Industrial Information Technology","volume-title":"Automotive Embedded Systems Handbook","author":"T. Martin","year":"2008","unstructured":"Martin, T., Chen, D.J., Malvius, D., Axelsson, J.: Chapter - Model based development of automotive embedded systems. In: Navet, N., Simonot-Lion, F. (eds.) Automotive Embedded Systems Handbook. Industrial Information Technology. Taylor and Francis CRC Press, Abington (2008)"},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/FI-1999-402302","volume":"40","author":"A. Arnold","year":"2000","unstructured":"Arnold, A., Griffault, A., Point, G., Rauzy, A.: The Altarica formalism for describing concurrent systems. Fundamenta Informaticae\u00a040, 109\u2013124 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"9_CR14","unstructured":"Bozzano, M., Villafiorita, A., et al.: ESACS: an integrated methodology for design and safety analysis of complex systems. In: ESREL European Safety and Reliability Conference, Balkema, pp. 237\u2013245 (2003)"},{"issue":"1","key":"9_CR15","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 optimization techniques. Journal of Systems and Software\u00a076(1), 77\u201389 (2005)","journal-title":"Journal of Systems and Software"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87698-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,8]],"date-time":"2020-05-08T07:07:01Z","timestamp":1588921621000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87698-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540876977","9783540876984"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87698-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}