Toward integrated methods for high-assurance systems

I. Ling Yen*, Raymond Paul, Kinji Mori

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

102 Citations (Scopus)


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 languageEnglish
Pages (from-to)32-34
Number of pages3
Issue number4
Publication statusPublished - 1998 Apr
Externally publishedYes

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Hardware and Architecture
  • Software


Dive into the research topics of 'Toward integrated methods for high-assurance systems'. Together they form a unique fingerprint.

Cite this