Integrating safety and formal analyses using UML and PFS

  title={Integrating safety and formal analyses using UML and PFS},
  author={Frantz Iwu and Andy Galloway and John A. McDermid and Ian Toyn},
  journal={Rel. Eng. & Sys. Safety},
Where software systems are safety critical, for example in aircraft engine control, it is necessary to carry out safety analysis on designs in support of certification. We argue that there is also significant value in formally validating such a design. Few ‘‘classical’’ formal notations and methods are geared towards embedded systems. We illustrate one such method known as Practical Formal Specification (PFS), showing how it can be integrated in a UML context with various forms of safety… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 21 extracted citations


Publications referenced by this paper.
Showing 1-10 of 21 references

Developing safety contracts for OO systems

  • R Hawkins, J. McDermid
  • Proceedings of the 21st international system…
  • 2003

Simulink/Stateflow analyser (SSA) user manual. Document number PFS3/TR/03.1, The University

  • I. Toyn
  • 2003
1 Excerpt

Similar Papers

Loading similar papers…