Search PubMed⌕ Search
Home/Archive/PubMed

PubMed · 6512441

Building safe computer-controlled systems.

N G Leveson
View original source ↗Export metadata ↓

Abstract

Software safety becomes an issue when life-critical systems are built with computers as important components. In order to make these systems safe, software developers have concentrated on making them ultrareliable. Unfortunately, this will not necessarily make them safe. This paper discusses why reliability enhancement techniques are not adequate to ensure safety and describes what needs to be done to protect life and property in these systems.

Explore related subjects

ComputersEquipment SafetyInformation SystemsMonitoring, PhysiologicComparative StudyJournal ArticleResearch Support, Non-U.S. Gov't

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

N G Leveson. 1984. Building safe computer-controlled systems.. https://doi.org/10.1007/bf02285257

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related citations

PubMed1992

Molecular orbital study on the glutathione-dependent detoxication of ozonides.

The present paper describes a theoretical study on the mechanism underlying the reaction of cellular glutathione (GSH) with polyunsaturated fatty acid ozonides. The reaction can be catalyzed by glutathione S-transferases and leads to detoxication of the ozonides. Semi-empirical molecular orbital computer calculations suggest that the reaction of glutathione with ozonides involves a nucleophilic attack at one of the carbon atoms of the ozonide ring, instead of at one of the peroxidic oxygen atoms of the ozonide ring. This implies a mechanism different from that of the glutathione S-transferase-mediated reaction with hydroperoxides, previously proposed for the glutathione-dependent detoxication of fatty acid ozonides.

Computers↗