TY - GEN
T1 - Simple models for high-availability systems with dependent components
AU - Walter, M.
AU - Trinitis, C.
PY - 2006
Y1 - 2006
N2 - When modeling fault-tolerant systems, state-based methods yield much more realistic results in comparison to traditional combinatorial methods. To avoid the difficult manual design of large state-based models, we advocate an approach, by which a high-level input model is used from which a semantically equivalent low-level model is automatically generated. This approach was implemented in the tool OpenSESAME (Simple but Extensive Structured Availability Modeling Environment). Its input uses reliability block diagrams as a wide-spread modeling technique favored by many reliability engineers. In addition, users can specify intercomponent dependencies of the system without having to create a state-based model. The main contributions of this paper are, first, a detailed description of the input model showing the application areas and limitations of OpenSESAME; second, a detailed explanation of the transformation process into the state-space domain; and third, it contains a realistic industrial example modeling a water supply system of a city.
AB - When modeling fault-tolerant systems, state-based methods yield much more realistic results in comparison to traditional combinatorial methods. To avoid the difficult manual design of large state-based models, we advocate an approach, by which a high-level input model is used from which a semantically equivalent low-level model is automatically generated. This approach was implemented in the tool OpenSESAME (Simple but Extensive Structured Availability Modeling Environment). Its input uses reliability block diagrams as a wide-spread modeling technique favored by many reliability engineers. In addition, users can specify intercomponent dependencies of the system without having to create a state-based model. The main contributions of this paper are, first, a detailed description of the input model showing the application areas and limitations of OpenSESAME; second, a detailed explanation of the transformation process into the state-space domain; and third, it contains a realistic industrial example modeling a water supply system of a city.
UR - http://www.scopus.com/inward/record.url?scp=56249104456&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:56249104456
SN - 0415416205
SN - 9780415416207
T3 - Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk
SP - 1719
EP - 1726
BT - Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk
T2 - European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk
Y2 - 18 September 2006 through 22 September 2006
ER -