Hazard analysis for safety-critical systems using SOFL

Proceedings of the 2013 IEEE Symposium on Computational Intelligence for Engineering Solutions, CIES 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013

Volumn , Issue , 2013, Pages 133-140

  Abdullah, Azma Binti ^a,b   Liu, Shaoying ^a  

^a HOSEI UNIVERSITY   (Japan)

^b UNIVERSITY MALAYSIA PAHANG   (Malaysia)

Author keywords

hazard; hazard analysis; hazard identification; safety critical systems

Indexed keywords

FAULT TREE ANALYSES (FTA); FORMAL PROPERTIES; FORMAL SPECIFICATION; HAZARD ANALYSIS; HAZARD IDENTIFICATION; IMPACT ON THE ENVIRONMENT; SAFETY CRITICAL SYSTEMS; SAFETY PROPERTY;

ARTIFICIAL INTELLIGENCE; FAULT TREE ANALYSIS; SECURITY SYSTEMS;

HAZARDS;

EID: 84886474901     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CIES.2013.6611740     Document Type: Conference Paper

References (23)

1. Gerald Kotonya and Ian Sommerville, "Integrating Safety Analysis and Requirements Engineering, " International Computer Science Conference, 1997.
2. Clifton A. Ericson, Hazard Analysis Techniques for System Safety, John Wiley & Sons, 2005.
3. Nancy G. Leveson, Safeware System Safety and Computers, Addison-Wesley, 2001.
4. Shaoying Liu, Formal Engineering for Industrial Software Development, Springer, 2004.
5. John Gould, Michael Glossop and Agamemnon Loannides, Review of Hazard identification Techniques, Report on Health and Safety Laboratory, HSL/2005/58, 2000.
6. Jianwem Xiang, Kokichi Futatsugi and Yanxiang He. "Fault Tree and Formal Method in System Analysis", Fouth International Conference on Computer and Information Technology, 2004.
7. Azma Abdullah and Shaoying Liu, "Capturing Safety Properties for Safety-critical Systems using SOFL", International Conference on Computers Networks Systems and Industrial Engineering, 2011.
8. Lon D. Gowen, James S. Collofello and Frank W. Callis, "Preliminary Hazard Analysis for Safety-critical Software Systems", Eleventh Annual International Phoenix Conference, 1992.
9. P. H. Jesty D. D. Ward and Ward and R. S. Rivett, "Hazard Analysis for Programmable Automotive System", International Conference on Institution of Engineering and Technology System Safety, 2007.
10. John N. Balog, Annabelle Boyd and James E. Caton. The Public Transportation System Security and Emergency Preparedness Planning Guide, Report on U. S. Department of Transportation, 2003.
11. Tye Brady, Edward Robertson, Chirold Epp, Stephen Paschall and Doug Zimpfer, "Hazard Detection Methods for Lunar landing", IEEE Aerospace Conference, 2009.
12. Karen Allenby and Tim Kelly, "Deriving Safety Requirements using Scenarios", Fifth IEEE International Symposium on Requirements Engineering, 2001.
13. Jianwen Xiang, Kokichi Futatsugi and Yanxiang He, "Fault Tree and Formal Method in System Safety Analysis", Fourth International Conference on Computer and Information Technology, 2004.
14. Clifton A. Ericson. Hazard Analysis Techniques for System Safety, John Wiley & Sons, 2005.
15. Neil Storey, Safety-critical Computer Systems, Addison-Wesley, 1996.
16. Nuo Zhao, Tingdi Zhao and Jin Tian, "Realibility Centered Preliminary Hazard Analysis", Realibility and Maintainability Symposium, 2009.
17. Z. H. Klim, "Preliminary Hazard Analysis for Design Alternatives based on Fuzzy Methodology", IEEE Fuzzy Information Conference, 2004.
18. Alper Pahsa, T. Arinc Bayazit, Gokcen Alat, and Buyurman Baykal, "Fault Tree Analysis of Fire Hazard of a Power Distribution Cabinet with Petri Nets", IEEE International Conference on Systems Man and Cybernetis, 2010.
19. Kokichi Futatsugi, "Verifying Specification with Proof Scores in CafeOBJ", IEEE International Conference on Automated Software Engineering, 2006.
20. Clifton A. Ericson, "Fault Tree Analysis-A History", 17th International Systems Safety Conference, 1999.
21. Peter L. Goddard, Raytheon and Troy, "Software FMEA Techniques", Annual Reliability and Maintainability Sysmposium, 2000.
22. James H. Graham, "FMECA Control for Software Development", Computer Software and Applications Conference, 2005.
23. Alireza Ahmadi and Peter Soderholm, "Assessment of Operational Consequences of Air-craft Failures: Using Event Tree Analysis", IEEE Transactions on Reliability, Volume 49, No. 2, June 2000.