Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade Models

Workshop on Foundations of Interface Theories, FIT 2008 Boudali; Pepijn Crouzen; Boudewijn R. Haverkort; Matthias Kuntz; Mariëlle Stoelinga

Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade Models

Workshop on Foundations of Interface Theories, FIT 2008 Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

51 Downloads (Pure)

Abstract

This paper discusses two behavioural interfaces for reliability analysis: dynamic fault trees, which model the system reliability in terms of the reliability of its components and Arcade, which models the system reliability at an architectural level. For both formalisms, the reliability is analyzed by transforming the DFT or Arcade model to a set of input-output Markov Chains. By using compositional aggregation techniques based on weak bisimilarity, significant reductions in the state space can be obtained.

Original language	English
Title of host publication	Proceedings of the Second Workshop on Foundations of Interface Theories, FIT 2008
Place of Publication	Aalborg, Denmark
Publisher	University of Aalborg
Pages	5-10
Number of pages	6
Publication status	Published - Apr 2008
Event	2nd Workshop on Foundations of Interface Theories, FIT 2008 - Budapest, Hungary Duration: 10 Apr 2008 → 10 Apr 2008 Conference number: 2 http://fit2008.cs.aau.dk/

Workshop

Workshop	2nd Workshop on Foundations of Interface Theories, FIT 2008
Abbreviated title	FIT
Country/Territory	Hungary
City	Budapest
Period	10/04/08 → 10/04/08
Internet address	http://fit2008.cs.aau.dk/

Keywords

EC Grant Agreement nr.: FP7/214755
EC Grant Agreement nr.: FP7-ICT-2007-1

Access to Document

Boudali2008richFinal published version, 148 KB

Cite this

@inproceedings{e5c25e56fcfd416f8893e08e2fcfb466,

title = "Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade Models",

abstract = "This paper discusses two behavioural interfaces for reliability analysis: dynamic fault trees, which model the system reliability in terms of the reliability of its components and Arcade, which models the system reliability at an architectural level. For both formalisms, the reliability is analyzed by transforming the DFT or Arcade model to a set of input-output Markov Chains. By using compositional aggregation techniques based on weak bisimilarity, significant reductions in the state space can be obtained.",

keywords = "EC Grant Agreement nr.: FP7/214755, EC Grant Agreement nr.: FP7-ICT-2007-1",

author = "Boudali, {Workshop on Foundations of Interface Theories, FIT 2008} and Pepijn Crouzen and Haverkort, {Boudewijn R.} and Matthias Kuntz and Mari{\"e}lle Stoelinga",

year = "2008",

month = apr,

language = "English",

pages = "5--10",

booktitle = "Proceedings of the Second Workshop on Foundations of Interface Theories, FIT 2008",

publisher = "University of Aalborg",

address = "Denmark",

note = "2nd Workshop on Foundations of Interface Theories, FIT 2008, FIT ; Conference date: 10-04-2008 Through 10-04-2008",

url = "http://fit2008.cs.aau.dk/",

}

Boudali, WOFOITFIT, Crouzen, P, Haverkort, BR, Kuntz, M & Stoelinga, M 2008, Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade Models. in Proceedings of the Second Workshop on Foundations of Interface Theories, FIT 2008. University of Aalborg, Aalborg, Denmark, pp. 5-10, 2nd Workshop on Foundations of Interface Theories, FIT 2008, Budapest, Hungary, 10/04/08.

Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade Models. / Boudali, Workshop on Foundations of Interface Theories, FIT 2008; Crouzen, Pepijn; Haverkort, Boudewijn R. et al.
Proceedings of the Second Workshop on Foundations of Interface Theories, FIT 2008. Aalborg, Denmark: University of Aalborg, 2008. p. 5-10.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - Rich Interfaces for Dependability

T2 - 2nd Workshop on Foundations of Interface Theories, FIT 2008

AU - Boudali, Workshop on Foundations of Interface Theories, FIT 2008

AU - Crouzen, Pepijn

AU - Haverkort, Boudewijn R.

AU - Kuntz, Matthias

AU - Stoelinga, Mariëlle

N1 - Conference code: 2

PY - 2008/4

Y1 - 2008/4

N2 - This paper discusses two behavioural interfaces for reliability analysis: dynamic fault trees, which model the system reliability in terms of the reliability of its components and Arcade, which models the system reliability at an architectural level. For both formalisms, the reliability is analyzed by transforming the DFT or Arcade model to a set of input-output Markov Chains. By using compositional aggregation techniques based on weak bisimilarity, significant reductions in the state space can be obtained.

AB - This paper discusses two behavioural interfaces for reliability analysis: dynamic fault trees, which model the system reliability in terms of the reliability of its components and Arcade, which models the system reliability at an architectural level. For both formalisms, the reliability is analyzed by transforming the DFT or Arcade model to a set of input-output Markov Chains. By using compositional aggregation techniques based on weak bisimilarity, significant reductions in the state space can be obtained.

KW - EC Grant Agreement nr.: FP7/214755

KW - EC Grant Agreement nr.: FP7-ICT-2007-1

M3 - Conference contribution

SP - 5

EP - 10

BT - Proceedings of the Second Workshop on Foundations of Interface Theories, FIT 2008

PB - University of Aalborg

CY - Aalborg, Denmark

Y2 - 10 April 2008 through 10 April 2008

ER -

Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade Models

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Cite this