Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework

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.

• Type: Conference
• Year: 2008
• Where: ICECCS
• Authors: Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
• Keywords: Architectural Dependability Formalism, Dependability Modeling/evaluation, Hardware, ICECCS 2008, Suitable Formalism