Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework
Authors:
- Hichem BoudaliHBHichem Boudali
- Pepijn CrouzenPCPepijn Crouzen
- Boudewijn R. HaverkortBHBoudewijn R. Haverkort
- Matthias KuntzMKMatthias Kuntz
- Mariëlle StoelingaMSMariëlle Stoelinga
- 1 March 2008
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 243-248
Abstract
This paper discusses the requirements that a suitable formalism for dependability modeling/evaluation should possess. We also discuss the outline of Arcade, an architectural dependability formalism that we are developing.Keywords
This publication has 8 references indexed in Scilit:
- A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains2007
- Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains2007
- CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes2007
- A System Dependability Modeling Framework Using AADL and GSPNs2007
- Model-checking algorithms for continuous-time markov chainsIEEE Transactions on Software Engineering, 2003
- Compositional performance modelling with the TIPPtoolPerformance Evaluation, 2000
- A Compositional Approach to Performance Modelling1996
- Dependability evaluation using composed SAN-based reward modelsJournal of Parallel and Distributed Computing, 1992