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.
MeyerJF. Closed-form solutions of performability. IEEE Trans Comput1982; 31(7): 648–657.
2.
AvizienisALaprieJCRandellBLandwehrC. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable and Secure Computing2004; 1(1): 11–33.
3.
AvizienisA. Toward systematic design of fault-tolerant systems. Computer1997; 30(4): 51–58.
4.
ColomJ. The resource allocation problem in flexible manufacturing systems. In: van der AalstWBestE (eds) Applications and theory of Petri nets. Vol. 2679 of LNCS. Berlin/Heidelberg: Springer, 2003, pp.23–35.
5.
TricasF. Deadlock analysis, prevention and avoidance in sequential resource allocation systems. Dpto. de Informática e IngenierÍa de Sistemas, Universidad de Zaragoza. Available from: http://webdiis.unizar.es/ftricas/Articulos/FernandoTricasFinal.pdf.gz (2003). (Accessed 28 December 2012).
6.
Goŝeva-PopstojanovaKTrivediKS. Architecture-based approach to reliability assessment of software systems. Perform Eval2001; 45(2–3): 179–204.
7.
GokhaleSSWongWEHorganJRTrivediKS. An analytical approach to architecture-based software performance and reliability prediction. Perform Eval2004; 58(4): 391–412.
8.
SandersWHMeyerJF. A unified approach for specifying measures of performance, dependability, and performability. Dependable computing and fault-tolerant systems: dependable computing for critical applications1991; 4: 215–237.
9.
BobbioA. Petri nets generating Markov reward models for performance/reliability analysis of degradable systems. In: PotierDPuigjanerB (eds) Proceedings of the 4th international conference on modeling techniques and tools for computer performance evaluation, 1989, 14–16 September 1988, Palma, Balearic Islands (Spain), pp.353–365. New York, NY, USA: Plenum Press.
10.
RaiteriDCFranceschinisGIaconoMVittoriniV. Repairable fault tree for the automatic evaluation of repair policies. In: International conference on dependable systems and networks. Florence (Italy), 28 June - 1 July 2004, Washington, DC, USA. IEEE, p. 659–668.
AbdelmoezWNassarDMShereshevskyM. Error propagation in software architectures. In: Proceedings of the 10th international symposium on software metrics. Chicago, IL, USA, 14-16 September 2004, Washington, DC, USA, IEEE. pp.384–393.
13.
CortellessaVGrassiV. A Modeling approach to analyze the impact of error propagation on reliability of component-based systems. In: SchmidtHCrnkovicIHeinemanGStaffordJ (eds) Proceedings of the 10th international conference on component-based software engineering, vol. 4608 of Lecture Notes in Computer Science. Berlin/Heidelberg: Springer, 2007, pp.140–156.
14.
LiJFanYZhouM. Performance modeling and analysis of workflow. IEEE T Syst Man Cy A2004; 34(2): 229–242.
15.
WangHZengQ. Modeling and analysis for workflow constrained by resources and nondetermined time: an approach based on Petri Nets. IEEE T Syst Man Cy A2008; 38(4): 802–817.
16.
HeeKVReijersHVerbeekEZerguiniL. On the optimal allocation of resources in stochastic workflow nets. In: DjemameKKaraM (eds) Proceedings of the 7th UK performance engineering workshop. University of Leeds, Leeds, 18–19 July 2001, Print Services University of Leeds. pp.23–34.
17.
ChenYLHsuPYChangYB. A Petri net approach to support resource assignment in project management. IEEE T Syst Man Cy A2008; 38(3): 564–574.
18.
MurataT. Petri nets: properties, analysis and applications. Proc IEEE1989; 77: 541–580.
19.
RamchandaniC. Analysis of asynchronous concurrent systems by Petri nets. Department of Electrical Engineering, Massachusetts Institute of Technology, Cambridge, MA, USA, 1974.
20.
FlorinGNatkinS. Les réseaux de Petri stochastiques. Technique et Science Informatique1985; 4: 143–160.
21.
Ajmone MarsanMBalboGConteGDonatelliSFranceschinisG. Modelling with generalized stochastic Petri nets. Wiley Series in Parallel Computing. John Wiley and Sons, 1995.
22.
RossSM. Stochastic processes. Wiley series in mathematical statistics. Probability and mathematical statistics. Wiley, 1983.
23.
FlorinGNatkinS. Necessary and sufficient ergodicity condition for open synchronized queueing networks. IEEE T Software Eng1989; 15(4): 367–380.
24.
CamposJSilvaM. Structural techniques and performance bounds of stochastic Petri net models. Lecture Notes in Computer Science1992; 609: 352–391.
25.
DonatelliSFranceschinisG. The PSR methodology: integrating hardware and software models. In: Proceedings of the 17th international conference of application and theory of Petri nets (ICATPN), Osaka (Japan), 24–28 June 1996, Berlin, Heidelberg, Springer-Verlang. pp.133–152.
26.
BernardiSDonatelliSHorváthA. Implementing compositionality for stochastic Petri nets. J Software Tools Technol Trans2001; 3: 417–430.
27.
SousaPBessaniANCorreiaM. Highly available intrusion-tolerant services with proactive-reactive recovery. IEEE Trans Parallel Distributed Sys2010; 21(4): 452–465.
28.
DistefanoSScarpaMPuliafitoA. From UML to Petri nets: the PCM-based methodology. IEEE Trans Software Engng2011; 37(1): 65–79.
29.
Gómez-MartínezEMerseguerJ. ArgoSPE: model-based software performance engineering. In: International conference of application and theory of Petri nets, Turku (Finland), 26–30 June 2006, Berlin/Heidelberg, Springer-Verlang. pp.401–410.
30.
RodríguezRJJúlvezJMerseguerJ. PeabraiN: A PIPE extension for performance estimation and resource optimisation. In: Proceedings of the 12th international conference on application of concurrency to system designs (ACSD). Hamburg (Germany), 25–29 June 2012, Washington, DC, USA, IEEE Computer Science. IEEE, 2012, pp.142–147.
RodríguezRJJúlvezJ. Accurate performance estimation for stochastic marked graphs by bottleneck regrowing. In: Proceedings of the 7th European performance engineering workshop (EPEW), vol. 6342 of LNCS, University Residential Center of Bertinoro (Italy), 23–24 September 2010, Springer-Verlang Springer, 2010, pp.175–190.
