{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T05:57:34Z","timestamp":1730267854966,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/indin.2017.8104836","type":"proceedings-article","created":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T11:34:58Z","timestamp":1511868898000},"page":"577-582","source":"Crossref","is-referenced-by-count":1,"title":["ArChes \u2014 Automatic generation of component fault trees from continuous function charts"],"prefix":"10.1109","author":[{"given":"Marc","family":"Zeller","sequence":"first","affiliation":[]},{"given":"Kai","family":"Hofig","sequence":"additional","affiliation":[]},{"given":"Jean-Pascal","family":"Schwinn","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"1181","article-title":"A Novel Methodology for Synthesis of Fault Trees from MATLAB-Simulink Model","volume":"2","author":"tajarrod","year":"2008","journal-title":"World Academy of Science Engineering & Technology"},{"key":"ref11","first-page":"41","article-title":"An industry case study on semi-automated generation of component fault trees from simulink- models","author":"buono","year":"2015","journal-title":"Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015"},{"journal-title":"International Electrotechnical Commission (IEC)","article-title":"IEC 61131–3: Programmable controllers - Part 3: Programming languages","year":"2013","key":"ref12"},{"journal-title":"U S Nuclear Regulatory Commission Fault Tree Handbook","year":"1981","author":"vesely","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40793-2_26"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1994.318470"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.23"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20070050"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.1999.776367"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(00)00076-4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2004.tb00493.x"},{"key":"ref8","article-title":"Automatic Fault Tree Generation as a Support for Safety Studies of Railway Interlocking Systems","author":"szabo","year":"2009","journal-title":"IFAC Symposium on Control in Transportation Systems"},{"key":"ref7","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":"ref2","first-page":"37","article-title":"A new component concept for fault trees","author":"kaiser","year":"2003","journal-title":"Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software"},{"journal-title":"International Electrotechnical Commission (IEC)","article-title":"IEC 61508: Functional safety of electrical\/electronic\/programmable electronic safety related systems","year":"1998","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941393"}],"event":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2017,7,24]]},"location":"Emden","end":{"date-parts":[[2017,7,26]]}},"container-title":["2017 IEEE 15th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8095148\/8104734\/08104836.pdf?arnumber=8104836","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,14]],"date-time":"2017-12-14T10:28:46Z","timestamp":1513247326000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8104836\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/indin.2017.8104836","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}