A Review of high level languages, verification & testing tools for embedded safety critical systems (IM-SSU-006)

This report is concerned with an investigation into the suitability of high level language (HLL) for the programming of safety critical embedded computer systems. Particular emphasis is placed on the use of such systems in the control and monitoring of railways. Methods for the design, validation and testing of...