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.

Saved in:
Bibliographic Details
Main Authors: Boudali, Hichem, Crouzen, Pepijn, Haverkort, Boudewijn R., Kuntz, Matthias, Stoelinga, Mariëlle
Format: Conference Proceeding
Language:English
Subjects:
Aerospace control
Aircraft
Application software
Architecture description language
Costs
Dependability analysis
Distributed databases
Embedded system
Home appliances
Home computing
Power control
Spatial databases
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/ICECCS.2008.11