{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:48:41Z","timestamp":1730220521919,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/etfa.2012.6489543","type":"proceedings-article","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T16:57:59Z","timestamp":1365181079000},"page":"1-8","source":"Crossref","is-referenced-by-count":5,"title":["Fault-centric system modeling using SysML for reliability testing"],"prefix":"10.1109","author":[{"given":"Andreas","family":"Thoma","sequence":"first","affiliation":[]},{"given":"Benjamin","family":"Kormann","sequence":"additional","affiliation":[]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"Automated closed-loop testing of embedded engine control software","author":"rebeschie\ufffd","year":"2006","journal-title":"11 Software & Systems Quality Conferences"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641238"},{"journal-title":"OMG Systems Modeling Language (OMG SysML) v1 2","year":"2010","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9170-5_1"},{"key":"16","first-page":"42","article-title":"Dependable computing: Concepts, limits, challenges","author":"laprie","year":"1995","journal-title":"FTCS-25 25th IEEE International Symposium on Fault-Tolerant Computing-Special Issue"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2011.6119280"},{"key":"14","article-title":"Software fault insertion testing for fault tolerance","author":"lai","year":"1995","journal-title":"Software Fault Tolerance"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549415"},{"key":"12","first-page":"1","article-title":"Automated plc software testing using adapted uml sequence diagrams","volume":"14","author":"kormann","year":"2012","journal-title":"Information Control Problems in Manufacturing 14th IFAC Symposium of"},{"key":"21","article-title":"Model based dependability evaluation for automotive control functions","author":"schlingloff","year":"2005","journal-title":"Modeling and Simulation for Public Safety Conference On Linko?ping"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10430-5_55"},{"key":"22","first-page":"54","article-title":"Domain-specific modeling of technical facilities using sysml","volume":"51","author":"schu?tz","year":"2009","journal-title":"Automatisierungstechnische Praxis (atp)"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/DCDS.2011.5970332"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2010.32014"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059118"},{"key":"26","first-page":"355","article-title":"Software engineering mit uml und dem unified process, chapter 12 arbeitsschritt test","author":"zuser","year":"2004","journal-title":"Pearson Studium"},{"key":"3","article-title":"Model-based development concept for hybrid systems to support process engineers in thermo-mechanical process development","author":"bayrak","year":"2010","journal-title":"Programmable Devices and Embedded Systems 10th IFAC Workshop on"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2010.2073480"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.07.005"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2009.5415229"},{"key":"7","first-page":"26","author":"hunt","year":"1999","journal-title":"The Pragmatic Programmer Chapter the Evils of Duplication"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/2.585157"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/2.386985"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/6.780999"},{"journal-title":"Functional Safety of Electrical \/ Electronic \/ Programmable Electronic Safety-Related Systems","year":"2002","key":"9"},{"journal-title":"Programmable controllers - Part 3 Programming languages","year":"2003","key":"8"}],"event":{"name":"2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012)","start":{"date-parts":[[2012,9,17]]},"location":"Krakow, Poland","end":{"date-parts":[[2012,9,21]]}},"container-title":["Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6479732\/6489522\/06489543.pdf?arnumber=6489543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T14:51:46Z","timestamp":1490194306000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6489543\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/etfa.2012.6489543","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}