Change search
ReferencesLink to record
Permanent link

Direct link
Failure Propagation Modeling based on Contracts Theory
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
2015 (English)In: 2015 Eleventh European Dependable Computing Conference (EDCC), 2015, 108-119 p.Conference paper (Refereed)
Abstract [en]

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.
National Category
Computer and Information Science Computer Systems
URN: urn:nbn:se:kth:diva-192021DOI: 10.1109/EDCC.2015.21ISI: 000380518100010ScopusID: 2-s2.0-84966312274ISBN: 978-1-4673-9289-1OAI: diva2:967338
11th European Dependable Computing Conference, SEP 07-11, 2015, Paris, FRANCE

QC 20160908

Available from: 2016-09-08 Created: 2016-09-05 Last updated: 2016-09-08Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Nyberg, MattiasWestman, Jonas
By organisation
Computer and Information ScienceComputer Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

ReferencesLink to record
Permanent link

Direct link