Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project

by A. Wassyng and M. Lawford

Abstract: This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Canada. We begin with a brief description of the project and then show how we modified processes and notations developed in the academic community so that they are acceptable for use in industry. We highlight some of the topics that proved to be particularly challenging and that would benefit from more in-depth study without the pressure of project deadlines.

Download

FME03.ps (1700k, postscript) OR FME03.pdf (1600k, PDF)

BibTeX Entry

@InProceedings{WasLaw:2003,
  author =       {Alan Wassyng and Mark Lawford},
  title =        {Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project},
  editor =       {K. Araki and S. Gnesi and D. Mandrioli},
  booktitle =    {FME 2003: International Symposium of Formal Methods Europe Proceedings},
  year =         {2003},
  month =        aug,
  series =       "Lecture Notes in Computer Science",
  volume =       "2805",
  publisher =    {Springer-Verlag},
  pages =        {133--153},
}