Failure Propagation Modeling based on Contracts Theory
2015 (English)In: 2015 Eleventh European Dependable Computing Conference (EDCC), 2015, 108-119 p.Conference paper (Refereed)
Previous approaches to fault and failure modeling are based on adding explicit models of faults/failures, and failure propagation to behavioral and architectural modes. This adds a lot of overhead (extra work), and also, is a cause of creating inconsistencies, especially by obtaining a mismatch between failures and violation of requirements or specifications. Instead of creating separate models for failures, the idea here is to exploit the fundamental definition of failures as violation of requirement or specification. We assume that the systems functionality is specified using a set of requirements, and in particular, requirements structured according to contracts theory. Instead of creating separate models for failure propagation, we exploit the structuring of requirements obtained when the system is specified using contracts theory. The use of contracts theory establishes a formal framework for how traceability links between requirements themselves and to the architecture are specified. It is further explained how fault and failure propagation models in the form of Bayesian Networks are obtained. One particular challenge is the modeling of faults/failure and their propagation when fault management mechanisms have been implemented. Therefore this area is covered in some extra depth.
Place, publisher, year, edition, pages
2015. 108-119 p.
Computer and Information Science Computer Systems
IdentifiersURN: urn:nbn:se:kth:diva-192021DOI: 10.1109/EDCC.2015.21ISI: 000380518100010ScopusID: 2-s2.0-84966312274ISBN: 978-1-4673-9289-1OAI: oai:DiVA.org:kth-192021DiVA: diva2:967338
11th European Dependable Computing Conference, SEP 07-11, 2015, Paris, FRANCE
QC 201609082016-09-082016-09-052016-09-08Bibliographically approved