Malpas — Verification of a Safety Critical System

The growing demand for increasingly complex systems, including safety critical systems, is resulting in a tendency to meet this demand by the use of software rather than hardware to implement the increasing functionality. Justifications for this approach include the assumptions that: a) A software system is easier to enhance at a later date b) Using software makes it easier to implement complex functions. c) It is easier to specify software than hardware. d) The cost of replicating a software based system will be lower.