Toward integrated methods for high-assurance systems

I. Ling Yen*, Raymond Paul, Kinji Mori

*この研究の対応する著者

研究成果: Article査読

103 被引用数 (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.

本文言語English
ページ(範囲)32-34
ページ数3
ジャーナルComputer
31
4
DOI
出版ステータスPublished - 1998 4月
外部発表はい

ASJC Scopus subject areas

  • コンピュータ グラフィックスおよびコンピュータ支援設計
  • ハードウェアとアーキテクチャ
  • ソフトウェア

フィンガープリント

「Toward integrated methods for high-assurance systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル