{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:29:17Z","timestamp":1775838557797,"version":"3.50.1"},"reference-count":42,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2010,4,1]],"date-time":"2010-04-01T00:00:00Z","timestamp":1270080000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliability Engineering & System Safety"],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1016\/j.ress.2009.11.015","type":"journal-article","created":{"date-parts":[[2009,12,7]],"date-time":"2009-12-07T14:44:34Z","timestamp":1260197074000},"page":"431-450","source":"Crossref","is-referenced-by-count":113,"title":["Reliability study of complex physical systems using SysML"],"prefix":"10.1016","volume":"95","author":[{"given":"Pierre","family":"David","sequence":"first","affiliation":[]},{"given":"Vincent","family":"Idasiak","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Kratz","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ress.2009.11.015_bib1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0951-8320(01)00136-3","article-title":"Automated multiple FMEA","volume":"76","author":"Price","year":"2002","journal-title":"Reliability Engineering and System Safety"},{"key":"10.1016\/j.ress.2009.11.015_bib2","first-page":"265","article-title":"Dependability analysis in the early phases of UML based system design","volume":"16","author":"Bondavalli","year":"2001","journal-title":"International Journal of Computer Systems Science & Engineering"},{"key":"10.1016\/j.ress.2009.11.015_bib3","doi-asserted-by":"crossref","first-page":"731","DOI":"10.1016\/S0925-7535(01)00083-2","article-title":"A framework for dependability engineering of critical computing systems","volume":"40","author":"Ka\u00e2niche","year":"2002","journal-title":"Safety Science"},{"key":"10.1016\/j.ress.2009.11.015_bib4","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/j.ress.2005.11.060","article-title":"Integrating safety and formal analyses using UML and PFS","volume":"92","author":"Iwu","year":"2007","journal-title":"Reliability Engineering and System Safety"},{"key":"10.1016\/j.ress.2009.11.015_bib5","doi-asserted-by":"crossref","unstructured":"Signoret J.-P., Dutuit Y., Rauzy A.. High Integrity Protection Systems (HIPS): methods and tools for efficient Safety Integrity Levels (SIL) analysis and calculations. In: Aven & Vinnem, editors. Proceedings of ESREL 2007 Taylor & Francis Group, London, Stavenger, Norway, June 2007.","DOI":"10.4043\/18504-MS"},{"key":"10.1016\/j.ress.2009.11.015_bib6","unstructured":"Bozzano M, Villafiorita A, \u00c5kerlund O, Bieber P, Bougnol C, B\u00f6de E, Bretschneider M, Cavallo A, Castel C, Cifaldi M, Cimatti A, Griffault A, Kehren C, Lawrence B, L\u00fcdtke A, Metge S, Papadopoulos C, Passarello R, Peikenkamp T, Persson P, Seguin C, Trotta L, Valacca L, Zacco G.. ESACS: an integrated methodology for design and safety analysis of complex systems. In: Proceedings of ESREL\u201903, Maastricht, the Netherlands, 15\u201318 June 2003."},{"key":"10.1016\/j.ress.2009.11.015_bib7","unstructured":"IEC 61508. International Electrotechnical Commission. Functional Safety of Electrical \/Electronic \/Programmable Electronic Safety-Related Systems. Parts 1 to 7, 1998."},{"key":"10.1016\/j.ress.2009.11.015_bib8","doi-asserted-by":"crossref","first-page":"1894","DOI":"10.1016\/j.ress.2009.06.005","article-title":"Integrating RAMS engineering and management with the safety life cycle of IEC 61508","volume":"94","author":"Lundteigen","year":"2009","journal-title":"Reliability Engineering and System Safety"},{"key":"10.1016\/j.ress.2009.11.015_bib9","unstructured":"Object Management Group. OMG Unified Modeling Language (OMG UML) Superstructure V2.1.2, 2nd November 2007."},{"key":"10.1016\/j.ress.2009.11.015_bib10","doi-asserted-by":"crossref","unstructured":"Rugina A-E., Kanoun K., Ka\u00e2niche M.. An architecture-based dependability modeling framework using AADL. In: Proceedings of the 10th International Conference on Software Engineering and Applications, Dallas (USA), November 2006.","DOI":"10.1007\/978-3-540-74035-3_2"},{"key":"10.1016\/j.ress.2009.11.015_bib11","unstructured":"Leangsukun C., Song H., Shen L.. Reliability modeling using UML. In: Proceedings of the International conference on Software Engineering Research and Practice, Las Vegas, USA, Jun 2003."},{"key":"10.1016\/j.ress.2009.11.015_bib12","doi-asserted-by":"crossref","unstructured":"Bernardi S., Donatelli S., Merseguer J. From UML.. Sequence Diagrams and StateCharts to analyzable Petri Net models. In: Proceedings of the Third International Workshop on Software on Performance, Rome, Italy, 2002.","DOI":"10.1145\/584369.584376"},{"key":"10.1016\/j.ress.2009.11.015_bib13","unstructured":"Merseguer J., Campos J., Bernardi S., Donatelli S.A.. Compositional Semantics for UML State Machines Aimed at Performance Evaluation. In: Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES\u201902), 2002."},{"key":"10.1016\/j.ress.2009.11.015_bib14","unstructured":"L\u00f3pez-Grao J-P, Merseguer J, Campos J. From UML. Activity Diagrams to Stochastic Petri Nets: Application to software performance engineering. In: Proceedings of the Fourth International Workshop on Software and Performance, Redwood shores, USA, 2004."},{"key":"10.1016\/j.ress.2009.11.015_bib15","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/j.ress.2004.04.011","article-title":"Methods of checking general safety criteria in UML StateChart specifications","volume":"87","author":"Pap","year":"2005","journal-title":"Reliability Engineering and System Safety"},{"key":"10.1016\/j.ress.2009.11.015_bib16","unstructured":"David P., Idasiak V., Kratz F.. Towards a better interaction between design and dependability analysis: FMEA derived from UML\/SysML models. In: Proceedings of ESREL 2008 and 17th SRA-Europe Annual Conference, Valencia, Spain, Sept 2008."},{"key":"10.1016\/j.ress.2009.11.015_bib17","unstructured":"Object Management Group. OMG Systems Modeling Language (OMG SysML), 1st September 2007."},{"key":"10.1016\/j.ress.2009.11.015_bib18","doi-asserted-by":"crossref","unstructured":"Lykins H., Friedenthal S., Meilich A.. Adapting UML for an object-oriented systems engineering method (OOSEM). In: Proceedings of the 10th annual INCOSE symposium, Jul 2000.","DOI":"10.1002\/j.2334-5837.2000.tb00416.x"},{"key":"10.1016\/j.ress.2009.11.015_bib19","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.csi.2005.12.006","article-title":"UML for systems engineering","volume":"29","author":"Willard","year":"2006","journal-title":"Computer Standard and Interface"},{"key":"10.1016\/j.ress.2009.11.015_bib20","unstructured":"International Council on Systems Engineering. INCOSE Requirements Management Tools Survey http:\/\/www.paper-review.com\/tools\/rms\/read.php, visited on 28\/11\/2008."},{"key":"10.1016\/j.ress.2009.11.015_bib21","doi-asserted-by":"crossref","unstructured":"Peak R.S., Burkhart R.M., Friedenthal S.A., Wilson M.W., Bajaj M., Kim I.. Simulation-based design using SysML Part 1 & 2. In: Proceedings of International Symposium of the INCOSE., San Diego, USA, May 2007.","DOI":"10.1002\/j.2334-5837.2007.tb02965.x"},{"key":"10.1016\/j.ress.2009.11.015_bib22","unstructured":"Zarras A., Issarny V. A.. UML-based framework for assessing the reliability of software systems. In: Proceedings of the International Symposium ICSE Workshop on describing Software Architecture with UML, Toronto, Canada, 2001."},{"key":"10.1016\/j.ress.2009.11.015_bib23","doi-asserted-by":"crossref","unstructured":"Zarras A, Vassiliadis P, Issarny V.. Model-driven dependability analysis of web services. In: Proceedings of the International Conference on Distributed Objects and Applications, October 2004.","DOI":"10.1007\/978-3-540-30469-2_48"},{"key":"10.1016\/j.ress.2009.11.015_bib24","unstructured":"Larish M., H\u00e4nle A., Siebold U., H\u00e4ring I.. SysML aided functional safety assessment. In: Proceedings of ESREL 2008 and 17th SRA-Europe Annual Conference, Valencia, Spain, Sept 2008."},{"key":"10.1016\/j.ress.2009.11.015_bib25","unstructured":"IEC 61513. International Electrotechnical Commission. Nuclear power plants \u2013 Instrumentation and control for systems important to safety \u2013 General requirements for systems, 2002."},{"key":"10.1016\/j.ress.2009.11.015_bib26","unstructured":"IEC 61511. International Electrotechnical Commission. Functional safety \u2013 Safety instrumented systems for the process industry sector, 2004."},{"key":"10.1016\/j.ress.2009.11.015_bib27","unstructured":"IEC 62061. International Electrotechnical Commission. Safety of machinery Functional safety of safety-related electrical, electronic and programmable electronic control systems. 2005."},{"key":"10.1016\/j.ress.2009.11.015_bib28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0951-8320(02)00042-X","article-title":"Mode automata and their compilation into fault trees","volume":"78","author":"Rauzy","year":"2002","journal-title":"Reliability Engineering and System Safety"},{"key":"10.1016\/j.ress.2009.11.015_bib29","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0951-8320(03)00143-1","article-title":"A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes","volume":"82","author":"Bouissou","year":"2003","journal-title":"Reliability Engineering and System Safety"},{"key":"10.1016\/j.ress.2009.11.015_bib30","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1016\/j.simpat.2005.01.004","article-title":"A modelling tool for hierarchical stochastic activity networks","volume":"13","author":"Azgomi","year":"2005","journal-title":"Simulation Modelling Practice and Theory"},{"key":"10.1016\/j.ress.2009.11.015_bib31","unstructured":"Bouissou M., Seguin C.. Comparison of the modeling languages AltaRica and Figaro. In: Proceedings of the 15th Lambda Mu, Lille, October 2006."},{"key":"10.1016\/j.ress.2009.11.015_bib32","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1016\/j.ress.2004.12.004","article-title":"The AltaRica data-flow language in use: modeling of production availability of a multi-state system","volume":"91","author":"Boiteau","year":"2006","journal-title":"Reliability Engineering & System Safety"},{"key":"10.1016\/j.ress.2009.11.015_bib33","unstructured":"Tumer I.Y., Stone R.B., Bell D.G.. Requirement for a failure mode taxonomy for use in conceptual design. In: Proceedings of the ICED, Stockholm, August 2003."},{"key":"10.1016\/j.ress.2009.11.015_bib34","unstructured":"Bassetto S. Contribution \u00e0 la qualification et \u00e0 l'am\u00e9lioration des moyens de production \u223c Application \u00e0 une usine de recherche et production de semi conducteurs. Thesis presented at Ecole Nationale Sup\u00e9rieure des Arts et M\u00e9tiers, 28 June 2005."},{"key":"10.1016\/j.ress.2009.11.015_bib35","article-title":"Automating the failure modes end effects analysis of safety critical systems","author":"Papadopoulos","year":"2004","journal-title":"IEEE Hase"},{"key":"10.1016\/j.ress.2009.11.015_bib36","doi-asserted-by":"crossref","unstructured":"Bull D.R., Burrows C.R., Edge K.A., Hawkins P.G., Woolons D.J.. A computational tool for failure modes and effects analysis of hydraulic systems. In: Proceedings of ASME annual winter meeting, Atlanta, November 1996.","DOI":"10.1115\/IMECE1996-0551"},{"key":"10.1016\/j.ress.2009.11.015_bib37","unstructured":"Price C.J.. AutoSteve: automated electrical design analysis. In: Proceedings of the International Symposium ECAI, 2000."},{"key":"10.1016\/j.ress.2009.11.015_bib38","unstructured":"Papadopoulos Y, Parker D, Grante C.. A method and tool support for model-based semi-automated FMEA of engineering designs. In: Cant, T., editor. Ninth Australian Workshop on Safety Related Programmable Systems, 2004."},{"key":"10.1016\/j.ress.2009.11.015_bib39","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0951-8320(95)00068-D","article-title":"Fuzzy logic priorization of failures in a system failure mode, effects and criticality analysis","volume":"50","author":"Bowles","year":"1995","journal-title":"Reliability Engineering and System Safety"},{"key":"10.1016\/j.ress.2009.11.015_bib40","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/S0951-8320(01)00101-6","article-title":"Fuzzy assessment for engine systems","volume":"75","author":"Xu","year":"2002","journal-title":"Reliability Engineering and System Safety"},{"key":"10.1016\/j.ress.2009.11.015_bib41","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1080\/10170660709509064","article-title":"Fuzzy assessment of FMEA for sewage plant","volume":"24","author":"Yeh","year":"2007","journal-title":"Journal of the Chinese Institute of Industrial Engineers"},{"key":"10.1016\/j.ress.2009.11.015_bib42","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0951-8320(02)00179-5","article-title":"Modified failure mode and effects analysis using approximate reasoning","volume":"79","author":"Pillay","year":"2003","journal-title":"Reliability Engineering and System Safety"}],"container-title":["Reliability Engineering & System Safety"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832009002671?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832009002671?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,3,18]],"date-time":"2024-03-18T01:33:54Z","timestamp":1710725634000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0951832009002671"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["S0951832009002671"],"URL":"https:\/\/doi.org\/10.1016\/j.ress.2009.11.015","relation":{},"ISSN":["0951-8320"],"issn-type":[{"value":"0951-8320","type":"print"}],"subject":[],"published":{"date-parts":[[2010,4]]}}}