Integrating safety and formal analyses using UML and PFS

Reliability Engineering and System Safety

Volumn 92, Issue 2, 2007, Pages 156-170

  Iwu, Frantz ^a   Galloway, Andy ^a   McDermid, John ^a   Toyn, Ian ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Embedded systems; Formal methods; Safety analysis; UML

Indexed keywords

EMBEDDED SYSTEMS; SYSTEMS ENGINEERING; THRUST REVERSAL; TURBOJET ENGINES;

FORMAL METHODS; PRACTICAL FORMAL SPECIFICATION (PFS); SAFETY ANALYSIS; SOFTWARE SYSTEMS; UML;

ACCIDENT PREVENTION;

EID: 33750359175     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2005.11.060     Document Type: Article

References (24)

1. RTCA Inc. and EUROCAE. DO-178B: Software considerations in airborne systems and equipment certification, December 1992.
2. UK Ministry of Defence. Defence standard 00-55-the procurement of safety critical software in defence equipment, 1997.
3. Galloway A, Iwu F, McDermid J, Toyn I. On the development of safety-critical software. In: International conference on verified software: theories, tools, and experiments, Zürich, Switzerland, October, 2005, accepted for publication. http://vstte.ethz.ch/Files/galloway-iwu-mcdermid-toyn.pdf
4. King S., Hammond J., Chapman R., and Pryor A. Is proof more cost-effective than testing?. IEEE Trans Software Eng 26 8 (2000)
5. Rumbaugh J., Jacobson I., and Booch G. The unified modelling language reference manual (1998), Addison-Wesley, Reading, MA. 0-201-30998-X
6. The precise UML group. University of York, UK. Website http://www.puml.org/
7. Iwu F, Galloway AJ, Toyn I, McDermid JA. Practical formal specification for embedded control systems. In: Proceedings of the 11th IFAC symposium on information control problems in manufacturing, INCOM 2004, Brazil, April 2004.
8. Galloway AJ, Cockram TJ, McDermid JA. Experiences with the application of discrete formal methods to the development of engine control software. In: Proceedings of the distributed computer control systems (DCCS) IFAC, September 1998.
9. McDermid J.A., Galloway A.J., et al. Towards industrially relevant formal methods: three small steps, one giant leap. Proceedings of the international conference on formal engineering methods (ICFEM) 1998 (1998), IEEE Press, New York
10. Burton S, Clark J, Galloway A, McDermid J. Automated V&V for high integrity systems, a targeted formal methods approach. In: Proceedings of the NASA Langley formal methods workshop, 13-15 June 2000.
11. Leveson N, Heimdahl MPE, Hildreth H, Reese JD. Requirements specification for process control systems. IEEE Trans Software Eng 1994; 20(9).
12. Schneider S, Treharne H. Verifying controlled components. In: Proceedings of the fourth international conference on integrated formal methods: IFM 2004, Canterbury, UK, Lecture notes in computer science, vol. 2999, April 4-7. Berlin: Springer; 2004.
13. Toyn I, Galloway AJ. Proving properties of Stateflow models using ISO standard Z and CADiZ. In: Proceedings of the fourth international conference of B and Z users ZB2005, Lecture notes in computer science, vol. 3455, Guildford, UK, Berlin: Springer; 2005.
14. Toyn I. Simulink/Stateflow analyser (SSA) user manual. Document number PFS3/TR/03.1, The University of York, York, UK, 2003.
15. Leveson NG. Safeware: system safety and computers. Reading, MA: Addison-Wesley; 1995. ISBN: 01201-11972-2.
16. ARP 4761. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment (1996), Society of Automotive Engineers, Inc.
17. UK Ministry of Defence. Defence standard 00-58-HAZOP studies on systems containing programmable electronics (1996), HMSO
18. Lano K, Clark D, Androutsopoulos K. Safety and security analysis of object oriented models. Lecture Notes in Computer Science, vol. 2434, Berlin: Springer; 2002.
19. Hawkins R, Toyn I, Bate I. An approach to designing safety critical systems using the unified modelling language. In: Proceedings of the UML'03 workshop, 2003.
20. Hawkins R, McDermid J. Developing safety contracts for OO systems. In: Proceedings of the 21st international system safety conference, 2003.
21. Allenby K., and Kelly T. Deriving safety requirements using scenarios. Proceedings of the Fifth IEEE international symposium on requirements engineering (RE'01) (2001), IEEE Computer Society Press, Silver Spring, MD
22. Blow JR. Use of formal methods in the development of safety critical control software. PhD thesis, University of York, York, UK, 2002.
23. The Jet Engine, Rolls-Royce Plc, 1996.
24. Douglass B.P. In: Booch, Jacobson, and Rumbaugh (Eds). Doing hard time-developing real-time systems with UML, objects, frameworks, and patterns. Object technology series (1999), Addison-Wesley, New York