Referenced Items are not available for this document.
Model based dependability analysis can be used to evaluate the effects of architectural choices on system level availability and reliability. In component based systems the dependability model is built typically from sub-models that are assigned to components or subsystems and represent the local fault occurrences and error propagation. We describe the design and application of a tool that is able to construct the system level dependability model from these sub-models automatically, on the basis of the architecture model of the system. In our tool currently UML architecture model and stochastic activity networks dependability model formalism are supported.
Published in:
Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the
Date of Conference: 13-16 Sept. 2009
- Page(s):
- 95 - 96
- Print ISBN:
- 978-0-7695-3808-2
- INSPEC Accession Number:
- 10941459
- Conference Location :
- Budapest
- Digital Object Identifier :
- 10.1109/QEST.2009.32
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
