{"id":"https://openalex.org/W4406657338","doi":"https://doi.org/10.1109/tdsc.2025.3532340","title":"FaultFlow: An MDE Library for Dependability Evaluation of Component-Based Systems","display_name":"FaultFlow: An MDE Library for Dependability Evaluation of Component-Based Systems","publication_year":2025,"publication_date":"2025-01-21","ids":{"openalex":"https://openalex.org/W4406657338","doi":"https://doi.org/10.1109/tdsc.2025.3532340"},"language":"en","primary_location":{"id":"doi:10.1109/tdsc.2025.3532340","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2025.3532340","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023394171","display_name":"Laura Carnevali","orcid":"https://orcid.org/0000-0002-5896-4860"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Laura Carnevali","raw_affiliation_strings":["Department of Information Engineering, University of Florence, Firenze, Italy","Department of Information Engineering, University of Florence, Via di Santa Marta 3, Firenze, Italy"],"raw_orcid":"https://orcid.org/0000-0002-5896-4860","affiliations":[{"raw_affiliation_string":"Department of Information Engineering, University of Florence, Firenze, Italy","institution_ids":["https://openalex.org/I45084792"]},{"raw_affiliation_string":"Department of Information Engineering, University of Florence, Via di Santa Marta 3, Firenze, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5098751960","display_name":"Stefania Cerboni","orcid":null},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stefania Cerboni","raw_affiliation_strings":["Department of Information Engineering, University of Florence, Firenze, Italy","Department of Information Engineering, University of Florence, Via di Santa Marta 3, Firenze, Italy"],"raw_orcid":"https://orcid.org/0009-0003-4467-2204","affiliations":[{"raw_affiliation_string":"Department of Information Engineering, University of Florence, Firenze, Italy","institution_ids":["https://openalex.org/I45084792"]},{"raw_affiliation_string":"Department of Information Engineering, University of Florence, Via di Santa Marta 3, Firenze, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076688244","display_name":"Leonardo Montecchi","orcid":"https://orcid.org/0000-0002-7603-9695"},"institutions":[{"id":"https://openalex.org/I204778367","display_name":"Norwegian University of Science and Technology","ror":"https://ror.org/05xg72x27","country_code":"NO","type":"education","lineage":["https://openalex.org/I204778367"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Leonardo Montecchi","raw_affiliation_strings":["Department of Computer Science, Norwegian University of Science and Technology, Trondheim, Norway"],"raw_orcid":"https://orcid.org/0000-0002-7603-9695","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Norwegian University of Science and Technology, Trondheim, Norway","institution_ids":["https://openalex.org/I204778367"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037029993","display_name":"Enrico Vicario","orcid":"https://orcid.org/0000-0002-4983-4386"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Enrico Vicario","raw_affiliation_strings":["Department of Information Engineering, University of Florence, Firenze, Italy","Department of Information Engineering, University of Florence, Via di Santa Marta 3, Firenze, Italy"],"raw_orcid":"https://orcid.org/0000-0002-4983-4386","affiliations":[{"raw_affiliation_string":"Department of Information Engineering, University of Florence, Firenze, Italy","institution_ids":["https://openalex.org/I45084792"]},{"raw_affiliation_string":"Department of Information Engineering, University of Florence, Via di Santa Marta 3, Firenze, Italy","institution_ids":["https://openalex.org/I45084792"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.2308,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.94272342,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"22","issue":"4","first_page":"3431","last_page":"3448"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9871000051498413,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.984499990940094,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.8784385919570923},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.7567880153656006},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6897569894790649},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.38716909289360046},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.33239105343818665},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.20032092928886414},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11092475056648254}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.8784385919570923},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7567880153656006},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6897569894790649},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.38716909289360046},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.33239105343818665},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.20032092928886414},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11092475056648254},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tdsc.2025.3532340","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2025.3532340","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},{"id":"pmh:oai:flore.unifi.it:2158/1416197","is_oa":false,"landing_page_url":"https://hdl.handle.net/2158/1416197","pdf_url":null,"source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":63,"referenced_works":["https://openalex.org/W186920959","https://openalex.org/W994990881","https://openalex.org/W1485650462","https://openalex.org/W1598180298","https://openalex.org/W1862398452","https://openalex.org/W1970752360","https://openalex.org/W1977527690","https://openalex.org/W1990874150","https://openalex.org/W1994484828","https://openalex.org/W2001851020","https://openalex.org/W2016492784","https://openalex.org/W2017335133","https://openalex.org/W2037280272","https://openalex.org/W2063917454","https://openalex.org/W2072488475","https://openalex.org/W2075516222","https://openalex.org/W2079636926","https://openalex.org/W2081907259","https://openalex.org/W2084791569","https://openalex.org/W2106641552","https://openalex.org/W2107519637","https://openalex.org/W2113315940","https://openalex.org/W2118390486","https://openalex.org/W2121337044","https://openalex.org/W2123288296","https://openalex.org/W2123733250","https://openalex.org/W2134991157","https://openalex.org/W2137658102","https://openalex.org/W2139872812","https://openalex.org/W2145071552","https://openalex.org/W2154538165","https://openalex.org/W2158007538","https://openalex.org/W2161833190","https://openalex.org/W2164463086","https://openalex.org/W2466646936","https://openalex.org/W2488668998","https://openalex.org/W2511317331","https://openalex.org/W2537758980","https://openalex.org/W2583115580","https://openalex.org/W2612810685","https://openalex.org/W2742724389","https://openalex.org/W2900506207","https://openalex.org/W2945844330","https://openalex.org/W2991185113","https://openalex.org/W2997951331","https://openalex.org/W3096292474","https://openalex.org/W3212249443","https://openalex.org/W3215264355","https://openalex.org/W4206542816","https://openalex.org/W4231660344","https://openalex.org/W4238097735","https://openalex.org/W4238198829","https://openalex.org/W4249235879","https://openalex.org/W4281660084","https://openalex.org/W4390024190","https://openalex.org/W4392910718","https://openalex.org/W4398198717","https://openalex.org/W6635964696","https://openalex.org/W6638225116","https://openalex.org/W6681042650","https://openalex.org/W6755778491","https://openalex.org/W6802936946","https://openalex.org/W7065148261"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4252527915","https://openalex.org/W2409287660","https://openalex.org/W2233357156","https://openalex.org/W1976489385","https://openalex.org/W4256317220","https://openalex.org/W1506225852","https://openalex.org/W2080951167"],"abstract_inverted_index":{"We":[0,182],"present":[1],"a":[2,87,140],"Model":[3],"Driven":[4],"Engineering":[5],"(MDE)":[6],"approach":[7],"to":[8,64,83,115,144],"dependability":[9,177,200],"evaluation":[10,28,119,188,201],"of":[11,38,67,73,77,80,86,91,128,139,154,174,198],"component-based":[12],"coherent":[13],"dyadic":[14],"systems,":[15],"implemented":[16],"by":[17],"the":[18,31,62,65,71,78,81,84,132,146,175,184],"FaultFlow":[19],"library,":[20],"combining":[21],"simple":[22],"high-level":[23],"modeling":[24,37,186],"with":[25,126,190,196],"powerful":[26],"quantitative":[27],"methods.":[29],"In":[30,131],"functional":[32],"perspective,":[33,134],"distinctive":[34,135],"features":[35,136],"are:":[36,137],"fault":[39,92,99,114],"propagations":[40],"within":[41],"individual":[42],"components":[43],"and":[44,69,149,166,187],"between":[45],"different":[46,129],"components,":[47,117],"possibly":[48],"not":[49,101,111],"connected":[50],"through":[51],"physical":[52],"or":[53],"communication":[54],"interfaces;":[55],"support":[56],"for":[57,61,70,95,122],"non-Markovian":[58],"distributions,":[59],"both":[60],"times":[63],"occurrence":[66,85],"faults":[68],"duration":[72],"fault-to-failure":[74],"propagations;":[75],"derivation":[76,90,153,173],"distribution":[79],"time":[82],"given":[88],"failure;":[89],"importance":[93],"measures,":[94],"models":[96],"where":[97],"each":[98,108],"does":[100,110],"propagate":[102],"into":[103],"multiple":[104,116],"failures":[105],"and,":[106],"viceversa,":[107],"failure":[109,150],"act":[112],"as":[113],"achieving":[118],"efficiency":[120],"even":[121],"significantly":[123],"complex":[124],"systems":[125],"hundreds":[127],"faults.":[130],"implementation":[133],"definition":[138],"custom-made":[141],"extensible":[142],"metamodel":[143,155],"specify":[145],"system":[147],"structure":[148],"logic;":[151],"automated":[152,172],"instances":[156],"from":[157],"Systems":[158],"Modeling":[159],"Language":[160],"(SysML)":[161],"Block":[162],"Definition":[163],"Diagrams":[164],"(BDDs)":[165],"Stochastic":[167],"Static":[168],"Fault":[169],"Trees":[170],"(SSFTs);":[171],"mentioned":[176],"measures;":[178],"open":[179],"source":[180],"availability.":[181],"illustrate":[183],"typical":[185],"workflow":[189],"relevant":[191],"uses":[192],"cases,":[193],"comparing":[194],"functionalities":[195],"those":[197],"other":[199],"tools.":[202]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}