{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:08:46Z","timestamp":1760044126567},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751007"},{"type":"electronic","value":"9783540751014"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75101-4_1","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T09:15:29Z","timestamp":1190366129000},"page":"1-13","source":"Crossref","is-referenced-by-count":12,"title":["Establishing Evidence for Safety Cases in Automotive Systems \u2013 A Case Study"],"prefix":"10.1007","author":[{"given":"Willem","family":"Ridderhof","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Gerhard","family":"Gross","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiko","family":"Doerr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Altheide, F., D\u00f6rfel, S., D\u00f6rr, H., Kanzleiter, J.: An Architecture for a Sustainable Tool Integration. In: Workshop on Tool Integration in System Development, Helsinki, Finland, September 2003, pp. 29\u201332 (2003)"},{"key":"1_CR2","unstructured":"Automotive Standards Committee of the German Institute for Standardization: ISO\/WD 26262: Road Vehicles \u2013 Functional Safety. Preparatory Working Draft, Technical Report (October 2005)"},{"key":"1_CR3","unstructured":"Bridal, O., et al.: Deliverable D3.1 Part 1 Appendix E: Safety Case, Version 1.1. Technical Report, EASIS Consortium (February 2006), \n                    \n                      http:\/\/www.easis-online.org"},{"key":"1_CR4","unstructured":"Intl. Electrotechnical Commission. IEC 61508: Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems. Technical Report (April 1999)"},{"key":"1_CR5","unstructured":"John, G., Hoffmann, M., Weber, M.: EADS-Methodenrichtlinie zur Traceability zwischen Anforderungen und Entwurfsobjekten. Technical Report RM-008, DaimlerChrysler AG (November 2000)"},{"key":"1_CR6","volume-title":"Proceedings of 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1997)","author":"T.P. Kelly","year":"1997","unstructured":"Kelly, T.P., McDermid, J.: Safety Case Construction and Reuse using Patterns. In: Proceedings of 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1997), September 1997, Springer, Heidelberg (1997)"},{"key":"1_CR7","unstructured":"Kelly, T.P.: Arguing Safety: A Systematic Approach to Managing Safety Cases. PhD Thesis, University of York, UK (September 1998)"},{"key":"1_CR8","unstructured":"Lehmann, E.: Time Partition Testing: A Method for Testing Dynamic Functional Behaviour. In: Proceedings of TEST 2000, May 2000, London, Great Britain (2000)"},{"key":"1_CR9","unstructured":"Lehmann, E.: Time Partition Testing. PhD Thesis, Technical University of Berlin (February 2004)"},{"key":"1_CR10","volume-title":"Safeware: System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Boston, MA (1995)"},{"key":"1_CR11","unstructured":"Koordinierungs- und Beratungsstelle der Bundesregierung f\u00fcr Informationstechnik in der Bundesverwaltung. V-Modell\u00a9XT (2004), \n                    \n                      http:\/\/www.kbst.bund.de"},{"key":"1_CR12","volume-title":"Safety Critical Computer Systems","author":"N. Storey","year":"1996","unstructured":"Storey, N.: Safety Critical Computer Systems. Addison-Wesley, Reading (1996)"},{"key":"1_CR13","volume-title":"The Uses of Argument","author":"S.E. Toulmin","year":"1958","unstructured":"Toulmin, S.E.: The Uses of Argument. Cambridge University Press, Cambridge (1958)"},{"key":"1_CR14","unstructured":"Weaver, R.A.: The Safety of Software \u2013 Constructing and Assuring Arguments. DPhil Thesis, Department of Computer Science, University of York, UK (2003)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Weaver, R., Despotou, G., Kelly, T., McDermid, J.: Combining Software Evidence: Arguments and Assurance. In: Proceedings of the 2005 workshop on Realising evidence-based software engineering, St. Louis, Missouri, pp. 1\u20137 (2005)","DOI":"10.1145\/1083174.1083182"}],"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-540-75101-4_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:51:16Z","timestamp":1619520676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75101-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540751007","9783540751014"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75101-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}