Paper Info
Title
A flexible contracts approach to system resiliency
Abstract
Contract-based design (CBD) employs formalisms that explicitly define system requirements, constraints, and interfaces. This paper explores a contract-based design paradigm for expressing system resiliency features. Specifically, resilience formalisms are defined in terms of invariant and flexible assertions. A flexible assertion is one that is learned during system operation and can accommodate unpredicted system behaviors. Invariant assertions are fixed system constraints that are known a priori. A general model structure comprising four key features that contribute to system resilience is presented. In particular, the concept of flexible contracts is operationalized using the Hidden Markov Model (HMM) construct. A system architecture based on flexible contracts and lightweight error monitoring and resiliency response mechanisms is also presented. The proposed framework can serve as a testbed to experiment with different systems resiliency approaches.
Year
DOI
Venue
2014
10.1109/SMC.2014.6974044
Systems, Man and Cybernetics
Keywords
Field
DocType
contracts,hidden Markov models,software fault tolerance,CBD,HMM,contract-based design,fault-tolerance strategy,flexible contracts,hidden Markov model,system resiliency,MBSE,contract-based design,system resiliency
Psychological resilience,Software engineering,Simulation,Computer science,Artificial intelligence,Machine learning
Conference
ISSN
Citations 
PageRank 
1062-922X
1
0.36
References 
Authors
10
2
Name
Order
Citations
PageRank
Michael Sievers110.36
Azad M. Madni218834.57