{"id":"https://openalex.org/W1521013998","doi":"https://doi.org/10.1109/memea.2015.7145195","title":"Towards a Probabilistic Model Checking-based approach for Medical Device Risk Assessment","display_name":"Towards a Probabilistic Model Checking-based approach for Medical Device Risk Assessment","publication_year":2015,"publication_date":"2015-05-01","ids":{"openalex":"https://openalex.org/W1521013998","doi":"https://doi.org/10.1109/memea.2015.7145195","mag":"1521013998"},"language":"en","primary_location":{"id":"doi:10.1109/memea.2015.7145195","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memea.2015.7145195","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 Medical Measurements and Applications (MeMeA) Proceedings","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/A5040797579","display_name":"Giuseppe Cicotti","orcid":"https://orcid.org/0000-0003-0907-376X"},"institutions":[{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"funder","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Giuseppe Cicotti","raw_affiliation_strings":["National Research Council, Napoli, Italy","National Research Council Napoli Italy"],"affiliations":[{"raw_affiliation_string":"National Research Council, Napoli, Italy","institution_ids":["https://openalex.org/I4210155236"]},{"raw_affiliation_string":"National Research Council Napoli Italy","institution_ids":["https://openalex.org/I4210155236"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088137751","display_name":"Antonio Coronato","orcid":"https://orcid.org/0000-0001-8177-032X"},"institutions":[{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"funder","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonio Coronato","raw_affiliation_strings":["National Research Council, Napoli, Italy","National Research Council Napoli Italy"],"affiliations":[{"raw_affiliation_string":"National Research Council, Napoli, Italy","institution_ids":["https://openalex.org/I4210155236"]},{"raw_affiliation_string":"National Research Council Napoli Italy","institution_ids":["https://openalex.org/I4210155236"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5040797579"],"corresponding_institution_ids":["https://openalex.org/I4210155236"],"apc_list":null,"apc_paid":null,"fwci":0.6124,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.72767537,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"26202649","issue":null,"first_page":"180","last_page":"185"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9977999925613403,"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"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9977999925613403,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9975000023841858,"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/T10142","display_name":"Formal Methods in Verification","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/fault-tree-analysis","display_name":"Fault tree analysis","score":0.772939920425415},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7350491881370544},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6694234609603882},{"id":"https://openalex.org/keywords/probabilistic-risk-assessment","display_name":"Probabilistic risk assessment","score":0.5815096497535706},{"id":"https://openalex.org/keywords/event-tree","display_name":"Event tree","score":0.5409769415855408},{"id":"https://openalex.org/keywords/risk-management","display_name":"Risk management","score":0.49399977922439575},{"id":"https://openalex.org/keywords/risk-assessment","display_name":"Risk assessment","score":0.47813451290130615},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.47725364565849304},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.44847652316093445},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.43849965929985046},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.4302513897418976},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.3618885278701782},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.32779964804649353},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1523107886314392},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14179182052612305},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.14074081182479858}],"concepts":[{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.772939920425415},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7350491881370544},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6694234609603882},{"id":"https://openalex.org/C73722673","wikidata":"https://www.wikidata.org/wiki/Q1082833","display_name":"Probabilistic risk assessment","level":3,"score":0.5815096497535706},{"id":"https://openalex.org/C65898831","wikidata":"https://www.wikidata.org/wiki/Q574852","display_name":"Event tree","level":3,"score":0.5409769415855408},{"id":"https://openalex.org/C32896092","wikidata":"https://www.wikidata.org/wiki/Q189447","display_name":"Risk management","level":2,"score":0.49399977922439575},{"id":"https://openalex.org/C12174686","wikidata":"https://www.wikidata.org/wiki/Q1058438","display_name":"Risk assessment","level":2,"score":0.47813451290130615},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.47725364565849304},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.44847652316093445},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.43849965929985046},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.4302513897418976},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.3618885278701782},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.32779964804649353},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1523107886314392},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14179182052612305},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.14074081182479858},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memea.2015.7145195","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memea.2015.7145195","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 Medical Measurements and Applications (MeMeA) Proceedings","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Good health and well-being","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/3"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1516256348","https://openalex.org/W1517232740","https://openalex.org/W1862398452","https://openalex.org/W1978353289","https://openalex.org/W1979296701","https://openalex.org/W2000540645","https://openalex.org/W2020129240","https://openalex.org/W2029120383","https://openalex.org/W2044436476","https://openalex.org/W2105708045","https://openalex.org/W2142486837","https://openalex.org/W2145167856","https://openalex.org/W2152373297","https://openalex.org/W2158719122","https://openalex.org/W2165600364"],"related_works":["https://openalex.org/W2237265088","https://openalex.org/W1527683666","https://openalex.org/W2124953231","https://openalex.org/W3146515670","https://openalex.org/W1488124017","https://openalex.org/W2966190037","https://openalex.org/W2241516311","https://openalex.org/W2621144308","https://openalex.org/W2145439966","https://openalex.org/W2158801818"],"abstract_inverted_index":{"Medical":[0],"Devices":[1],"(MDs)":[2],"are":[3],"subject":[4],"to":[5,10,16,52,100,106,144,162,182,190,213,246,258,265,272,282,299,308],"a":[6,78,125,138,177,187,228,305],"Risk":[7,28,130],"Management":[8],"process":[9,67],"guarantee":[11],"their":[12],"safety":[13],"with":[14],"respect":[15],"risks":[17],"patients":[18],"and":[19,42,47,69,97,169,277],"healthcare":[20],"operators":[21],"may":[22],"experience.":[23],"Well":[24],"known":[25],"classical":[26],"Probabilistic":[27,139],"Assessment":[29,131],"(PRA)":[30],"techniques":[31],"widely":[32],"used":[33,92,175,257],"in":[34,85,93,116,210],"the":[35,54,70,94,107,117,135,155,164,170,192,214,235,241,249,262,291,310],"MD":[36,118,129,263,292,302],"sector,":[37],"such":[38,223],"as":[39,176,304],"Failure":[40],"Model":[41,140],"Effective":[43],"Critical":[44],"Analysis":[45],"(FMEA)":[46],"Fault-Tree/Event-Tree":[48],"do":[49],"not":[50,114],"allow":[51],"model":[53,179],"dynamics":[55,165],"of":[56,109,137,148,157,166,203,217,234,238,251,312],"hazardous":[57],"situations":[58],"which":[59,83,132,181],"involves":[60],"interactions":[61],"among":[62],"system":[63],"components,":[64],"human":[65],"actions,":[66],"operations":[68],"environment.":[71],"This":[72],"lack":[73],"is":[74,90,113,225,271],"overcome":[75],"by":[76,180],"using":[77,186],"dynamic":[79],"PRA":[80],"(DPRA)":[81],"approach":[82,127,153,298],"aids":[84],"specifying":[86],"risk":[87,149,167,194,242,266,285],"scenarios.":[88,150],"DPRA":[89,126,314],"extensively":[91],"nuclear,":[95],"avionics,":[96],"space":[98,245],"industries":[99],"identify":[101],"possible":[102],"accident":[103],"scenarios,":[104,195],"but":[105],"best":[108],"our":[110,152,297,313],"knowledge":[111],"it":[112],"so":[115],"field.":[119],"In":[120],"this":[121],"paper":[122],"we":[123,196,231],"propose":[124],"for":[128],"relies":[133],"on":[134,227],"use":[136],"Checking":[141],"(PMC)":[142],"technique":[143,189,224],"perform":[145,283],"quantitative":[146,284],"analysis":[147,237,287],"Particularly,":[151],"combines":[154],"ease":[156],"Event":[158],"Sequence":[159],"Diagram":[160],"(ESD)":[161],"capture":[163],"scenarios":[168],"Markov":[171],"Decision":[172],"Processes":[173],"formalism":[174],"stochastic":[178],"encode":[183],"ESD.":[184],"By":[185],"PMC":[188,219],"evaluate":[191],"MDP-based":[193],"achieve":[197],"two":[198],"main":[199],"benefits.":[200],"Firstly,":[201],"hundreds":[202],"different":[204],"scenario":[205,243,286],"realisations":[206],"can":[207],"be":[208],"analysed":[209],"seconds":[211],"due":[212],"computational":[215],"effectiveness":[216,250],"current":[218],"algorithms.":[220],"Secondly,":[221],"since":[222],"based":[226],"state-transition":[229],"representation,":[230],"take":[232],"advantage":[233],"reachability":[236],"states":[239],"within":[240],"state":[244],"also":[247],"quantify":[248],"control":[252],"mechanisms":[253],"or":[254],"mitigation":[255],"actions":[256],"prevent":[259],"and/or":[260],"reduce":[261],"exposition":[264],"factors.":[267],"Our":[268],"ultimate":[269],"objective":[270],"derive":[273],"an":[274,300],"intuitive,":[275],"easy,":[276],"computationally":[278],"efficient":[279],"formal":[280],"method":[281],"oriented":[288],"towards":[289],"increasing":[290],"safety.":[293],"We":[294],"have":[295],"applied":[296],"actual":[301],"taken":[303],"case":[306],"study":[307],"demonstrate":[309],"features":[311],"solution.":[315]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}