{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:02:07Z","timestamp":1726408927423},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319242545"},{"type":"electronic","value":"9783319242552"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24255-2_8","type":"book-chapter","created":{"date-parts":[[2015,9,5]],"date-time":"2015-09-05T13:51:13Z","timestamp":1441461073000},"page":"90-108","source":"Crossref","is-referenced-by-count":5,"title":["A Structured Validation and Verification Method for Automotive Systems Considering the OEM\/Supplier Interface"],"prefix":"10.1007","author":[{"given":"Kristian","family":"Beckers","sequence":"first","affiliation":[]},{"given":"Isabelle","family":"C\u00f4t\u00e9","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Frese","sequence":"additional","affiliation":[]},{"given":"Denis","family":"Hatebur","sequence":"additional","affiliation":[]},{"given":"Maritta","family":"Heisel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,25]]},"reference":[{"key":"8_CR1","unstructured":"International Organization for Standardization (ISO): Road Vehicles - Functional Safety. ISO 26262 (2011)"},{"key":"8_CR2","unstructured":"UML Revision Task Force: OMG Object Constraint Language: Reference (2010)"},{"key":"8_CR3","unstructured":"International Electrotechnical Commission (IEC): Functional safety of electrical\/electronic\/programmable electronic safety-relevant systems. IEC 61508 (2000)"},{"key":"8_CR4","unstructured":"Eclipse Foundation: Eclipse - Development Platform (2011). \n                      http:\/\/www.eclipse.org\/"},{"key":"8_CR5","unstructured":"Eclipse Foundation: Eclipse Modeling Framework Project (EMF) (2012). \n                      http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"8_CR6","unstructured":"Atos Origin: Papyrus UML Modelling Tool (2011). \n                      http:\/\/www.papyrusuml.org\/"},{"key":"8_CR7","unstructured":"Beckers, K., C\u00f4t\u00e9, I., Frese, T., Hatebur, D., Heisel, M.: A structured validation and verification method for automotive systems considering the oem\/supplier interface technical report. Technical report (2015). \n                      https:\/\/www.uni-due.de\/imperia\/md\/content\/swe\/papers\/vav2015tr.pdf"},{"key":"8_CR8","unstructured":"Safety Management System and Safety Culture Working Group (SMS WG): Guidance on hazard identification. Technical report (2009)"},{"key":"8_CR9","volume-title":"Safeware: System Safety and Computers","author":"N Leveson","year":"1995","unstructured":"Leveson, N.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"740","DOI":"10.1016\/j.cirp.2010.05.005","volume":"59","author":"PG Maropoulos","year":"2010","unstructured":"Maropoulos, P.G., Ceglarek, D.: Design verification and validation in product lifecycle. CIRP Ann. Manuf. Technol. 59, 740\u2013759 (2010)","journal-title":"CIRP Ann. Manuf. Technol."},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1017\/S0890060403171065","volume":"17","author":"C Sinz","year":"2003","unstructured":"Sinz, C., Kaiser, A., K\u00fcchlin, W.: Formal methods for the validation of automotive product configuration data. Artif. Intell. Eng. Des. Anal. Manuf. 17, 75\u201397 (2003)","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Bringmann, E., Kramer, A.: Model-based testing of automotive systems. In: 2008 1st International Conference on Software Testing, Verification, and Validation, pp. 485\u2013493 (2008)","DOI":"10.1109\/ICST.2008.45"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Dubois, H., Peraldi-Frati, M., Lakhal, F.: A model for requirements traceability in a heterogeneous model-based design process: application to automotive embedded systems. In: Proceedings of ICECCS, pp. 233\u2013242 (2010)","DOI":"10.1109\/ICECCS.2010.2"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Montevechi, J.A.B., de Pinho, A.F., Leal, F., Marins, F.A.S.: Application of design of experiments on the simulation of a process in an automotive industry. In: Proceedings of WSC, WSC 2007, pp. 1601\u20131609. IEEE Press (2007)","DOI":"10.1109\/WSC.2007.4419779"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Rasmus, A., Dominik, D., Kai, H., S\u00f6ren, K., Thomas, K., Jean-Pascal, S., Mario, T.: Integration of component fault trees into the UML. In: Juergen, D., Arnor, S. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 312\u2013327. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-21210-9_30"}],"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-24255-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T21:58:47Z","timestamp":1559253527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24255-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242545","9783319242552"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24255-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}