{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:54:59Z","timestamp":1725803699204},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105567"},{"type":"electronic","value":"9783319105574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10557-4_4","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T12:12:24Z","timestamp":1409141544000},"page":"19-26","source":"Crossref","is-referenced-by-count":0,"title":["Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models"],"prefix":"10.1007","author":[{"given":"Martin","family":"Skoglund","sequence":"first","affiliation":[]},{"given":"Hans","family":"Svensson","sequence":"additional","affiliation":[]},{"given":"Henrik","family":"Eriksson","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Arts","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Johansson","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Gerdes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"ISO, 26262-6:2011, Road vehicles \u2014 Functional safety \u2014 Part 6, Product development at the software level"},{"key":"4_CR2","unstructured":"ISO, 26262-8:2011, Road vehicles \u2014 Functional safety \u2014 Part 8, Road vehicles \u2014 Functional safety - Supporting processes"},{"key":"4_CR3","unstructured":"ISO, 26262-10:2011, Road vehicles \u2014 Functional safety \u2014 Part 10, Road vehicles \u2014 Functional safety - Guideline on ISO 26262"},{"key":"4_CR4","unstructured":"AUTOSAR, Technical Safety Concept Status Report, vol. Document Version 1.2.0, no. Part of Release 4.1 Rev 1 (October 2013)"},{"key":"4_CR5","unstructured":"AUTOSAR, AUTOSAR Technical Overview, \n                    \n                      http:\/\/www.autosar.org\/index.php?p=1&up=2&uup=0\n                    \n                    \n                   (retrieved March 5, 2014)"},{"key":"4_CR6","unstructured":"Arts, T., Johansson, R., Svensson, D., Kallerdahl, A.: Model Based Testing of AUTOSAR components. In: Proceedings of the 3rd AUTOSAR Open Conference, Frankfurt, Germany, May 11 (2011)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing telecoms software with Quviq QuickCheck. In: ACM SIGPLAN Workshop on Erlang (2006)","DOI":"10.1145\/1159789.1159792"},{"issue":"1","key":"4_CR8","doi-asserted-by":"crossref","first-page":"209","DOI":"10.4271\/2012-01-0503","volume":"5","author":"R. Svenningsson","year":"2012","unstructured":"Svenningsson, R., Johansson, R., Arts, T., Norell, U.: Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability. SAE Int. J. Passeng. Cars - Electron. Electr. Syst.\u00a05(1), 209\u2013213 (2012)","journal-title":"SAE Int. J. Passeng. Cars - Electron. Electr. Syst."},{"key":"4_CR9","unstructured":"Armstrong, J.L., Williams, M., Virding, R., Wilkstr\u00f6m, C.: ERLANG for Concurrent Programming. Prentice-Hall, Inc. (1993)"},{"key":"4_CR10","unstructured":"Skoglund, M.: AP1, Quality criteria for supporting the ISO 26262, AcS\u00e4Pt project (ref. 2012-00943)"}],"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-319-10557-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,20]],"date-time":"2019-01-20T23:42:35Z","timestamp":1548027755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10557-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105567","9783319105574"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10557-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}