Abstract
In the field of reliability analysis just few modeling languages became widely recognized by specialists. Being born out of their simplicity, Fault Trees continuously held appeal to both scientists and engineers, which brought them various syntactical extensions as well as analysis software. Although, Fault Trees have proved their usefulness by nontrivial technical problems, we notice their weakness in specification of maintenance processes, which are usually composed of actions taken in accordance with control- and dataflow. For this reason we try merging UML 2.0 Activity Diagrams with Probabilistic Fault Trees with Time Dependencies by expressing events as objects. That in fact requires redefinition of generalization and causal gates of the trees, though lays the foundations for the new language named Reliability-Enhanced Activity Diagram. By taking advantage of the UML 2.0 infrastructure, we design the language’s profile and validate the approach against a model of a computer system’s repair scheme.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Babczyński, T., Łukowicz, M., Magott, J.: Time coordination of distance protections using probabilistic fault trees with time dependencies. IEEE Transaction on Power Delivery 25(3), 1402–1409 (2010)
Bessam, A., Kimour, M.T., Melit, A.: Separating users’ views in a development process for agile methods. In: Proc. International Conference on Dependability of Computer Systems, DepCoS - RELCOMEX 2009, pp. 61–68 (2009)
Bobbio, A., Codetta, D.: Parametric fault trees with dynamic gates and repair boxes. In: Proc. Annual Symposium on Reliability and Maintainability, pp. 459–465 (2004)
Codetta, D., Franceschinis, G., Iacono, M., Vittorini, V.: Repairable fault tree for the automatic evaluation of repair policies. In: Proc. Proceedings of the 2004 International Conference on Dependable Systems and Networks, DSN 2004(2004)
Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41(3), 363–367 (1992)
Fault Tree Analysis (FTA), International Technical Commission, Publication 1025 (1990)
Górski, J., Magott, J., Wardzinski, A.: Modelling fault trees using Petri nets. In: in Proc. SAFECOMP 1995, Belgirate, Italy. LNCS. Springer, Heidelberg (1995)
Grunske, L., Kaiser, B., Papadopoulos, Y.: Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. In: Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Ren, X.-M., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 33–48. Springer, Heidelberg (2005)
Houmb, S.H., Hansen, K.K.: Towards a UML profile for security assessment. In: Proc. UML 2003, Workshop on Critical Computer Systems Development with UML, pp. 815-829 (2003)
ISO/IEC 15909-1, High-level Petri nets: Concepts, definitions and graphical notation (2004)
Magott, J., Skrobanek, P.: Method of time Petri net analysis for analysis of fault trees with time dependencies. In: IEE Proceedings - Computers and Digital Techniques, vol. 149(6), pp. 257–271 (2002)
Montani, S., Portinale, L., Bobbio, A., Codetta-Raiteri, D.: ADYBAN: a tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks. Reliability Engineering and System Safety 93(7), 922–932 (2008)
OMG, Unified Modeling Language (OMG UML), Superstructure Version 2.3 (2010)
Russel, N., van der Aalst, W.M.P., ter Hofstede, A.H.M.: On the suitability of UML 2.0 activity diagrams for business process modeling (2006)
Russel, N., ter Hofstede, A.M.H., van der Aalst, W.M.P., Mulyar, N.: Workflow control-flow patterns, A revised view (2006)
IBM, Developer Works on IBM Rational Software Architect (2011), https://www.ibm.com/developerworks/rational/
OMG, The UML Profile for MARTE: Modeling and Analysis of Real-Time and Embedded Systems (2010), http://www.omg.org/omgmarte/Specification.htm
RELEX, Resources on Fault Trees (2010), http://www.relex.com/resources/art
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kowalski, M., Magott, J. (2011). Towards a UML Profile for Maintenance Process and Reliability Analysis. In: Zamojski, W., Kacprzyk, J., Mazurkiewicz, J., Sugier, J., Walkowiak, T. (eds) Dependable Computer Systems. Advances in Intelligent and Soft Computing, vol 97. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21393-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-21393-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21392-2
Online ISBN: 978-3-642-21393-9
eBook Packages: EngineeringEngineering (R0)