{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:57:23Z","timestamp":1729637843855,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1109\/icmech.2015.7083940","type":"proceedings-article","created":{"date-parts":[[2015,4,22]],"date-time":"2015-04-22T20:34:14Z","timestamp":1429734854000},"page":"15-22","source":"Crossref","is-referenced-by-count":4,"title":["Dependability aspects of model-based systems design for mechatronic systems"],"prefix":"10.1109","author":[{"given":"Klaus","family":"Janschek","sequence":"first","affiliation":[]},{"given":"Andrey","family":"Morozov","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2007.4"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"year":"0","key":"ref31","article-title":"Modeling a fault-tolerant fuel control system"},{"key":"ref30","article-title":"Error Propagation Analysis of Multi-rate Time Discrete Block Diagrams","author":"morozov","year":"2014","journal-title":"Unpublished (submitted to IEEE Transactions on Reliability"},{"key":"ref35","article-title":"Reliability and Performance Optimization for Software-implemented Hardware Fault Detectors","author":"morozov","year":"2015","journal-title":"Unpublished (submitted to Springer Software Engineering for Self-Adaptive Systems"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-3-642-15651-9_13","article-title":"ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software","volume":"6351","author":"schiffel","year":"2010","journal-title":"Computer Safety Reliability and Security"},{"article-title":"Fault Tree Analysis","year":"1974","author":"larsen","key":"ref10"},{"key":"ref11","article-title":"System Safety and Risk Management. NIOSH Instructional Module","author":"clemens","year":"1998","journal-title":"A guide for Engineering Educators (Cincinnati OH National Institute for Occupational Safety and Health)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MECATRONICS.2014.7018562"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2011.32"},{"key":"ref14","article-title":"Dependability modeling with the architecture analysis & design language (aad)","author":"feiler","year":"2007","journal-title":"Carnegie Mellon University Tech Rep"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2000.895445"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2009.32"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/24.756088"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2013.6622976"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.2004.1357923"},{"key":"ref28","first-page":"9893","article-title":"Dual Graph Error Propagation Model for Mechatronic System Analysis","author":"morozov","year":"0","journal-title":"Proceedings of the 18th IFAC World Congress August 28 - September 2 2011"},{"journal-title":"OMG Unified modeling language (UML) Core specification","year":"2010","key":"ref4"},{"key":"ref27","article-title":"Architecture-based Approach to Software Errors Localization","author":"morozov","year":"2010","journal-title":"Fast Abstract Session - ID 515 21st IEEE International Symposium on Software Reliability Engineering (ISSRE 2010)"},{"article-title":"Strategies for Real-Time System Specification","year":"1987","author":"hatley","key":"ref3"},{"journal-title":"Design patterns for integrating simulink with state ow MATLAB Digest","year":"2009","author":"carone","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2014.09.005"},{"journal-title":"OMG Systems modeling language (SysML) Core specification","year":"2010","key":"ref5"},{"key":"ref8","first-page":"42","article-title":"Dependable Computing: Concepts, Limits, Challenges, Invited paper to FTCS-25","author":"laprie","year":"1995","journal-title":"IEEE International Symposium on Fault-tolerant Computing"},{"article-title":"Dependability: Basic Concepts and Terminology","year":"1992","author":"laprie","key":"ref7"},{"article-title":"Modem Structured Analysis","year":"1989","author":"yourdon","key":"ref2"},{"key":"ref9","first-page":"198","article-title":"Reliability Engineering and Risk Analysis","author":"modarres","year":"1999"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17531-2"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2005.18"},{"key":"ref22","article-title":"Tracking the propagation of data errors in software","author":"hiller","year":"2005","journal-title":"Dependable Computing Systems Paradigms Performance Issues and Applications"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941402"},{"article-title":"Role and impact of error propagation in software architecture reliability, TRCS 007\/2006","year":"2006","author":"cortellessa","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.46"},{"key":"ref26","article-title":"Case study results for probabilistic error propagation analysis of a mechatronic system","author":"morozov","year":"2013","journal-title":"VDI Fachtagung Mechatronik 2013 Aachen Germany"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/978-3-540-73551-9_10","article-title":"A modeling approach to analyze the impact of error propagation on reliability of component-based systems","author":"cortellessa","year":"2007","journal-title":"Proceedings of the 10th International Conference on Component-based Software Engineering"}],"event":{"name":"2015 IEEE International Conference on Mechatronics (ICM)","start":{"date-parts":[[2015,3,6]]},"location":"Nagoya, Japan","end":{"date-parts":[[2015,3,8]]}},"container-title":["2015 IEEE International Conference on Mechatronics (ICM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7068058\/7083935\/07083940.pdf?arnumber=7083940","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T10:02:50Z","timestamp":1498212170000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7083940\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/icmech.2015.7083940","relation":{},"subject":[],"published":{"date-parts":[[2015,3]]}}}