{"id":"https://openalex.org/W2279459570","doi":"https://doi.org/10.1109/issrew.2015.7392064","title":"SysML-based and Prolog-supported FMEA","display_name":"SysML-based and Prolog-supported FMEA","publication_year":2015,"publication_date":"2015-11-01","ids":{"openalex":"https://openalex.org/W2279459570","doi":"https://doi.org/10.1109/issrew.2015.7392064","mag":"2279459570"},"language":"en","primary_location":{"id":"doi:10.1109/issrew.2015.7392064","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issrew.2015.7392064","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","raw_type":"proceedings-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/A5047166595","display_name":"Fabio Scippacercola","orcid":null},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Fabio Scippacercola","raw_affiliation_strings":["DIETI Universit\u00e0 degli Studi di Napoli Federico II, Napoli, Italy"],"affiliations":[{"raw_affiliation_string":"DIETI Universit\u00e0 degli Studi di Napoli Federico II, Napoli, Italy","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072680843","display_name":"Roberto Pietrantuono","orcid":"https://orcid.org/0000-0003-2449-1724"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Roberto Pietrantuono","raw_affiliation_strings":["DIETI Universit\u00e0 degli Studi di Napoli Federico II, Napoli, Italy"],"affiliations":[{"raw_affiliation_string":"DIETI Universit\u00e0 degli Studi di Napoli Federico II, Napoli, Italy","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002197803","display_name":"Stefano Russo","orcid":"https://orcid.org/0000-0002-8747-3446"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stefano Russo","raw_affiliation_strings":["DIETI Universit\u00e0 degli Studi di Napoli Federico II, Napoli, Italy"],"affiliations":[{"raw_affiliation_string":"DIETI Universit\u00e0 degli Studi di Napoli Federico II, Napoli, Italy","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101962105","display_name":"Nuno Silva","orcid":"https://orcid.org/0000-0002-8653-1499"},"institutions":[{"id":"https://openalex.org/I188522409","display_name":"Critical Software (Portugal)","ror":"https://ror.org/03er2hr05","country_code":"PT","type":"company","lineage":["https://openalex.org/I188522409"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Nuno Pedro Silva","raw_affiliation_strings":["Critical Software, SA, Coimbra, Portugal"],"affiliations":[{"raw_affiliation_string":"Critical Software, SA, Coimbra, Portugal","institution_ids":["https://openalex.org/I188522409"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5047166595"],"corresponding_institution_ids":["https://openalex.org/I71267560"],"apc_list":null,"apc_paid":null,"fwci":1.7762,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.89087143,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"174","last_page":"181"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10260","display_name":"Software Engineering Research","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.8049895167350769},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7756550908088684},{"id":"https://openalex.org/keywords/systems-modeling-language","display_name":"Systems Modeling Language","score":0.664707362651825},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5843216776847839},{"id":"https://openalex.org/keywords/failure-mode-and-effects-analysis","display_name":"Failure mode and effects analysis","score":0.5427156090736389},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4759647250175476},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.43643322587013245},{"id":"https://openalex.org/keywords/maintainability","display_name":"Maintainability","score":0.4251033663749695},{"id":"https://openalex.org/keywords/reliability-block-diagram","display_name":"Reliability block diagram","score":0.42359820008277893},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3884522020816803},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.376193106174469},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.28305819630622864},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.2345997393131256},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.14288902282714844},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1411338448524475}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.8049895167350769},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7756550908088684},{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.664707362651825},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5843216776847839},{"id":"https://openalex.org/C66283442","wikidata":"https://www.wikidata.org/wiki/Q1389268","display_name":"Failure mode and effects analysis","level":2,"score":0.5427156090736389},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4759647250175476},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.43643322587013245},{"id":"https://openalex.org/C160713754","wikidata":"https://www.wikidata.org/wiki/Q1389965","display_name":"Maintainability","level":2,"score":0.4251033663749695},{"id":"https://openalex.org/C18074226","wikidata":"https://www.wikidata.org/wiki/Q7310986","display_name":"Reliability block diagram","level":3,"score":0.42359820008277893},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3884522020816803},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.376193106174469},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.28305819630622864},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.2345997393131256},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.14288902282714844},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1411338448524475},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/issrew.2015.7392064","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issrew.2015.7392064","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W625928923","https://openalex.org/W1491166521","https://openalex.org/W1565059069","https://openalex.org/W1824014564","https://openalex.org/W1931352553","https://openalex.org/W1968920784","https://openalex.org/W1985039455","https://openalex.org/W2013630932","https://openalex.org/W2015962091","https://openalex.org/W2016274319","https://openalex.org/W2016549754","https://openalex.org/W2024839988","https://openalex.org/W2047467668","https://openalex.org/W2059624066","https://openalex.org/W2070628398","https://openalex.org/W2070874614","https://openalex.org/W2088949287","https://openalex.org/W2103311653","https://openalex.org/W2119950604","https://openalex.org/W2131597135","https://openalex.org/W2135877249","https://openalex.org/W2142199336","https://openalex.org/W2187437458","https://openalex.org/W2280925007","https://openalex.org/W2493732967","https://openalex.org/W2911601159","https://openalex.org/W3129194341","https://openalex.org/W6629335465","https://openalex.org/W6668402307","https://openalex.org/W6677765889","https://openalex.org/W6686953321","https://openalex.org/W6790601233"],"related_works":["https://openalex.org/W2160765347","https://openalex.org/W1784325190","https://openalex.org/W2505444316","https://openalex.org/W2372410743","https://openalex.org/W2064378805","https://openalex.org/W4289519851","https://openalex.org/W3025787437","https://openalex.org/W826257782","https://openalex.org/W2090988448","https://openalex.org/W2953643143"],"abstract_inverted_index":{"Failure":[0],"Mode":[1],"and":[2,28,50,72,77,119,159],"Effects":[3],"Analysis":[4],"(FMEA)":[5],"is":[6,24,102,136],"a":[7,21,25,98,148,161],"well-known":[8],"technique":[9],"for":[10,32,138],"evaluating":[11],"the":[12,54,64,86,95,107,117,130,153],"effects":[13],"of":[14,18,20,56,63,75,78,132],"potential":[15],"failure":[16],"modes":[17],"components":[19,76],"system.":[22],"It":[23],"crucial":[26],"reliability":[27],"safety":[29],"engineering":[30],"activity":[31],"critical":[33],"systems":[34],"requiring":[35],"systematic":[36],"inductive":[37],"reasoning":[38],"from":[39],"postulated":[40],"component":[41],"failures.":[42],"We":[43,146],"present":[44],"an":[45,57],"approach":[46,135],"based":[47,151],"on":[48,152],"SysML":[49,60],"Prolog":[51,99],"to":[52,106,115,124,128],"support":[53],"tasks":[55],"FMEA":[58],"analyst.":[59,108],"block":[61],"diagrams":[62],"system":[65,125,143],"under":[66,157],"analysis":[67],"are":[68],"annotated":[69,96],"with":[70,85],"valid":[71],"error":[73],"states":[74,121],"their":[79],"input":[80],"flows,":[81],"as":[82,84],"well":[83],"logical":[87],"conditions":[88],"that":[89,122],"may":[90],"determine":[91],"erroneous":[92],"outputs.":[93],"From":[94],"model,":[97],"knowledge":[100],"base":[101],"automatically":[103],"built,":[104],"transparently":[105],"This":[109],"can":[110],"then":[111],"be":[112],"queried,":[113],"e.g.,":[114],"obtain":[116],"flows'":[118],"blocks'":[120],"lead":[123],"failures,":[126],"or":[127],"trace":[129],"propagation":[131],"faults.":[133],"The":[134],"suited":[137],"integration":[139],"in":[140],"modern":[141],"model-driven":[142],"design":[144],"processes.":[145],"describe":[147],"proof-of-concept":[149],"implementation":[150],"Papyrus":[154],"modeling":[155],"tool":[156],"Eclipse,":[158],"show":[160],"demo":[162],"example.":[163]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}