{"id":"https://openalex.org/W3170146731","doi":"https://doi.org/10.3233/aise210075","title":"The Mercury Environment: A Modeling Tool for Performance and Dependability Evaluation","display_name":"The Mercury Environment: A Modeling Tool for Performance and Dependability Evaluation","publication_year":2021,"publication_date":"2021-06-14","ids":{"openalex":"https://openalex.org/W3170146731","doi":"https://doi.org/10.3233/aise210075","mag":"3170146731"},"language":"en","primary_location":{"id":"doi:10.3233/aise210075","is_oa":true,"landing_page_url":"https://doi.org/10.3233/aise210075","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/AISE210075","source":{"id":"https://openalex.org/S4210168452","display_name":"Ambient intelligence and smart environments","issn_l":"1875-4163","issn":["1875-4163","1875-4171"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ambient Intelligence and Smart Environments","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/AISE210075","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031297194","display_name":"Thiago Pinheiro","orcid":"https://orcid.org/0000-0003-4093-1670"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Thiago Pinheiro","raw_affiliation_strings":["Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","MoDCS research group, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]},{"raw_affiliation_string":"MoDCS research group, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101706728","display_name":"Danilo Oliveira","orcid":"https://orcid.org/0000-0001-8059-634X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Danilo Oliveira","raw_affiliation_strings":["HighQSoft GmbH, Germany","MoDCS research group, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"HighQSoft GmbH, Germany","institution_ids":[]},{"raw_affiliation_string":"MoDCS research group, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047702689","display_name":"Rubens Matos","orcid":"https://orcid.org/0000-0002-9535-632X"},"institutions":[{"id":"https://openalex.org/I190085865","display_name":"Universidade Federal de Sergipe","ror":"https://ror.org/028ka0n85","country_code":"BR","type":"education","lineage":["https://openalex.org/I190085865"]},{"id":"https://openalex.org/I4391767700","display_name":"Instituto Federal de Educa\u00e7\u00e3o, Ci\u00eancia e Tecnologia de Sergipe","ror":"https://ror.org/029ez4v67","country_code":null,"type":"education","lineage":["https://openalex.org/I4391767700"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Rubens Matos","raw_affiliation_strings":["Instituto Federal de Educa\u00e7\u00e3o, Ci\u00eancia e Tecnologia de Sergipe, Brazil","MoDCS research group, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto Federal de Educa\u00e7\u00e3o, Ci\u00eancia e Tecnologia de Sergipe, Brazil","institution_ids":["https://openalex.org/I190085865","https://openalex.org/I4391767700"]},{"raw_affiliation_string":"MoDCS research group, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100444501","display_name":"Bruno Silva","orcid":"https://orcid.org/0000-0002-0551-8445"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bruno Silva","raw_affiliation_strings":["MoDCS research group, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MoDCS research group, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101531786","display_name":"Paulo Pereira","orcid":"https://orcid.org/0000-0002-7415-1640"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Paulo Pereira","raw_affiliation_strings":["Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","MoDCS research group, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]},{"raw_affiliation_string":"MoDCS research group, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101507802","display_name":"Carlos Melo","orcid":"https://orcid.org/0000-0001-5611-4793"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Carlos Melo","raw_affiliation_strings":["Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","MoDCS research group, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]},{"raw_affiliation_string":"MoDCS research group, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019118871","display_name":"Felipe Oliveira","orcid":"https://orcid.org/0000-0002-0282-6717"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Felipe Oliveira","raw_affiliation_strings":["Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","MoDCS research group, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]},{"raw_affiliation_string":"MoDCS research group, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024297894","display_name":"Eduardo Tavares","orcid":null},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Eduardo Tavares","raw_affiliation_strings":["Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","MoDCS research group, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]},{"raw_affiliation_string":"MoDCS research group, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011821071","display_name":"Jamilson Dantas","orcid":"https://orcid.org/0000-0001-9009-7659"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jamilson Dantas","raw_affiliation_strings":["Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","MoDCS research group, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]},{"raw_affiliation_string":"MoDCS research group, Brazil","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054133174","display_name":"Paulo Maciel","orcid":"https://orcid.org/0000-0003-3159-6065"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Paulo Maciel","raw_affiliation_strings":["Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","MoDCS research group, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]},{"raw_affiliation_string":"MoDCS research group, Brazil","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":10.0187,"has_fulltext":true,"cited_by_count":33,"citation_normalized_percentile":{"value":0.99081365,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9873999953269958,"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.9873999953269958,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9869999885559082,"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"}},{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.9858999848365784,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.8838194608688354},{"id":"https://openalex.org/keywords/reliability-block-diagram","display_name":"Reliability block diagram","score":0.7636304497718811},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.7434313297271729},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7378897666931152},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.6728075742721558},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6230427622795105},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5855837464332581},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.5182921290397644},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4317966401576996},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38109922409057617},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.35670551657676697},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3278622627258301},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.23614943027496338},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1519378423690796},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1103496253490448}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.8838194608688354},{"id":"https://openalex.org/C18074226","wikidata":"https://www.wikidata.org/wiki/Q7310986","display_name":"Reliability block diagram","level":3,"score":0.7636304497718811},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7434313297271729},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7378897666931152},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.6728075742721558},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6230427622795105},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5855837464332581},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.5182921290397644},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4317966401576996},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38109922409057617},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.35670551657676697},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3278622627258301},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.23614943027496338},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1519378423690796},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1103496253490448},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/aise210075","is_oa":true,"landing_page_url":"https://doi.org/10.3233/aise210075","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/AISE210075","source":{"id":"https://openalex.org/S4210168452","display_name":"Ambient intelligence and smart environments","issn_l":"1875-4163","issn":["1875-4163","1875-4171"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ambient Intelligence and Smart Environments","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.3233/aise210075","is_oa":true,"landing_page_url":"https://doi.org/10.3233/aise210075","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/AISE210075","source":{"id":"https://openalex.org/S4210168452","display_name":"Ambient intelligence and smart environments","issn_l":"1875-4163","issn":["1875-4163","1875-4171"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ambient Intelligence and Smart Environments","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.4300000071525574,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3170146731.pdf","grobid_xml":"https://content.openalex.org/works/W3170146731.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W95898642","https://openalex.org/W1553057651","https://openalex.org/W1574146411","https://openalex.org/W1986755980","https://openalex.org/W1987541289","https://openalex.org/W1988914905","https://openalex.org/W2010299227","https://openalex.org/W2017406207","https://openalex.org/W2057462363","https://openalex.org/W2122140467","https://openalex.org/W2125739093","https://openalex.org/W2143404402","https://openalex.org/W2159854031","https://openalex.org/W2160374010","https://openalex.org/W2181651290","https://openalex.org/W2613415266","https://openalex.org/W2885524153","https://openalex.org/W2900690355","https://openalex.org/W4234483287","https://openalex.org/W6632501209","https://openalex.org/W6650912079","https://openalex.org/W6835588227"],"related_works":["https://openalex.org/W2583115580","https://openalex.org/W2120659790","https://openalex.org/W2977600493","https://openalex.org/W2160453313","https://openalex.org/W2382253530","https://openalex.org/W2746445460","https://openalex.org/W2012057464","https://openalex.org/W2058732996","https://openalex.org/W2922565795","https://openalex.org/W51919996"],"abstract_inverted_index":{"It":[0],"is":[1,29],"important":[2],"to":[3,6,72,84,133,140,149,157],"be":[4,51,85],"able":[5],"judge":[7],"the":[8,27,31,150,153],"performance":[9,91],"or":[10],"dependability":[11,93],"metrics":[12],"of":[13,68,82,152],"a":[14,35,42,80],"system":[15,28,36,59],"and":[16,61,87,92,112,117,155,159],"often":[17],"we":[18,62,129],"do":[19],"so":[20],"by":[21,37],"using":[22],"abstract":[23],"models":[24,54,83,124],"even":[25],"when":[26],"in":[30,70],"conceptual":[32],"phase.":[33],"Evaluating":[34],"performing":[38],"measurements":[39],"can":[40,55],"have":[41],"high":[43],"temporal":[44],"and/or":[45],"financial":[46],"cost,":[47],"which":[48],"may":[49],"not":[50],"feasible.":[52],"Mathematical":[53],"provide":[56],"estimates":[57],"about":[58],"behavior":[60],"need":[63],"tools":[64],"supporting":[65,90],"different":[66],"types":[67],"formalisms":[69],"order":[71],"compute":[73],"desired":[74],"metrics.":[75],"The":[76],"Mercury":[77],"tool":[78],"enables":[79],"range":[81],"created":[86],"evaluated":[88],"for":[89],"evaluations,":[94],"such":[95],"as":[96,119,121],"reliability":[97],"block":[98],"diagrams":[99],"(RBDs),":[100],"dynamic":[101],"RBDs":[102],"(DRBDs),":[103],"fault":[104],"trees":[105],"(FTs),":[106],"stochastic":[107],"Petri":[108],"nets":[109],"(SPNs),":[110],"continuous":[111],"discrete-time":[113],"Markov":[114],"chains":[115],"(CTMCs":[116],"DTMCs),":[118],"well":[120],"energy":[122],"flow":[123],"(EFMs).":[125],"In":[126],"this":[127],"paper,":[128],"introduce":[130],"recent":[131],"enhancements":[132],"Mercury,":[134],"namely":[135],"new":[136],"SPN":[137],"simulators,":[138],"support":[139,156],"prioritized":[141],"timed":[142],"transitions,":[143],"sensitivity":[144],"analysis":[145],"evaluation,":[146],"several":[147],"improvements":[148],"usability":[151],"tool,":[154],"DTMC":[158],"FT":[160],"formalisms.":[161]},"counts_by_year":[{"year":2026,"cited_by_count":5},{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":4}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}