High Integrity and Safety Critical Computing

Research to understand high integrity hardware and software and their applications in defence equipment. Includes new developments in safety critical software (SCS), particularly new tools and methodologies used to investigate fault tolerance/detection, atomicity and liveness.
Also includes work on software quality and reliability issues in SCS and also work to improve knowledge of fault tolerant computing and fault tolerant software.

Defense Industry Terminology