Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2016, Article ID 8593612, 11 pages
http://dx.doi.org/10.1155/2016/8593612
Research Article

Failure Propagation Modeling and Analysis via System Interfaces

1State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing 100044, China
2School of Computer Science, University of Oklahoma, Norman, OK 73019, USA
3Institute of Railway Research, University of Huddersfield, Huddersfield HD1 3DH, UK

Received 12 January 2016; Revised 30 March 2016; Accepted 5 April 2016

Academic Editor: Egidijus R. Vaidogas

Copyright © 2016 Lin Zhao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. M. Bozzano, A. Villafiorita, O. Åkerlund et al., “ESACS: an integrated methodology for design and safety analysis of complex systems,” in Proceedings of the European Safety and Reliability Conference, pp. 237–245, 2003.
  2. O. Akerlund, P. Bieber, E. Boede et al., “ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects,” in Proceedings of 3rd European Congress on Embedded Real Time Systems (ERTS '06), pp. 109–120, Toulouse, France, January 2006.
  3. A. Arnold, G. Point, A. Griffault, and A. Rauzy, “The AltaRica formalism for describing concurrent systems,” Fundamenta Informaticae, vol. 40, no. 2-3, pp. 109–124, 1999. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  4. M. Boiteau, Y. Dutuit, A. Rauzy, and J.-P. Signoret, “The AltaRica data-flow language in use: modeling of production availability of a multi-state system,” Reliability Engineering and System Safety, vol. 91, no. 7, pp. 747–755, 2006. View at Publisher · View at Google Scholar · View at Scopus
  5. P. Bieber, C. Castel, and C. Seguin, “Combination of fault tree analysis and model checking for safety assessment of complex system,” in Proceedings of the European Dependable Computing Conference, pp. 19–31, Toulouse, France, 2002. View at Publisher · View at Google Scholar
  6. P. Fenelon and J. A. McDermid, “New directions in software safety: causal modelling as an aid to integration,” Tech. Rep., High Integrity Systems Engineering Group, Department of Computer Science, University of York, 1992. View at Google Scholar
  7. P. Fenelon and J. A. McDermid, “An integrated tool set for software safety analysis,” The Journal of Systems and Software, vol. 21, no. 3, pp. 279–290, 1993. View at Publisher · View at Google Scholar · View at Scopus
  8. Y. Papadopoulos and M. Maruhn, “Model-based synthesis of fault trees from Matlab-Simulink models,” in Proceedings of the International Conference on Dependable Systems and Networks (DSN '01), pp. 77–82, Goteborg, Sweden, July 2001. View at Publisher · View at Google Scholar · View at Scopus
  9. P. Feiler and A. Rugina, “Dependability modeling with the architecture analysis & design language (AADL),” Tech. Rep., Software Engineering Institute, Carnegie Mellon University (SEI/CMU), 2007. View at Google Scholar
  10. J. Bowen and V. Stavridou, “Safety-critical systems, formal methods and standards,” Software Engineering Journal, vol. 8, no. 4, p. 189, 1993. View at Publisher · View at Google Scholar
  11. A. Rauzy, “Mode automata and their compilation into fault trees,” Journal of Logic and Algebraic Programming, vol. 78, no. 1, pp. 1–12, 2002. View at Google Scholar
  12. M. Bozzano and A. Villafiorita, “Improving system reliability via model checking: the FSAP/NuSMV-SA safety analysis platform,” in Computer Safety, Reliability, and Security, S. Anderson, M. Felici, and B. Littlewood, Eds., vol. 2788 of Lecture Notes in Computer Science, pp. 49–62, 2003. View at Publisher · View at Google Scholar
  13. L. D. Alfaro and T. A. Henzinger, “Interface automata,” in Proceedings of ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 109–120, September 2001.