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.
|Publisher||IEEE Computer Society Press|
|Conference||13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008|
|Period||31/03/08 → 3/04/08|
|Other||March 31, 2008 - April 3, 2008 |
- architectural dependability formalism
- model-based dependability evaluation framework
- dependability modeling