Safety requirements and fault trees using retrenchment

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

Volumn 3219, Issue , 2004, Pages 210-223

  Danach, R ^a   Cross, R ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORESTRY;

ABSTRACT MODELING; EXTENDED SYSTEMS; FORMAL MODELLING; INJECTION PROCESS; MODEL EVOLUTION; SAFETY ANALYSIS; SAFETY CRITICAL SYSTEMS; SAFETY REQUIREMENTS;

SECURITY SYSTEMS;

EID: 35048850035     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (28)

1. J R Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. R Banach. Retrenchment and system properties. Submitted.
3. R Banach and C Jeske. Output retrenchments, defaults, stronger compositions, feature engineering. Submitted.
4. R Banach and M Poppleton. Engineering and theoretical underpinnings of retrenchment. Submitted.
5. R Banach and M Poppleton. Retrenchment: An engineering variation on refinement. B98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, LNCS, 1393:129-147, 1998.
6. R Banach and M Poppleton. Retrenchment and punctured simulation. Proc. IFM-99, Springer, Araki, Gallway, Taguchi (eds.):457-476, 1999.
7. R Banach and M Poppleton. Sharp retrenchment, modulated refinement and punctured simulation. Form. Asp. Comp., 11:498-540, 1999.
8. R Banach and M Poppleton. Retrenching partial requirements into system definitions: A simple feature interaction case study. Requirements Engineering Journal, 8:266-288, 2003.
9. E Boiten and J Derrick. Io-refinement in Z. In A Evans, D Duke, and T Clark, editors, Electronic Workshops in Computing. Springer-Verlag, September 1998. Proc. Third BCS-FACS Northern Formal Methods Workshop. Ilkley, U.K.
10. J P Bowen and S Stavridou. Formal methods and software safety. In H. H. Prey, editor, Safety of Computer Control Systems (SAFECOMP), pages 93-98. Pergamon Press, October 1992. Proc. IFAC Symposium, Zurich, Switzerland.
11. M Bozzano and A Villafiorita. Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform. Computer Safety, Reliability, and Security, LNCS, 2788:49-62, 2003.
12. M Bozzano and A Villafiorita. Integrating fault tree analysis with event ordering information. Proc. ESREL 2003, pages 247-254, 2003.
13. M Bozzano, A Villafiorita, et al. ESACS: An integrated methodology for design and safety analysis of complex systems. Proc. ESREL 2003, pages 237-245, 2003.
14. M Bozzano, A Villafiorita, et al. Improving safety assessment of complex systems: An industrial case study. International Symposium of Formal Methods Europe (FME 2003), Pisa, Italy, LNCS, 2805:208-222, September 2003.
15. W P de Roever and K Engelhardt. Data Refinement Model-Oriented Proof methods and their Comparison. Cambridge University Press, 1998.
16. J Derrick and E Boiten. Refinement in Z and Object-Z: Foundations and Advanced Applications. Springer-Verlag UK, 2001.
17. J Jacky. The Way of Z. Cambridge University Press, 1997.
18. S Liu and R Adams. Limitations of formal methods and an approach to improvement. Proc. 1995 Asia-Pacific Software Engineering Conference (APSEC'95), IEEE Computer Society Press, Brisbane, Australia, pages 498-507, December 1995.
19. S Liu, V Stavridou, and B Duterte. The practice of formal methods in safetycritical systems. The Journal of Systems and Software, 28(1):77-87, January 1995.
20. M Poppleton and R Banach. Structuring retrenchments in B by decomposition. International Symposium of Formal Methods Europe (FME SOUS), Pisa, Italy, LNCS, 2805:814-833, September 2003.
21. M Poppleton and R Banach. Requirements validation by lifting retrenchments in B. In Proc. 9th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-04), Florence, Italy. IEEE Computer Society Press, 2004. to appear.
22. M R Poppleton. Formal methods for Continuous Systems: Liberalising Refinement in B. PhD thesis, University of Manchester, Computer Science Dept., 2001.
23. B Potter, J Sinclair, and D Till. An Introduction to Formal Specification and Z. Prentice Hall, second edition, 1996.
24. S Schneider. The B-Method: An Introduction. PALGRAVE, 2001.
25. E Sekerinski and K Sere. Program Development by Refinement: Case Studies Using the B-Method. Springer, 1998.
26. J M Spivey. The Z Notation: A Reference Manual. Prentice-Hall, 1989.
27. J Woodcock and J Davies. Using Z, Specification, Refinement and Proof. Prentice Hall, 1996.
28. J C P Woodcock and C C Morgan. Refinement of state-based concurrent systems. Formal Methods in Software Development, LNCS, 428, 1990.