{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T02:48:30Z","timestamp":1775098110205,"version":"3.50.1"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Program for Simulation Innovation"},{"name":"Jaguar Land Rover and UK EPSRC","award":["EP\/K014226\/1"],"award-info":[{"award-number":["EP\/K014226\/1"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/tr.2018.2849013","type":"journal-article","created":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T22:21:21Z","timestamp":1531174881000},"page":"1219-1236","source":"Crossref","is-referenced-by-count":22,"title":["A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model"],"prefix":"10.1109","volume":"67","author":[{"given":"Charles E.","family":"Dickerson","sequence":"first","affiliation":[]},{"given":"Rosmira","family":"Roslan","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6139-3539","authenticated-orcid":false,"given":"Siyuan","family":"Ji","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","author":"lemmon","year":"1998","journal-title":"Beginning Logic"},{"key":"ref38","first-page":"312","article-title":"Integration of component fault trees into the\n UML","author":"adler","year":"0","journal-title":"Proc Int'l Conf Model Driven Eng Languages and Systems"},{"key":"ref33","year":"2015","journal-title":"Systems Engineering Handbook A guide for System Life Cycle Processes and Activities"},{"key":"ref32","year":"1996","journal-title":"Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment"},{"key":"ref31","article-title":"OMG Unified Modeling Language (OMG UML) Version 2.5","year":"2015","journal-title":"Object Management Group"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2014.6892466"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlp.2004.12.003"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0951-8320(01)00121-1","article-title":"A dynamic fault tree","volume":"75","author":"?epin","year":"2002","journal-title":"Rel Eng Syst Saf"},{"key":"ref35","year":"2006","journal-title":"Fault Tree Analysis"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1869542.1869577"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489543"},{"key":"ref40","first-page":"124","article-title":"Formal\n fault tree analysis of state transition systems","author":"xiang","year":"0","journal-title":"Proc Int Conf Quality Softw"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.15837\/ijccc.2010.5.2237"},{"key":"ref12","author":"holt","year":"2001","journal-title":"UML for Systems Engineering Watching The Wheels"},{"key":"ref13","author":"friedenthal","year":"2008","journal-title":"A Practical Guide to SysML The Systems Modeling Language"},{"key":"ref14","author":"selic","year":"2014","journal-title":"Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE Developing Cyber-Physical Systems"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/s10270-010-0164-x","article-title":"Modeling\n safety and airworthiness (RTCA DO-178B) information: Conceptual model and UML profile","volume":"10","author":"zoughbi","year":"2011","journal-title":"Softw Syst Model"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2009.156"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32692-9_53"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICRMS.2011.5979366"},{"key":"ref28","article-title":"COMPASS roadmap for research in model-based SoS engineering","author":"ingram","year":"0"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-4230(03)00043-3"},{"key":"ref27","first-page":"1108","article-title":"Fault tree and formal methods in system safety analysis","author":"futatsugi","year":"0","journal-title":"Proc 4th Int Conf Comput Inf Technol"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1080\/09617353.2016.1219934"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(02)00042-X"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2014.tb03148.x"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/24.814522"},{"key":"ref8","article-title":"Comparing selected knowledge-based fault tree construction tools","author":"latif-shabgahi","year":"0","journal-title":"Proc IASTED Int Conf Intell Syst Control"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1998.689458"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2008.12.003"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45480-1_26"},{"key":"ref1","first-page":"1","article-title":"Fault tree analysis–A history","author":"ericson","year":"0","journal-title":"Proc 17th Int Syst Saf Conf"},{"key":"ref20","first-page":"1","article-title":"UML model to fault tree model transformation for dependability analysis","author":"zhao","year":"0","journal-title":"Proc Int Conf Comput Inf Technol"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/AIM.2014.6878163"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.31"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2014.6892475"},{"key":"ref24","first-page":"210","article-title":"Model-based system engineering for fault tree generation and analysis","author":"yakymets","year":"0","journal-title":"Proc 1st Int Conf Model Eng Softw Develop"},{"key":"ref41","author":"weiss","year":"2006","journal-title":"A Course in Probability"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2010.35"},{"key":"ref44","article-title":"Automatic\n generation of static fault trees from AADL","author":"joshi","year":"0","journal-title":"DSN Workshop on Architecting Dependable Systems"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICCES.2010.5674869"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2016.7542918"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.67"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/8452065\/08408483.pdf?arnumber=8408483","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T13:31:02Z","timestamp":1643203862000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8408483\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":44,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tr.2018.2849013","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9]]}}}