000057495 001__ 57495
000057495 005__ 20170504101038.0
000057495 0247_ $$2doi$$a10.1177/1748006X13492284
000057495 0248_ $$2sideral$$a84621
000057495 037__ $$aART-2013-84621
000057495 041__ $$aeng
000057495 100__ $$0(orcid)0000-0001-7982-0359$$aRodríguez, R.J.
000057495 245__ $$aQuantification and compensation of the impact of faults in system throughput
000057495 260__ $$c2013
000057495 5060_ $$aAccess copy available to the general public$$fUnrestricted
000057495 5203_ $$aPerformability 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
000057495 536__ $$9info:eu-repo/grantAgreement/ES/DGA/T27$$9info:eu-repo/grantAgreement/ES/CICYT-FEDER/DPI2010-20413
000057495 540__ $$9info:eu-repo/semantics/openAccess$$aby-nc$$uhttp://creativecommons.org/licenses/by-nc/3.0/es/
000057495 590__ $$a0.775$$b2013
000057495 591__ $$aENGINEERING, INDUSTRIAL$$b31 / 43 = 0.721$$c2013$$dQ3$$eT3
000057495 591__ $$aENGINEERING, MULTIDISCIPLINARY$$b50 / 87 = 0.575$$c2013$$dQ3$$eT2
000057495 591__ $$aOPERATIONS RESEARCH & MANAGEMENT SCIENCE$$b52 / 79 = 0.658$$c2013$$dQ3$$eT2
000057495 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/acceptedVersion
000057495 700__ $$0(orcid)0000-0002-7093-228X$$aJúlvez, J.$$uUniversidad de Zaragoza
000057495 700__ $$0(orcid)0000-0002-8917-6584$$aMerseguer, J.$$uUniversidad de Zaragoza
000057495 7102_ $$15007$$2570$$aUniversidad de Zaragoza$$bDepartamento de Informática e Ingeniería de Sistemas$$cLenguajes y Sistemas Informáticos
000057495 773__ $$g227, 6 (2013), 614-628$$pPROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY$$tProceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability$$x1748-006X
000057495 8564_ $$s866423$$uhttps://zaguan.unizar.es/record/57495/files/texto_completo.pdf$$yPostprint
000057495 8564_ $$s48727$$uhttps://zaguan.unizar.es/record/57495/files/texto_completo.jpg?subformat=icon$$xicon$$yPostprint
000057495 909CO $$ooai:zaguan.unizar.es:57495$$particulos$$pdriver
000057495 951__ $$a2017-05-04-10:08:08
000057495 980__ $$aARTICLE