Toward integrated methods for high-assurance systems

I. Ling Yen; Raymond Paul; Kinji Mori

doi:10.1109/2.666840

Toward integrated methods for high-assurance systems

I. Ling Yen^*, Raymond Paul, Kinji Mori

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

102 Citations (Scopus)

Abstract

Enabled by rapid improvements in CPU power. networks and software technology, the drive for automation and information now permeates everything from planning and control to interactive multimedia. Computers now control most of the systems with which we interact. Relying on computers to this degree fosters an urgent need for high-assurance systems (HAS). Such systems must be reliable, available, safe, secure and timely. HASs are state machines, in which nodes represent reachable system states and links represent state transitions. A system is a HAS if every reachable state is highly safe and if the probability of transitioning from a normal state to a faulty state is very low.

Original language	English
Pages (from-to)	32-34
Number of pages	3
Journal	Computer
Volume	31
Issue number	4
DOIs	https://doi.org/10.1109/2.666840
Publication status	Published - 1998 Apr
Externally published	Yes

ASJC Scopus subject areas

Computer Graphics and Computer-Aided Design
Hardware and Architecture
Software

Access to Document

10.1109/2.666840

Cite this

@article{d450fcaaeabf4b07bf83a2dc0f0e5b08,

title = "Toward integrated methods for high-assurance systems",

abstract = "Enabled by rapid improvements in CPU power. networks and software technology, the drive for automation and information now permeates everything from planning and control to interactive multimedia. Computers now control most of the systems with which we interact. Relying on computers to this degree fosters an urgent need for high-assurance systems (HAS). Such systems must be reliable, available, safe, secure and timely. HASs are state machines, in which nodes represent reachable system states and links represent state transitions. A system is a HAS if every reachable state is highly safe and if the probability of transitioning from a normal state to a faulty state is very low.",

author = "Yen, {I. Ling} and Raymond Paul and Kinji Mori",

year = "1998",

month = apr,

doi = "10.1109/2.666840",

language = "English",

volume = "31",

pages = "32--34",

journal = "Computer",

issn = "0018-9162",

publisher = "IEEE Computer Society",

number = "4",

}

TY - JOUR

T1 - Toward integrated methods for high-assurance systems

AU - Yen, I. Ling

AU - Paul, Raymond

AU - Mori, Kinji

PY - 1998/4

Y1 - 1998/4

N2 - Enabled by rapid improvements in CPU power. networks and software technology, the drive for automation and information now permeates everything from planning and control to interactive multimedia. Computers now control most of the systems with which we interact. Relying on computers to this degree fosters an urgent need for high-assurance systems (HAS). Such systems must be reliable, available, safe, secure and timely. HASs are state machines, in which nodes represent reachable system states and links represent state transitions. A system is a HAS if every reachable state is highly safe and if the probability of transitioning from a normal state to a faulty state is very low.

AB - Enabled by rapid improvements in CPU power. networks and software technology, the drive for automation and information now permeates everything from planning and control to interactive multimedia. Computers now control most of the systems with which we interact. Relying on computers to this degree fosters an urgent need for high-assurance systems (HAS). Such systems must be reliable, available, safe, secure and timely. HASs are state machines, in which nodes represent reachable system states and links represent state transitions. A system is a HAS if every reachable state is highly safe and if the probability of transitioning from a normal state to a faulty state is very low.

UR - http://www.scopus.com/inward/record.url?scp=0032046684&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0032046684&partnerID=8YFLogxK

U2 - 10.1109/2.666840

DO - 10.1109/2.666840

M3 - Article

AN - SCOPUS:0032046684

SN - 0018-9162

VL - 31

SP - 32

EP - 34

JO - Computer

JF - Computer

IS - 4

ER -

Toward integrated methods for high-assurance systems

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this