A minimization algorithm for automata generated fault trees with priority gates

• Boudali, H., Crouzen, P., & Stoelinga, M. (2010). A rigorous, compositional, and extensible framework for dynamic fault tree analysis. Dependable and Secure Computing, IEEE Transactions on, 7(2), 128–143.

  Article  Google Scholar 

• Chen, D., Mahmud, N., Walker, M., Feng, L., Lönn, H., & Papadopoulos, Y. (2013). Systems modeling with EAST-ADL for fault tree analysis through HiP-HOPS. In Proceedings of the 4th International Federation of Automatic Control (IFAC) Workshop on Dependable Control of Discrete Systems (DCDS), York, (pp. 91-96). IFAC

• Crouzen, P., Hermanns, H., & Zhang, L. (2008). On the minimisation of acyclic models. In International conference on concurrency theory (pp. 295–309). Berlin Heidelberg: Springer.

  Google Scholar 

• Dehlinger, J., & Dugan, J. B. (2008). Analyzing dynamic fault trees derived from model-based system architectures. Nuclear Engineering and Technology: An International Journal of the Korean Nuclear Society, 40(5), 365–374.

  Article  Google Scholar 

• Dugan, J. B., Bavuso, S. J., & Boyd, M. A. (1992). Dynamic fault-tree models for fault-tolerant computer systems. Reliability, IEEE Transactions on, 41(3), 363–377.

  Article  MATH  Google Scholar 

• EAST-ADL (2010). EAST-ADL domain model specification, D4.1.1 Retrieved from.http://www.east-adl.info/repository/EAST-ADL2.1/EAST-ADL-Specification_2010-06-30.pdf

• Hidalgo, E.M.P., Silva, D.W.R., & De Souza, G.F.M. (2013). “Application of Markov chain to determine the electric energy supply system reliability for the cargo control system of LNG carriers”. In Proc. of ASME 32nd Int. Conf. on Ocean, Offshore and Arctic Engng, 2013.

• Joshi, A., Vestal, S., & Binns, P. (2007). Automatic generation of static fault trees from aadl models. In Workshop on Architecting Dependable Systems of The 37th Annual IEEE/IFIP Int. Conference on Dependable Systems and Networks, Edinburgh, UK.

• Kolagari, R. T., Chen, D., Lanusse, A., Librino, R., Lönn, H., Mahmud, N., Mraidha, C., Reiser, M., Torchiaro, S., Tucci-Piergiovanni, S., Wägemann, T., & Yakymets, N. (2015). Model-based analysis and engineering of automotive architectures with EAST-ADL: revisited. International Journal of Conceptual Structures and Smart Applications (IJCSSA), 3(2), 25–70. https://doi.org/10.4018/IJCSSA.2015070103.

  Article  Google Scholar 

• Konak, A., Coit, D. W., & Smith, A. E. (2006). Multi-objective optimization using genetic algorithms. Reliability Engineering & System Safety, 91(9), 992–1007.

  Article  Google Scholar 

• Mahmud, N. (2012). Dynamic Model-based Safety Analysis: from state machines to temporal fault trees. (Ph.D. thesis). Department of Computer Science, University of Hull, Hull, UK.

• Mahmud, N. (2015). Advanced fault tree synthesis for systems with dynamic aspects. In Safety and reliability of complex engineered systems (pp. 1635–1643). CRC Press.

• Mahmud, N. (2017). A compositional symbolic calculus approach to producing reduced Markov chains. In 63^rd Annual Reliability and Maintainability Symposium (RAMS). IEEE.

• Mahmud, N., & Mian, Z. (2013). Automatic generation of temporal fault trees from AADL models. In Safety, Reliability and Risk Analysis: Beyond the Horizon (pp. 2741–2749). CRC Press.

• Mahmud, N., Papadopoulos, Y., & Walker, M. (2010). A translation of state machines to temporal fault trees. In Proceedings of the 40th IEEE/IFIP International Conference on Dependable Systems and Networks, (pp. 45–51). IEEE.

• Mahmud, N., Walker, M., & Papadopoulos, Y. (2012). Compositional synthesis of temporal fault trees from state machines. ACM SIGMETRICS Performance Evaluation Review, 39(4), 79–88.

  Article  Google Scholar 

• Merle, G., Roussel, J. M., Lesage, J., & Bobbio, A. (2010). Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events. Reliability, IEEE Transactions on, 59(1), 250–261.

  Article  Google Scholar 

• Mian, Z., Bottaci, L., Papadopoulos, Y., Sharvia, S., & Mahmud, N. (2015) Model transformation for multi-objective architecture optimisation of dependable systems. In Dependability problems of complex information systems, (pp. 91–110). Springer.

• Mitsubishi Heavy Industries. (2010). Technology trends and MHI activities for LNG carriers. Technical Review, 47(3).

• Rauzy, A. (2002). Mode automata and their compilation into fault trees. Reliability Engineering & System Safety, 78(1), 1–12.

  Article  MathSciNet  Google Scholar 

• Rauzy, A., Châtelet, E., Dutuit, Y., & Bérenguer, C. (2003). A practical comparison of methods to assess sum-of-products. Reliability Engineering & System Safety, 79(1), 33–42.

  Article  Google Scholar 

• Vesely, W. E., Goldberg, F. F., Roberts, N. H., & Haas, D. F. (1981). Fault Tree Handbook. US Nuclear Regulatory Committee Report NUREG-0492, Washington.

• Vesely, W., Stamatelatos, M., Dugan, J., Fragola, J., Minarick, J. III, & Railsback, J. (2002). Fault tree handbook with aerospace applications. NASA Office of Safety and Mission Assurance.

• Walker, M., & Papadopoulos, Y. (2009). Qualitative temporal analysis: towards a full implementation of the fault tree handbook. Control Engineering Practice, 17(10), 1115–1125.

  Article  Google Scholar 

Download references