High assurance step-by-step autonomous construction technique for large real time system

K. Kera, K. Bekki, K. Mori, I. Masumoto

研究成果: Conference contribution

8 被引用数 (Scopus)

抄録

The recent large real time systems have the needs of growing systems including heterogeneous functions and operations. High assurance systems are very important for such systems. In order to realize the high assurance systems, we research the step-by-step system construction technique with assurance technology. In this paper we propose the functional reliability and the online functional availability as the best index to indicate the assurance property for step-by-step construction. According to the new index, the best solution for the step-by-step construction is the construction pattern to put the large functional units into online at first, and to put the small functional units into online gradually.

本文言語English
ホスト出版物のタイトルProceedings of IEEE International Symposium on High Assurance Systems Engineering
出版社IEEE Computer Society
ページ79-86
ページ数8
2002-January
ISBN(印刷版)0769517692
DOI
出版ステータスPublished - 2002
外部発表はい
イベント7th IEEE International Symposium on High Assurance Systems Engineering, HASE 2002 - Tokyo, Japan
継続期間: 2002 10月 232002 10月 25

Other

Other7th IEEE International Symposium on High Assurance Systems Engineering, HASE 2002
国/地域Japan
CityTokyo
Period02/10/2302/10/25

ASJC Scopus subject areas

  • ソフトウェア
  • 安全性、リスク、信頼性、品質管理

フィンガープリント

「High assurance step-by-step autonomous construction technique for large real time system」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル