57495 20170504101038.0 doi 10.1177/1748006X13492284 sideral 84621 ART-2013-84621 eng (orcid)0000-0001-7982-0359 Rodríguez, R.J. Quantification and compensation of the impact of faults in system throughput 2013 Access copy available to the general public Unrestricted Performability relates the performance (throughput) and reliability of software systems whose normal behaviour may degrade owing to the existence of faults. These systems, naturally modelled as discrete event systems using shared resources, can incorporate fault-tolerant techniques to mitigate such a degradation. In this article, compositional faulttolerant models based on Petri nets, which make its sensitive performability analysis easier, are proposed. Besides, two methods to compensate existence of faults are provided: an iterative algorithm to compute the number of extra resources needed, and an integer-linear programming problem that minimises the cost of incrementing resources and/or decrementing fault-tolerant activities. The applicability of the developed methods is shown on a Petri net that models a secure database system. Keywords Performability, fault-tolerant techniques, Petri nets, integer-linear programming info:eu-repo/grantAgreement/ES/DGA/T27 info:eu-repo/grantAgreement/ES/CICYT-FEDER/DPI2010-20413 info:eu-repo/semantics/openAccess by-nc http://creativecommons.org/licenses/by-nc/3.0/es/ 0.775 2013 ENGINEERING, INDUSTRIAL 31 / 43 = 0.721 2013 Q3 T3 ENGINEERING, MULTIDISCIPLINARY 50 / 87 = 0.575 2013 Q3 T2 OPERATIONS RESEARCH & MANAGEMENT SCIENCE 52 / 79 = 0.658 2013 Q3 T2 info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion (orcid)0000-0002-7093-228X Júlvez, J. Universidad de Zaragoza (orcid)0000-0002-8917-6584 Merseguer, J. Universidad de Zaragoza 5007 570 Universidad de Zaragoza Departamento de Informática e Ingeniería de Sistemas Lenguajes y Sistemas Informáticos 227, 6 (2013), 614-628 PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability 1748-006X 866423 http://zaguan.unizar.es/record/57495/files/texto_completo.pdf Postprint 48727 http://zaguan.unizar.es/record/57495/files/texto_completo.jpg?subformat=icon icon Postprint oai:zaguan.unizar.es:57495 articulos driver 2017-05-04-10:08:08 ARTICLE