{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T05:17:45Z","timestamp":1781673465128,"version":"3.54.5"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643681863","type":"print"},{"value":"9781643681870","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,6,14]],"date-time":"2021-06-14T00:00:00Z","timestamp":1623628800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,14]]},"abstract":"<jats:p>It is important to be able to judge the performance or dependability metrics of a system and often we do so by using abstract models even when the system is in the conceptual phase. Evaluating a system by performing measurements can have a high temporal and\/or financial cost, which may not be feasible. Mathematical models can provide estimates about system behavior and we need tools supporting different types of formalisms in order to compute desired metrics. The Mercury tool enables a range of models to be created and evaluated for supporting performance and dependability evaluations, such as reliability block diagrams (RBDs), dynamic RBDs (DRBDs), fault trees (FTs), stochastic Petri nets (SPNs), continuous and discrete-time Markov chains (CTMCs and DTMCs), as well as energy flow models (EFMs). In this paper, we introduce recent enhancements to Mercury, namely new SPN simulators, support to prioritized timed transitions, sensitivity analysis evaluation, several improvements to the usability of the tool, and support to DTMC and FT formalisms.<\/jats:p>","DOI":"10.3233\/aise210075","type":"book-chapter","created":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T09:00:39Z","timestamp":1623834039000},"source":"Crossref","is-referenced-by-count":28,"title":["The Mercury Environment: A Modeling Tool for Performance and Dependability Evaluation"],"prefix":"10.3233","author":[{"given":"Thiago","family":"Pinheiro","sequence":"first","affiliation":[{"name":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil"},{"name":"MoDCS research group, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Danilo","family":"Oliveira","sequence":"additional","affiliation":[{"name":"MoDCS research group, Brazil"},{"name":"HighQSoft GmbH, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rubens","family":"Matos","sequence":"additional","affiliation":[{"name":"MoDCS research group, Brazil"},{"name":"Instituto Federal de Educa\u00e7\u00e3o, Ci\u00eancia e Tecnologia de Sergipe, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bruno","family":"Silva","sequence":"additional","affiliation":[{"name":"MoDCS research group, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paulo","family":"Pereira","sequence":"additional","affiliation":[{"name":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil"},{"name":"MoDCS research group, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carlos","family":"Melo","sequence":"additional","affiliation":[{"name":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil"},{"name":"MoDCS research group, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Felipe","family":"Oliveira","sequence":"additional","affiliation":[{"name":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil"},{"name":"MoDCS research group, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eduardo","family":"Tavares","sequence":"additional","affiliation":[{"name":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil"},{"name":"MoDCS research group, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jamilson","family":"Dantas","sequence":"additional","affiliation":[{"name":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil"},{"name":"MoDCS research group, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[{"name":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil"},{"name":"MoDCS research group, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"7437","container-title":["Ambient Intelligence and Smart Environments","Intelligent Environments 2021"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/AISE210075","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T13:21:01Z","timestamp":1635168061000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/AISE210075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,14]]},"ISBN":["9781643681863","9781643681870"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/aise210075","relation":{},"ISSN":["1875-4163","1875-4171"],"issn-type":[{"value":"1875-4163","type":"print"},{"value":"1875-4171","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6,14]]}}}