Architectural dependability evaluation with Arcade


Share/Save/Bookmark

Boudali, H. and Crouzen, P. and Haverkort, B.R. and Kuntz, M. and Stoelinga, M.I.A. (2008) Architectural dependability evaluation with Arcade. In: 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 24-27, Anchorage, USA.

[img]
Preview
PDF
493Kb
Abstract:This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine the strengths of previous approaches to the evaluation of dependability. A key feature is its formal semantics in terms of input/output-interactive Markov chains, which enables both compositional modeling and compositional state space generation and reduction. The latter enables great computational reductions for many models. The Arcade approach is extensible, hence adaptable to new circumstances or application areas. The paper introduces the new modeling approach, discusses its formal semantics and illustrates its use with two case studies.
Item Type:Conference or Workshop Item
Copyright:© 2008 IEEE
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/64537
Official URL:http://dx.doi.org/10.1109/DSN.2008.4630122
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 256454