Ternary decision diagram (TDD) is introduced as a new modelling technique to conduct system safety modelling and assessment. In this paper complex systems are broken down to functional modules in order to facilitate the combinatorial modelling process. Quantitatively to assess safety, two failure states are modelled. Three cases of module construction techniques using TDD are discussed. An algorithm is developed for the TDD modular approach, and an example system is exercised to verify the algorithm.
SasaoT.Ternary decision diagrams: survey. In Proceedings of the 27th International Symposium onMulti-valued logic, Antigonish, Canada, May 1997, pp. 241–250.
