{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:50:59Z","timestamp":1725519059056},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876977"},{"type":"electronic","value":"9783540876984"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87698-4_7","type":"book-chapter","created":{"date-parts":[[2008,9,19]],"date-time":"2008-09-19T19:53:29Z","timestamp":1221854009000},"page":"44-57","source":"Crossref","is-referenced-by-count":3,"title":["SafeSpection \u2013 A Systematic Customization Approach for Software Hazard Identification"],"prefix":"10.1007","author":[{"given":"Christian","family":"Denger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Trapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Liggesmeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","first-page":"547","volume-title":"24th International Conference on Software Engineering (ICSE 2002)","author":"J.C. Knight","year":"2002","unstructured":"Knight, J.C.: Safety Critical Systems: Challenges and Directions. In: 24th International Conference on Software Engineering (ICSE 2002), pp. 547\u2013550. ACM, New York (2002)"},{"key":"7_CR2","volume-title":"Safeware \u2013 System Safety and Computers","author":"N. Leveson","year":"1995","unstructured":"Leveson, N.: Safeware \u2013 System Safety and Computers. Addison Wesley Publishers, Boston (1995)"},{"key":"7_CR3","unstructured":"IEC 61508: Institute of Electrical and Electronics Engineers. Functional Safety of electrical\/electronic\/programmable electronic safety-related systems Part 3 Requirements on Software (1999)"},{"key":"7_CR4","unstructured":"ISOWD 26262, Road vehicles, Functional Safety Part 6: Product development software. Working draft (2006)"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/381766.381770","volume":"2","author":"P. Fenelon","year":"1994","unstructured":"Fenelon, P., McDermid, J.A., Pumfrey, D.J., Nicholson, M.: Towards Integrated Safety Analysis and Design. ACM Computing Reviews\u00a02(1), 21\u201332 (1994)","journal-title":"ACM Computing Reviews"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"McDermid, J.A.: Software Hazard and Safety Analysis. In: Lecture Notes in Computer Science, vol.\u00a02469, pp. 23\u201334 (2002)","DOI":"10.1007\/3-540-45739-9_2"},{"key":"7_CR7","unstructured":"Papadopoulos, Y., et al.: A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis for Engineering Designs. In: 9th Australian Workshop on Safety Related Programmable Systems (SCS 2004), pp. 89\u201395. Australian Computer Society (2004)"},{"key":"7_CR8","first-page":"1","volume-title":"The proceedings of the International Software Assurance Certification Conference (ISACC 1999)","author":"R.R. Lutz","year":"1999","unstructured":"Lutz, R.R., Woodhouse, R.M.: Bi-directional Analysis for Certification of Safety-Critical Software. In: The proceedings of the International Software Assurance Certification Conference (ISACC 1999), pp. 1\u20139. Springer, Heidelberg (1999)"},{"key":"7_CR9","unstructured":"Pumfrey, D.J.: The Principled Design of Computer System Safety Analysis. PhD thesis. Department of Computer Science, University of York, UK (1999)"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-1-4471-2061-2_11","volume-title":"12th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1993)","author":"M. Chudleigh","year":"1993","unstructured":"Chudleigh, M.: Hazard analysis using HAZOP: A case study. In: 12th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1993), pp. 99\u2013108. Springer, Heidelberg (1993)"},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/978-1-4471-0823-8","volume-title":"System Safety: HAZOP and Software HAZOP","author":"F. Redmill","year":"1999","unstructured":"Redmill, F., Chudleigh, M., Catmur, J.: System Safety: HAZOP and Software HAZOP, p. 248. John Wiley & Sons Ltd., Chichester (1999)"},{"key":"7_CR12","volume-title":"The proceedings of the 22nd International System Safety Conference (ISSC 2004)","author":"O. Lisagor","year":"2004","unstructured":"Lisagor, O., et al.: Safety Analysis of Software Architectures \u2013 Lightweight PSSA. In: The proceedings of the 22nd International System Safety Conference (ISSC 2004). IEEE Computer Society, Los Alamitos (2004)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1145\/253228.253281","volume-title":"19th International Conference on Software Engineering (ICSE)","author":"J.D. Reese","year":"1997","unstructured":"Reese, J.D., Leveson, N.G.: Software Deviation Analysis. In: 19th International Conference on Software Engineering (ICSE), pp. 250\u2013260. IEEE, Los Alamitos (1997)"},{"key":"7_CR14","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. Papadoupoulos","year":"1999","unstructured":"Papadoupoulos, Y., et al.: 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)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Papadopoulos, Y., et al.: Automating the Failure Mode and Effects Analysis of Safety Critical Systems. In: The proceedings of the 8th International Symposium on High Assurance Systems Engineering (HASE 2004), pp. 310\u2013311 (2004)","DOI":"10.1109\/HASE.2004.1281774"},{"key":"7_CR16","unstructured":"Rodriguez-Dapena, R.: Software safety verification in critical software intensive systems. Phd Thesis, Eindhoven Technical University, University Printing Office (2002)"}],"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_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:05:53Z","timestamp":1606183553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87698-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876977","9783540876984"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87698-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}