%0 Journal Article %1 RodriguezJulvezMerseguer13-a %A Rodr\'ıguez, Ricardo J. %A Júlvez, Jorge %A Merseguer, José %D 2013 %I SAGE Publications %J Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability %K citas, citeulike performance, quantification, referencias %R 10.1177/1748006x13492284 %T Quantification and compensation of the impact of faults in system throughput %U http://dx.doi.org/10.1177/1748006x13492284 %X 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 fault-tolerant 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.

@article{RodriguezJulvezMerseguer13-a, abstract = {{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 fault-tolerant 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.}}, added-at = {2017-09-08T10:52:59.000+0200}, author = {Rodr\'{\i}guez, Ricardo J. and J\'{u}lvez, Jorge and Merseguer, Jos\'{e}}, biburl = {https://www.bibsonomy.org/bibtex/2edc6856aa34504fcf0c57fae23741cee/fernand0}, citeulike-article-id = {12605619}, citeulike-linkout-0 = {http://dx.doi.org/10.1177/1748006x13492284}, citeulike-linkout-1 = {http://pio.sagepub.com/content/early/2013/07/10/1748006X13492284.abstract}, citeulike-linkout-2 = {http://pio.sagepub.com/content/early/2013/07/10/1748006X13492284.full.pdf}, day = 29, doi = {10.1177/1748006x13492284}, interhash = {27e48131a0735080ecd389247423a4cb}, intrahash = {edc6856aa34504fcf0c57fae23741cee}, issn = {1748-0078}, journal = {Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability}, keywords = {citas, citeulike performance, quantification, referencias}, month = jul, posted-at = {2013-09-03 17:56:44}, priority = {2}, publisher = {SAGE Publications}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{Quantification and compensation of the impact of faults in system throughput}}, url = {http://dx.doi.org/10.1177/1748006x13492284}, year = 2013 }