Compositional dependability modeling using arcade

Stoelinga, Mariëlle (2009) Compositional dependability modeling using arcade. In: 8th International Workshop on Specification and Verification of Component-based Systems, SAVCBS 2009, 25 August 2009, Amsterdam, The Netherlands.

Preview

PDF
41Kb

Abstract:	Dependability is a key concern for today's complex computer and communication systems. To make sure that such an application meets all its dependability requirements, a rigorous and systematic analysis is required. This talk introduces ARCADE, a formally well-rooted and extensible framework for dependability evaluation. It has been designed so as to combine the strengths of previous approaches to the evaluation of dependability. Key feature is its formal semantics in terms of Input/Output-Interactive Markov Chains, which enables both compositional modeling and compositional analysis, enabling great computational reductions for many models. The ARCADE approach is also extensible, and hence adaptable to new circumstances or application areas. In this talk, I will introduce the new modeling approach, discuss its formal semantics and illustrate its use with two case studies
Item Type:	Conference or Workshop Item
Copyright:	© 2009 ACM
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/80481
Official URL:	http://dx.doi.org/10.1145/1596486.1596487
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page