An SRN-based resiliency quantification approach

TitleAn SRN-based resiliency quantification approach
Publication TypeConference Proceedings
Year of Conference2015
AuthorsBruneo, D., F. Longo, M. Scarpa, A. Puliafito, R. Ghosh, and K. S. Trivedi
Conference NameProceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets)
Volume9115 Lecture Notes in Computer Science
PublisherSpringer Verlag
Conference LocationBrussels, Belgium, 21-26 June 2015
ISBN Number9783319194875
KeywordsAnalysis techniques, Deterministic and stochastic Petri nets, Model analysis, Performance Model, Petri nets, Resiliency, Semantics, Stochastic models, Stochastic reward nets, Stochastic systems

Resiliency is often considered as a synonym for faulttolerance and reliability/availability. We start from a different definition of resiliency as the ability to deliver services when encountering unexpected changes. Semantics of change is of extreme importance in order to accurately capture the real behavior of a system. We propose a resiliency analysis technique based on stochastic reward nets that allows the modeler: (1) to reuse an already existing dependability or performance model for a specific system with minimal modifications, and (2) to adapt the given model for specific change semantics. To automate the model analysis an algorithm is designed and the modeler is provided with a formalism that corresponds to the semantics. Our algorithm and approach is implemented to demonstrate the proposed resiliency quantification approach. Finally, we discuss the differences between our approach and an alternative technique based on deterministic and stochastic Petri nets and highlight the advantages of the proposed approach in terms of semantics specification. © Springer International Publishing Switzerland 2015.