An automated failure mode and effect analysis based on high-level design specification with behavior trees

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3771 LNCS, Issue , 2005, Pages 129-149

  Grunske, Lars ^a   Lindsay, Peter ^a   Yatapanage, Nisansala ^a,b   Winter, Kirsten ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b GRIFFITH UNIVERSITY   (Australia)

Author keywords

Automated Hazard Analysis; Behavior Trees; FMEA; High Level Design Specification; Model Checking; SAL

Indexed keywords

ACCIDENT PREVENTION; AUTOMATION; ERROR ANALYSIS; INTEGRATION; MATHEMATICAL MODELS; SECURITY SYSTEMS; TREES (MATHEMATICS);

AUTOMATED HAZARD ANALYSIS; BEHAVIOR TREES; FMEA; HIGH-LEVEL DESIGN SPECIFICATION;

FAILURE ANALYSIS;

EID: 33646751910     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11589976_9     Document Type: Conference Paper

References (25)

1. Lutz, R.R.: Software engineering for safety: a roadmap. In: ICSE - Future of SE Track. (2000) 213-226
2. Neumann, P.G.: Computer-Related Risks. ACM Press / Addison Wesley (1995)
3. Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley (1995)
4. Department of Defence: MIL-STD-1629A, Procedures for Performing a Failure Mode, Effects and Criticality Analysis. Washington (1980)
5. Clarke, E., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)
6. Heitmeyer, C., Kirby, J., Labaw, B., Archer, M., Bharadwaj, R.: Using abstraction and model checking to detect safety violations in requirements specifications. IEEE Transactions on Software Engineering 24 (1998) 927-947
7. Atlee, J., Cannon, J.: State-based model checking of event-driven system requirements. IEEE Transactions on Software Engineering 19 (1993) 24-40
8. Tiwari, A., Shankar, N., Rushby, J.: Invisible formal methods for embedded control systems. Proceedings of the IEEE 91 (2003) 29-39
9. Emerson, E.A.: Temporal and modal logic. In van Leeuwen, J., ed.: Handbook of Theoretical Coomputer Science. Volume B. Elsevier Science Publishers (1990)
10. de Moura, L., Owre, S., Rueß, H., Rushby, J., Shankar, N., Sorea, M., Tiwari, A.: SAL 2. In Alur, R., Peled, D., eds.: Int. Conference on Computer-Aided Verification, (CAV 2004). Volume 3114 of LNCS., Springer-Verlag (2004) 496-500
11. Back, R.J., von Wright, J.: Trace refinement of action systems. In Jonsson, B., Parrow, J., eds.: Int. Conference on Concurrency Theory (CONCUR'94). Volume 836 of LNCS., Springer-Verlag (1994) 367-384
12. Dromey, R.G.: From requirements to design: Formalizing the key steps. In: Int. Conference on Software Engineering and Formal Methods (SEFM 2003), IEEE Computer Society (2003) 2-13
13. Wen, L., Dromey, R.G.: From requirements change to design change: A formal path. In: Int. Conference on Software Engineering and Formal Methods (SEFM 2004), IEEE Computer Society (2004) 104-113
14. GSE: Genetic Software Engineering: http://www.sqi.gu.edu.au/gse (2005)
15. Bitsch, F.: Safety patterns - the key to formal specification of safety requirements. In: Int. Conference on Computer Safety, Reliability and Security (SAFECOMP 2001). Volume 2187 of LNCS., Springer-Verlag (2001) 176-189
16. Atchison, B., Lindsay, P., Tombs, D.: A case study in software safety assurance using formal methods. Technical report, University of Queensland, SVRC 99-31, www.itee.uq.edu.au/~pal/SVRC/tr99-31.pdf (1999)
17. McDermid, J., Kelly, T.: Industrial press: Safety case. Technical report, High Integrity Systems Engineering Group, University of York (1996)
18. Smith, C., Winter, K., Hayes, I., Dromey, G., Lindsay, P., Carrington, D.: An environment for building a system out of its requirements. In: Int. Conference on Automated Software Engineering (ASE 2004), IEEE Computer Society (2004) 398-399
19. Abdulla, P.A., Deneux, J., Akerlund, O.: Designing safe, reliable systems using Scade. In: Int. Symposium on Leveraging Applications of Formal Methods (ISoLA'04). (2004)
20. Bozzano, M., Villafiorita, A.: Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform. In: Int. Conference on Computer Safety, Reliability, and Security (SAFECOMP 2003). Volume 2788 of LNCS., Springer-Verlag (2003)
21. Papadopoulos, Y., Parker, D., Grante, C.: Automating the failure modes and effects analysis of safety critical systems. In: Int. Symposium on High-Assurance Systems Engineering (HASE 2004), IEEE Computer Society (2004) 310-311
22. Papadopoulos, Y., McDermid, J.A., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Int. Journal of Reliability Engineering and System Safety 71 (2001) 229-247
23. Rae, A., Lindsay, P.: A behaviour-based method for fault tree generation. In: Int. System Safety Conference, System Safety Society (2004) 289-298
24. Hoare, C.: Communicating Sequential Processes. Series in Computer Science. Prentice Hall (1985)
25. Cleaveland, R., Sims, S.: The NCSU Concurrency Workbench. In Alur, R., Henzinger, T., eds.: Int. Conference on Computer-Aided Verification (CAV'96). Volume 1102 of LNCS., Springer-Verlag (1996) 394-397