• Publications
  • Influence
The choice of computer languages for use in safety-critical systems
The paper reviews the choice of computer language for use in safety-critical systems. Expand
  • 47
  • 3
  • PDF
Implementing Safety-Critical Systems: The VIPER Microprocessor
During the last five years industry has progressively spread the use of commercial microprocessors into many areas of real-time control. Expand
  • 69
  • 2
Application of formal methods to the VIPER microprocessor
The paper explains the various layers of documentation produced, starting with Michael Gordon's LCF-LSM (based on Meta-Language, ML) at the higher levels, proceeding via the use of John Morison's ELLA hardware description language at lower levels, to multiple VLSI implementations. Expand
  • 27
High Integrity Computing
This paper reviews three areas of research which have a major bearing on the integrity of future digital monitoring and control systems. Expand
  • 9
Tools and techniques for the testing of safety-critical software
As a result of the DTI/SERC research initiative on safety-critical systems a major study has been conducted into the benefits and shortcomings of the available tools and techniques for computer-aidedExpand
  • 11
Hardware Proofs Using LCF-LSM and ELLA.
A method is described for writing formal specifications for a digital system, a high level of design which satisfies this requirement and then a gate level realisation, using the languages LCF -LSM and ELLA. Expand
  • 7
A mathematical approach to the protection of grade crossings
  • 1
"Birds-of-a-Feather-Group" on Safety Critical Systems
This special interest group consisted of 16 delegates at the ASI and met on four occasions to debate the specific issues raised by safety critical real time control systems. Expand