{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T06:44:04Z","timestamp":1774421044377,"version":"3.50.1"},"reference-count":75,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"European Union under the Italian National Recovery and Resilience Plan"},{"name":"Telecommunications of the Future"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2025,7]]},"DOI":"10.1109\/tdsc.2025.3532340","type":"journal-article","created":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T13:30:50Z","timestamp":1737466250000},"page":"3431-3448","source":"Crossref","is-referenced-by-count":4,"title":["FaultFlow: An MDE Library for Dependability Evaluation of Component-Based Systems"],"prefix":"10.1109","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5896-4860","authenticated-orcid":false,"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[{"name":"Department of Information Engineering, University of Florence, Firenze, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4467-2204","authenticated-orcid":false,"given":"Stefania","family":"Cerboni","sequence":"additional","affiliation":[{"name":"Department of Information Engineering, University of Florence, Firenze, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7603-9695","authenticated-orcid":false,"given":"Leonardo","family":"Montecchi","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Norwegian University of Science and Technology, Trondheim, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4983-4386","authenticated-orcid":false,"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[{"name":"Department of Information Engineering, University of Florence, Firenze, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"ISO 26262: Road vehicles functional safety","year":"2011"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30599-8_9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40793-2_27"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0128-1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/sysose.2006.1652284"},{"key":"ref8","article-title":"DFTSim: A simulation tool for extended dynamic fault trees","volume-title":"Proc. 42nd Annu. Simul. Symp.","author":"Boudali"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2018.00019"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3543146.3543160"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59854-9_17"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC61798.2024.00041"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3125720"},{"key":"ref14","volume-title":"Guidelines for Process Equipment Reliability Data With Data Tables","year":"1989"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2019.113139"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(94)90021-3"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2004.1348056"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.06.001"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041052"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.21236\/ADA610294"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/24.855536"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-44878-7_4"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.4271\/arp4754b"},{"key":"ref24","article-title":"FaultFlow library","year":"2025"},{"key":"ref25","article-title":"The open source AADL tool environment (OSATE)","author":"Feiler","year":"2019"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3092893.3092900"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776814"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2012.35"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(94)90020-5"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1995.524320"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2005.16"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2011.11.002"},{"key":"ref34","article-title":"Int. Organization for Standardization, ISO 9241 - Ergonomic requirements for office work with visual display terminals (VDTs)","year":"2000"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03241-1"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2017.01.058"},{"key":"ref37","first-page":"37","article-title":"A new component concept for fault trees","volume-title":"Proc. Australian Workshop Saf. Crit. Syst. Softw.","author":"Kaiser"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2015.7151963"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46029-2_13"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/288197.581195"},{"key":"ref42","article-title":"Failure logic modelling: A pragmatic approach","author":"Lisagor","year":"2010"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2013.09.002"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2011.12.020"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2007.03.013"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2011.23"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.4108\/icst.valuetools.2013.254395"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2016.33"},{"key":"ref49","article-title":"UML profile for MARTE: Modeling and analysis of real-time embedded systems v1.0","year":"2009"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2917202"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC53658.2021.00011"},{"key":"ref53","article-title":"Radio Tech. Commis. for Aeronautics, DO-178 C, Software Considerations in Airborne Systems and Equipment Certification","year":"2011"},{"key":"ref54","article-title":"Radio Tech. Commis. for Aeronautics, DO-331: Model-based development and verification supplement to DO-178C and DO-278A","year":"2011"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC-7.2008.14"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.3850\/978-981-11-2724-3_0641-cd"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2015.03.001"},{"key":"ref58","article-title":"SAE International, AADL Error Model Annex, Standards Document AS5506\/1","year":"2006"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/1670679.1670680"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44667-2_9"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/j.suscom.2012.10.004"},{"key":"ref63","first-page":"50","article-title":"Mercury: An integrated environment for performance and dependability evaluation of general systems","volume-title":"Proc. IEEE\/IFIP Int. Conf. Depend. Syst. Netw.","author":"Silva"},{"key":"ref64","article-title":"Fault tree handbook with aerospace applications","author":"Stamatelatos","year":"2002"},{"key":"ref65","volume-title":"Failure Mode and Effect Analysis: FMEA From Theory to Execution","author":"Stamatis","year":"2003"},{"key":"ref66","volume-title":"EMF: Eclipse Modeling Framework","author":"Steinberg","year":"2008"},{"key":"ref67","author":"Stewart","year":"2018","journal-title":"Saf. Annex Architecture Anal. Des. Lang."},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/rams.2004.1285449"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1017\/9781316163047"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530884"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(01)00007-2"},{"key":"ref72","first-page":"29","article-title":"CPN IDE: An extensible replacement for CPN tools that uses Access\/CPN","volume-title":"Proc. Int. Conf. Process Mining Doctoral Consortium Demo Track","author":"Verbeek"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.36"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS51492.2024.10457719"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2004.1285415"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_19"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/8858\/11077775\/10848305.pdf?arnumber=10848305","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,17]],"date-time":"2025-07-17T04:49:57Z","timestamp":1752727797000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10848305\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7]]},"references-count":75,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2025.3532340","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,7]]}}}