Listings in High Integrity & 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.

Showing 1 of 1 results

Download our app to your mobile phone