Pattern-based modeling and analysis of failsafe fault-tolerance in UML
Document Type
Conference Proceeding
Publication Date
12-1-2007
Abstract
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a reusable strategy for capturing the requirements of fail-safe fault-tolerance in an existing conceptual model, where a failsafe system satisfies its safety requirements even when faults occur. We also present a method that (i) uses the detector pattern to help create a behavioral model of a fail-safe fault-tolerant system in UML, (ii) generates and model checks formal models of UML state diagrams of the fault-tolerant system, and (iii) visualizes the model checking results in terms of the UML diagrams to facilitate model refinement. We demonstrate our analysis method in the context of an industrial automotive application. © 2007 IEEE.
Publication Title
Proceedings of IEEE International Symposium on High Assurance Systems Engineering
Recommended Citation
Ebnenasir, A.,
&
Cheng, B.
(2007).
Pattern-based modeling and analysis of failsafe fault-tolerance in UML.
Proceedings of IEEE International Symposium on High Assurance Systems Engineering, 275-282.
http://doi.org/10.1109/HASE.2007.61
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/10520