PubMed Health⌕ 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

PubMed1997

Semantic category imprecision: a connectionist study of the boundaries of word meanings.

The view that word meanings have a discrete symbolic character has led to misleading impressions about their neurobiological basis. We hypothesize that this lexical semantic knowledge is imprecise, overlapping, and widely distributed throughout the human temporal lobes. The present study uses a computer modeling experiment to investigate this hypothesis. The objects in the study are "cups" and "bowls." Thirty connectionist networks were taught that wide containers without handles are "bowls" and that narrow containers with handles are "cups." The network was then asked to identify 14 different cylindrical containers of seven different widths, some with handles and others without. When compared to a study of human performance, the networks manifested the normal pattern of object naming and the normal pattern of individual variability.

Computers↗