Quantification and compensation of the impact of faults in system throughput
Rodríguez Fernández, Ricardo Julio ; Júlvez Bueno, Jorge Emilio (Universidad de Zaragoza) ; Meseguer Hernaiz, José Javier (Universidad de Zaragoza)
Resumen: 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
Idioma: Inglés
DOI: 10.1177/1748006X13492284
Año: 2013
Publicado en: PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY 227, 6 (2013), 614-628
ISSN: 1748-006X
Factor impacto JCR: 0.775 (2013)
Categ. JCR: OPERATIONS RESEARCH & MANAGEMENT SCIENCE rank: 52 / 79 = 0.658 (2013) - Q3 - T2
Categ. JCR: ENGINEERING, INDUSTRIAL rank: 31 / 43 = 0.721 (2013) - Q3 - T3
Categ. JCR: ENGINEERING, MULTIDISCIPLINARY rank: 50 / 86 = 0.581 (2013) - Q3 - T2
Financiación: info:eu-repo/grantAgreement/ES/CICYT-FEDER/DPI2010-20413
Financiación: info:eu-repo/grantAgreement/ES/DGA/T27
Tipo y forma: Article (PostPrint)
Área (Departamento): Lenguajes y Sistemas Informáticos (Departamento de Informática e Ingeniería de Sistemas)
You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. You may not use the material for commercial purposes.
0
Exportado de SIDERAL (2016-11-17-09:35:50)
Keywords Performability, fault-tolerant techniques, Petri nets, integer-linear programming
Idioma: Inglés
DOI: 10.1177/1748006X13492284
Año: 2013
Publicado en: PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY 227, 6 (2013), 614-628
ISSN: 1748-006X
Factor impacto JCR: 0.775 (2013)
Categ. JCR: OPERATIONS RESEARCH & MANAGEMENT SCIENCE rank: 52 / 79 = 0.658 (2013) - Q3 - T2
Categ. JCR: ENGINEERING, INDUSTRIAL rank: 31 / 43 = 0.721 (2013) - Q3 - T3
Categ. JCR: ENGINEERING, MULTIDISCIPLINARY rank: 50 / 86 = 0.581 (2013) - Q3 - T2
Financiación: info:eu-repo/grantAgreement/ES/CICYT-FEDER/DPI2010-20413
Financiación: info:eu-repo/grantAgreement/ES/DGA/T27
Tipo y forma: Article (PostPrint)
Área (Departamento): Lenguajes y Sistemas Informáticos (Departamento de Informática e Ingeniería de Sistemas)
You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. You may not use the material for commercial purposes. 0
Exportado de SIDERAL (2016-11-17-09:35:50)
Este artículo se encuentra en las siguientes colecciones:
Articles > Artículos por área > Lenguajes y Sistemas Informáticos
Record created 2016-11-17, last modified 2016-11-17
Postprint
Postprint