{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T15:44:02Z","timestamp":1773330242612,"version":"3.50.1"},"reference-count":52,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2013,4,24]],"date-time":"2013-04-24T00:00:00Z","timestamp":1366761600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[2013,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Early system design analysis and fault removal is an important step in the iterative design process to avoid costly repairs in the later stages of system development. System complexity is increasing with increased use of software to control the physical system. There is a dearth of techniques to evaluate inconsistencies, incompatibility, and fault proneness of the system design in an integrated manner. The early design analysis technique presented in this paper aids a designer to understand the interplay between the multifaceted components and evaluate his\/her design in an integrated manner. The technique allows simultaneous propagation of different types of faults from various domains and evaluates their functional impact over a period of time. The structure of the technique is explained using domain-specific conceptual metamodels, whereas the execution is based on the event sequence diagram, which is one of the established reliability and safety analysis techniques. One of the notable features of the proposed technique is the object-oriented nature of the system design representation. The technique is demonstrated with the help of a case study, and the execution results of two scenarios are evaluated to demonstrate the analysis capability of the proposed technique.<\/jats:p>","DOI":"10.1017\/s0890060413000152","type":"journal-article","created":{"date-parts":[[2013,4,24]],"date-time":"2013-04-24T08:06:44Z","timestamp":1366790804000},"page":"317-347","source":"Crossref","is-referenced-by-count":21,"title":["An integrated multidomain functional failure and propagation analysis approach for safe system design"],"prefix":"10.1017","volume":"27","author":[{"given":"Chetan","family":"Mutha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Jensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irem","family":"Tumer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carol","family":"Smidts","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2013,4,24]]},"reference":[{"key":"S0890060413000152_ref29","volume-title":"Safeware: System Safety and Computers","author":"Leveson","year":"1995"},{"key":"S0890060413000152_ref38","volume-title":"UML Profile Systems Modeling Language (SysML) Specification","year":"2008"},{"key":"S0890060413000152_ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3581-4"},{"key":"S0890060413000152_ref48","doi-asserted-by":"publisher","DOI":"10.1109\/64.585103"},{"key":"S0890060413000152_ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.245"},{"key":"S0890060413000152_ref46","first-page":"24","article-title":"Fault tree analysis for software design","author":"Towhidnejad","year":"2003","journal-title":"Proc. IEEE Software Engineering Workshop"},{"key":"S0890060413000152_ref50","article-title":"Fault detection by mining association rules from house-keeping data","author":"Yairi","year":"2001","journal-title":"Proc. Int. Symp. Artificial Intelligence Robotics and Automation in Space"},{"key":"S0890060413000152_ref16","first-page":"283","article-title":"A comparative study into architecture-based safety evaluation methodologies using AADL's error annex and failure propagation models","author":"Grunske","year":"2008","journal-title":"Proc. IEEE High Assurance Systems Engineering Symp"},{"key":"S0890060413000152_ref45","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(98)00027-1"},{"key":"S0890060413000152_ref8","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060402165024"},{"key":"S0890060413000152_ref23","first-page":"1033","volume-title":"Proc. Int. ASME'09 Int. Design Engineering Technical Conf. Computers and Information in Engineering Conf","volume":"8","author":"Jensen","year":"2009"},{"key":"S0890060413000152_ref43","first-page":"3054","article-title":"How to make apples from oranges in UML","volume":"3","author":"Selonen","year":"2001","journal-title":"Proc. Int. Conf. System Sciences"},{"key":"S0890060413000152_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0954-1810(97)10011-5"},{"key":"S0890060413000152_ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1985.5222114"},{"key":"S0890060413000152_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s00163-001-0008-3"},{"key":"S0890060413000152_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45034-3_59"},{"key":"S0890060413000152_ref11","doi-asserted-by":"publisher","DOI":"10.13182\/NSE92-A23937"},{"key":"S0890060413000152_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s00163-010-0086-1"},{"key":"S0890060413000152_ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1237174"},{"key":"S0890060413000152_ref10","volume-title":"Military Standard: Procedures for Performing a Failure Mode, Effects, and Criticality Analysis","year":"1980"},{"key":"S0890060413000152_ref51","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(00)00017-X"},{"key":"S0890060413000152_ref32","doi-asserted-by":"publisher","DOI":"10.1109\/3468.798059"},{"key":"S0890060413000152_ref13","volume-title":"FAA System Safety Handbook","year":"2000"},{"key":"S0890060413000152_ref14","volume-title":"Expert Systems: Principles and Programming","author":"Giarratano","year":"1989"},{"key":"S0890060413000152_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060407070011"},{"key":"S0890060413000152_ref24","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941436"},{"key":"S0890060413000152_ref34","article-title":"Design and analysis of safety critical software using UML","author":"Mutha","year":"2010","journal-title":"Proc. Man\u2013Technology\u2013Organization Sessions"},{"key":"S0890060413000152_ref26","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060409000158"},{"key":"S0890060413000152_ref39","volume-title":"UML 2 Superstructure Specification","year":"2009"},{"key":"S0890060413000152_ref22","first-page":"283","volume-title":"Proc ASME'08 Int. Mechanical Engineering Congr. Exposition","volume":"16","author":"Jensen","year":"2008"},{"key":"S0890060413000152_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0_9"},{"key":"S0890060413000152_ref7","doi-asserted-by":"publisher","DOI":"10.1109\/62.373993"},{"key":"S0890060413000152_ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2003.1270740"},{"key":"S0890060413000152_ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZ.2003.1209453"},{"key":"S0890060413000152_ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231845"},{"key":"S0890060413000152_ref12","volume-title":"UML 2 Toolkit","author":"Erikson","year":"2004"},{"key":"S0890060413000152_ref36","volume-title":"NASA Software Safety Guidebook","year":"2004"},{"key":"S0890060413000152_ref35","first-page":"202","volume-title":"IEEE Int. Symp. High-Assurance Systems Engineering","author":"Mutha","year":"2011"},{"key":"S0890060413000152_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90037-7"},{"key":"S0890060413000152_ref49","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1145\/337180.337217","article-title":"Generating statechart designs from scenarios","author":"Whittle","year":"2000","journal-title":"Proc. Int. Conf. Software Engineering, ICSE'00"},{"key":"S0890060413000152_ref3","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060400001657"},{"key":"S0890060413000152_ref19","first-page":"437","volume-title":"Proc. 20th Int. Conf. Design Theory and Methodology 2nd Int. Conf. Micro and Nanosystems","volume":"4","author":"Huang","year":"2008"},{"key":"S0890060413000152_ref42","volume-title":"The Unified Modeling Language Reference Manual","author":"Rumbaugh","year":"1999"},{"key":"S0890060413000152_ref20","volume-title":"Proc. Int. Design Engineering Technical Conf. Computers and Information in Engineering Conf","author":"Hutcheson","year":"2006"},{"key":"S0890060413000152_ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1977.5215060"},{"key":"S0890060413000152_ref37","volume-title":"PRA Procedures Guide: A Guide to the Performance of Probabilistic Risk Assessments for Nuclear Power Plants","year":"1983"},{"key":"S0890060413000152_ref30","doi-asserted-by":"publisher","DOI":"10.1111\/j.1539-6924.2006.00795.x"},{"key":"S0890060413000152_ref33","volume-title":"Proc. Int. Probabilistic Safety Assessment and Management Conf","author":"Mutha","year":"2010"},{"key":"S0890060413000152_ref27","article-title":"A graph-based fault identification and propagation framework for functional design of complex systems","volume":"30","author":"Kurtoglu","year":"2008","journal-title":"Journal of Mechanical Design"},{"key":"S0890060413000152_ref31","volume-title":"Simulation-Based Probabilistic Risk Analysis Report","author":"Mosleh","year":"2004"},{"key":"S0890060413000152_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2009.10.008"},{"key":"S0890060413000152_ref44","doi-asserted-by":"publisher","DOI":"10.1115\/1.1862678"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060413000152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T19:13:19Z","timestamp":1556046799000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060413000152\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,24]]},"references-count":52,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,11]]}},"alternative-id":["S0890060413000152"],"URL":"https:\/\/doi.org\/10.1017\/s0890060413000152","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,24]]}}}