{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T15:18:17Z","timestamp":1768922297054,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642156502","type":"print"},{"value":"9783642156519","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15651-9_25","type":"book-chapter","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T09:12:19Z","timestamp":1281431539000},"page":"332-346","source":"Crossref","is-referenced-by-count":11,"title":["Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2"],"prefix":"10.1007","author":[{"given":"Anders","family":"Sandberg","sequence":"first","affiliation":[]},{"given":"DeJiu","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Henrik","family":"L\u00f6nn","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Johansson","sequence":"additional","affiliation":[]},{"given":"Lei","family":"Feng","sequence":"additional","affiliation":[]},{"given":"Martin","family":"T\u00f6rngren","sequence":"additional","affiliation":[]},{"given":"Sandra","family":"Torchiaro","sequence":"additional","affiliation":[]},{"given":"Ramin","family":"Tavakoli-Kolagari","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Abele","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"International Organization for Standardization: ISO\/DIS 26262 (2009)"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Chen, D., Johansson, R., L\u00f6nn, H., Blom, H., Walker, M., Papadopoulos, Y., Torchiaro, S., Tagliab\u00f2, F., Sandberg, A., Biehl, M.: Integated Fault Modeling for Safety-Critical Automotive Embedded Systems. Submitted to ISARCS (2010)","DOI":"10.1007\/s00502-011-0007-7"},{"key":"25_CR3","unstructured":"SAE ARP-4761: Aerospace recommended practice: guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment, 12th edn., SAE, 400 Commonwealth Drive Warrendale PA United States (1996)"},{"key":"25_CR4","volume-title":"HAZOP and HAZAN Identifying and assessing process industry standards","author":"T. Kletz","year":"1992","unstructured":"Kletz, T.: HAZOP and HAZAN Identifying and assessing process industry standards, 3rd edn. Hemisphere, Washington (1992) ISBN: 1-56032-276-4","edition":"3"},{"key":"25_CR5","volume-title":"Failure Modes and Effects Analysis","author":"P. Palady","year":"1995","unstructured":"Palady, P.: Failure Modes and Effects Analysis. PT Publications, West Palm Beach (1995) ISBN: 0-94545-617-4"},{"key":"25_CR6","unstructured":"Vesely, W.E.: Fault Tree Handbook, US Nuclear Regulatory Committee Report NUREG-0492, US NRC, Washington, DC (1981)"},{"issue":"1","key":"25_CR7","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"T\u00f6rngren, M., Chen, D., Malvius, D., Axelsson, J.: Model-based Development of Automotive Embedded Systems. In: Navet, N., Simonot-Lion, F. (eds.) Automotive Embedded Systems Handbook. Series: Industrial Information Technology. Taylor and Francis CRC Press (2008)","DOI":"10.1201\/9780849380273"},{"key":"25_CR9","unstructured":"ATESST2 (Advancing Traffic Efficiency and Safety through Software Technology), EU FP7 Project, http:\/\/www.atesst.org"},{"key":"25_CR10","unstructured":"AUTOSAR Development Partnership, http:\/\/www.autosar.org"},{"key":"25_CR11","unstructured":"Kehren, C., et al.: Advanced Multi-System Simulation Capabilities with AltaRica. In: 22nd Int. System Safety Conf., System Safety Society (2004)"},{"key":"25_CR12","unstructured":"Bieber, P., et al.: Safety Assessment with Altarica - Lessons Learnt Based on Two Aircraft System Studies. In: 18th IFIP World Computer Congress, Topical Day on New Methods for Avionics Certification, Toulouse France, August 26-26. IFIP (2004)"},{"issue":"1","key":"25_CR13","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. Journal of Systems and Software\u00a076(1), 77\u201389 (2005)","journal-title":"Journal of Systems and Software"},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"D. Parnas","year":"1995","unstructured":"Parnas, D., Madey, J.: Functional document for computer systems. Science of Computer Programming\u00a025, 41\u201361 (1995)","journal-title":"Science of Computer Programming"},{"key":"25_CR15","unstructured":"Tagliab\u00f2, F., Torchiaro, S., Johansson, R., L\u00f6nn, H., Walker, M., Papadopoulos, Y., Sandberg, A., Chen, D.: Dedicated Modeling Support for the Automotive Functional Safety Standard. Submitted to SAFECOMP 2010 (2010)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15651-9_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,4]],"date-time":"2021-11-04T09:25:39Z","timestamp":1636017939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15651-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156502","9783642156519"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15651-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}