By the same authors

From the same journal

Analysing high-integrity systems

Research output: Contribution to journalArticle

Published copy (DOI)



Publication details

JournalComputing & control engineering journal
DatePublished - 1 Feb 1994
Issue number1
Pages (from-to)18 -23
Original languageUndefined/Unknown


Computers are being used increasingly in systems where the cost of error or failure might be extremely high. Some systems depend upon computers to maintain safety or contribute to the maintenance of safety. Examples include the primary protection system for certain nuclear reactors and advanced flight control systems such as those of the A320 Airbus (often erroneously termed 'fly-by-wire' systems). In other systems, incorrect operation may pose a threat to security, e.g. compromising the confidentiality and integrity of certain military information. Costs of failure may simply be financial, e.g. the unavailability of automated share dealing systems or banking systems. It is becoming increasingly common to talk about 'enterprise critical' systems whose failure could result in severe harm, e.g. bankruptcy, to an enterprise or organisation. The criticality of such systems means that all practical measures should be taken to ensure that the associated risks are tolerable. This implies (inter alia) that such systems (including the software components thereof) must be subject to extensive analysis and testing before they are deployed. In many cases there is a formal clearance or certification process prior to deployment.

    Research areas

  • certification process, cost, enterprise critical systems, error, high-integrity systems, military information, safety, safety maintenance, security, system analysis, system failure, system testing, data integrity, fault tolerant computing, security of data, software reliability

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations