{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T15:22:21Z","timestamp":1773760941531,"version":"3.50.1"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/issrew.2015.7392061","type":"proceedings-article","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T21:42:58Z","timestamp":1454017378000},"page":"152-159","source":"Crossref","is-referenced-by-count":9,"title":["Automated compositional safety analysis using component fault trees"],"prefix":"10.1109","author":[{"given":"Felix","family":"Mohrle","sequence":"first","affiliation":[{"name":"Software Engineering: Dependability, University of Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Zeller","sequence":"additional","affiliation":[{"name":"Siemens AG, Corporate Technology, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Hofig","sequence":"additional","affiliation":[{"name":"Siemens AG, Corporate Technology, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Rothfelder","sequence":"additional","affiliation":[{"name":"Siemens AG, Corporate Technology, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Liggesmeyer","sequence":"additional","affiliation":[{"name":"Fraunhofer IESE, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(00)00076-4"},{"key":"ref11","first-page":"289","article-title":"A behaviour-based method for fault tree generation","author":"rae","year":"2004","journal-title":"Proc 2nd International System Safety Conference"},{"key":"ref12","article-title":"Automatic Fault Tree Generation as a Support for Safety Studies of Railway Interlocking Systems","author":"szabo","year":"0","journal-title":"IFAC Symposium on Transportation Systems 2009"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04468-7_24"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.09.031"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2005.16"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/381766.381770"},{"key":"ref17","article-title":"Fault Tree Handbook with Aerospace Applications","author":"vesely","year":"2002","journal-title":"NASA Office of Safety and Mission Assurance"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40793-2_26"},{"key":"ref19","first-page":"45","article-title":"Operability studies and hazard analysis","volume":"70","author":"lawley","year":"1974","journal-title":"Chemical Engineering Progress"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20070050"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2005.1563469"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30138-7_15"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.1999.776367"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2011.89"},{"key":"ref7","article-title":"Automatic Generation of Static Fault Trees from AADL Models","author":"joshi","year":"2007","journal-title":"DSN Workshop on Architecting Dependable Systems ser Lecture Notes in Computer Science"},{"key":"ref2","first-page":"37","article-title":"A new component concept for fault trees","author":"kaiser","year":"2003","journal-title":"Proceedings of the Australian Workshop on Safety Critical Systems and Software"},{"key":"ref1","article-title":"Cyber-physical systems: driving force for innovation in mobility, health, energy and production","year":"2011"},{"key":"ref9","article-title":"Model-Based Automated Synthesis of Fault Trees from Matlab. Simulink Models","author":"papadopoulos","year":"0","journal-title":"2001 International Conference on Dependable Systems and Networks DSN"},{"key":"ref20","first-page":"707","article-title":"Binary codes capable of correcting deletions, insertions, and reversals","volume":"10","author":"levenshtein","year":"1966","journal-title":"Soviet Physics Doklady"},{"key":"ref21","article-title":"Magic Draw UML","year":"0"}],"event":{"name":"2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","location":"Gaithersburg, MD, USA","start":{"date-parts":[[2015,11,2]]},"end":{"date-parts":[[2015,11,5]]}},"container-title":["2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7375770\/7392022\/07392061.pdf?arnumber=7392061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T12:27:16Z","timestamp":1623155236000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7392061\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/issrew.2015.7392061","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}