%0 Conference Paper %1 magyar2009modular %A Magyar, M. %A Majzik, I. %B Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the %D 2009 %K availability %P 95-96 %R 10.1109/QEST.2009.32 %T Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach %U http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5290859 %X 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.

@inproceedings{magyar2009modular, abstract = {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.}, added-at = {2014-10-15T22:02:14.000+0200}, author = {Magyar, M. and Majzik, I.}, biburl = {https://www.bibsonomy.org/bibtex/2d792ca7a5b5915672065208669498f9d/avail_map_stud}, booktitle = {Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the}, description = {IEEE Xplore Abstract - Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Appro...}, doi = {10.1109/QEST.2009.32}, interhash = {492b48468141c3f6e97681c83e29e602}, intrahash = {d792ca7a5b5915672065208669498f9d}, keywords = {availability}, month = {Sept}, pages = {95-96}, timestamp = {2014-10-15T22:02:14.000+0200}, title = {Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach}, url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5290859}, year = 2009 }