Formal Techniques for Safety-Critical Systems (FTSCS 2014)

  title={Formal Techniques for Safety-Critical Systems (FTSCS 2014)},
  author={Cyrille Artho and Peter Csaba {\"O}lveczky},
  journal={Sci. Comput. Program.},
There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields like power generation and distribution, avionics, and automotive, railway, and medical systems. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adoption of such methods in industry… CONTINUE READING