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.
Original language | English |
---|---|
Title of host publication | Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008) |
Place of Publication | Los Alamitos |
Publisher | IEEE Computer Society Press |
Pages | 512-521 |
Number of pages | 10 |
ISBN (Electronic) | 978-1-4244-2398-9 |
ISBN (Print) | 978-1-4244-2397-2 |
DOIs | |
Publication status | Published - 2008 |
Event | 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008 - Anchorage, United States Duration: 24 Jun 2008 → 27 Jun 2008 Conference number: 38 |
Publication series
Name | IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN) |
---|---|
Publisher | IEEE Computer Society Press |
Volume | 2008 |
ISSN (Print) | 1530-0889 |
ISSN (Electronic) | 1530-0889 |
Conference
Conference | 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008 |
---|---|
Abbreviated title | DSN |
Country/Territory | United States |
City | Anchorage |
Period | 24/06/08 → 27/06/08 |
Keywords
- EC Grant Agreement nr.: FP7/214755
- EC Grant Agreement nr.: IST-004527
- EC Grant Agreement nr.: FP7-ICT-2007-1