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

14 years 5 months ago

Download eprints.eemcs.utwente.nl

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.

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haver

Real-time Traffic

Architectural Dependability Formalism | Dependability Modeling/evaluation | Hardware | ICECCS 2008 | Suitable Formalism |

claim paper

» MoPED A ModelBased Provisioning Engine for Dependability in ComponentBased Distributed Rea...

» Towards a Unified Model of PreferenceBased Argumentation

» Using Enterprise Architecture Models for System Quality Analysis

» Semantic Web Publishing using Named Graphs

» Algebraic Techniques for Timed Systems

» Named graphs provenance and trust

Post Info
More Details (n/a)

Added	30 May 2010
Updated	30 May 2010
Type	Conference
Year	2008
Where	ICECCS
Authors	Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga

Comments (0)

Sciweavers

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

Architectural Dependability Formalism | Dependability Modeling/evaluation | Hardware | ICECCS 2008 | Suitable Formalism |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers