{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:59:02Z","timestamp":1729630742760,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/etfa.2010.5641211","type":"proceedings-article","created":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T21:11:18Z","timestamp":1291151478000},"page":"1-8","source":"Crossref","is-referenced-by-count":10,"title":["FTOS: Model-driven development of fault-tolerant automation systems"],"prefix":"10.1109","author":[{"given":"C","family":"Buckl","sequence":"first","affiliation":[]},{"given":"D","family":"Sojer","sequence":"additional","affiliation":[]},{"given":"A","family":"Knoll","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"Evaluating costs and benefits of model-based development of embedded software systems in the car industry results of a qualitative case study","author":"kirstan","year":"0","journal-title":"Proceedings of the 6th European Conference on Modeling Foundations and Applications 2010"},{"key":"17","article-title":"Rigorous development of reusable, domain-specific components, for complex applications","author":"johnson","year":"0","journal-title":"CSDUML'04 - 3rd International Workshop on Critical Systems Development with UML 2004"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2005.1563469"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1999.809497"},{"journal-title":"Metagme -gme Metamodeling Environment","year":"2008","key":"15"},{"journal-title":"IEC 61508 Functional Safety of Electrical\/electronic\/programmable Electronic Safety-related Systems","year":"2010","key":"16"},{"journal-title":"Smalltalk 80 The Language and Its Implementation","year":"1983","author":"goldberg","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"journal-title":"OpenArchitectureWare","year":"0","author":"efftinge","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176907"},{"journal-title":"Overview of the Ptolemy Project","year":"2003","author":"lee","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/2.868693"},{"journal-title":"MOF 2 0 \/ XMI Mapping Specification","year":"0","key":"22"},{"journal-title":"UML 2 0 OCL Specification","year":"2003","key":"23"},{"journal-title":"OMG Unified Modelling Language Specification","year":"2007","key":"24"},{"journal-title":"Model Driven Architecture A Technical Perspective","year":"2001","key":"25"},{"journal-title":"Version Control with Subversion","year":"2008","author":"pilato","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805816"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/71.80189"},{"journal-title":"Stand und Anforderungen An Eine Werkzeugunterstuetzung Zur Entwicklung Von Automatisierungssoftware","year":"2010","author":"sojer","key":"29"},{"journal-title":"Model-Based Development of Fault-Tolerant Real-Time Systems","year":"2008","author":"buckl","key":"3"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/11591962_1","article-title":"Component-Based Software Development for Embedded Systems - An Introduction","volume":"3778","author":"atkinson","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Boogiepl A Typed Procedural Language for Checking Object-oriented Programs","year":"2005","author":"deline","key":"10"},{"key":"1","doi-asserted-by":"crossref","first-page":"1502","DOI":"10.1109\/TSE.1985.231894","article-title":"software fault tolerance: an evaluation","volume":"se 11","author":"anderson","year":"1985","journal-title":"IEEE Transactions on Software Engineering"},{"journal-title":"Model-Driven Software Development Technology Engineering Management","year":"2006","author":"stahl","key":"30"},{"journal-title":"Eclipse Modeling Framework","year":"2003","author":"budinsky","key":"7"},{"key":"6","article-title":"Template-based development of fault-tolerant embedded systems","author":"buckl","year":"0","journal-title":"International Conference on Software Engineering Advances ICSEA 2006 Tahiti French Polynesia Oct 2006"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/11591962_8"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.22"},{"journal-title":"Component Software","year":"2002","author":"szyperski","key":"31"},{"key":"4","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/11572329_10","article-title":"The zerberus language: Describing the functional model of dependable real-time systems","author":"buckl","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1147\/sj.352.0151"}],"event":{"name":"Factory Automation (ETFA 2010)","start":{"date-parts":[[2010,9,13]]},"location":"Bilbao","end":{"date-parts":[[2010,9,16]]}},"container-title":["2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5623495\/5640954\/05641211.pdf?arnumber=5641211","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T16:42:22Z","timestamp":1497890542000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5641211\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/etfa.2010.5641211","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}