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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of IEEE International Symposium on High Assurance Systems Engineering
PublisherIEEE Computer Society
Pages79-86
Number of pages8
Volume2002-January
ISBN (Print)0769517692
DOIs
Publication statusPublished - 2002
Externally publishedYes
Event7th IEEE International Symposium on High Assurance Systems Engineering, HASE 2002 - Tokyo, Japan
Duration: 2002 Oct 232002 Oct 25

Other

Other7th IEEE International Symposium on High Assurance Systems Engineering, HASE 2002
CountryJapan
CityTokyo
Period02/10/2302/10/25

Fingerprint

Real time systems
Availability

Keywords

  • Availability
  • Control systems
  • Information processing
  • Maintenance
  • Paper technology
  • Real time systems
  • Reliability
  • Systems engineering and theory

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this

Kera, K., Bekki, K., Mori, K., & Masumoto, I. (2002). High assurance step-by-step autonomous construction technique for large real time system. In Proceedings of IEEE International Symposium on High Assurance Systems Engineering (Vol. 2002-January, pp. 79-86). [1173106] IEEE Computer Society. https://doi.org/10.1109/HASE.2002.1173106

High assurance step-by-step autonomous construction technique for large real time system. / Kera, K.; Bekki, K.; Mori, K.; Masumoto, I.

Proceedings of IEEE International Symposium on High Assurance Systems Engineering. Vol. 2002-January IEEE Computer Society, 2002. p. 79-86 1173106.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Kera, K, Bekki, K, Mori, K & Masumoto, I 2002, High assurance step-by-step autonomous construction technique for large real time system. in Proceedings of IEEE International Symposium on High Assurance Systems Engineering. vol. 2002-January, 1173106, IEEE Computer Society, pp. 79-86, 7th IEEE International Symposium on High Assurance Systems Engineering, HASE 2002, Tokyo, Japan, 02/10/23. https://doi.org/10.1109/HASE.2002.1173106
Kera K, Bekki K, Mori K, Masumoto I. High assurance step-by-step autonomous construction technique for large real time system. In Proceedings of IEEE International Symposium on High Assurance Systems Engineering. Vol. 2002-January. IEEE Computer Society. 2002. p. 79-86. 1173106 https://doi.org/10.1109/HASE.2002.1173106
Kera, K. ; Bekki, K. ; Mori, K. ; Masumoto, I. / High assurance step-by-step autonomous construction technique for large real time system. Proceedings of IEEE International Symposium on High Assurance Systems Engineering. Vol. 2002-January IEEE Computer Society, 2002. pp. 79-86
@inproceedings{f6f029dbc3f942eeb4a2d1251c0c777e,
title = "High assurance step-by-step autonomous construction technique for large real time system",
abstract = "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.",
keywords = "Availability, Control systems, Information processing, Maintenance, Paper technology, Real time systems, Reliability, Systems engineering and theory",
author = "K. Kera and K. Bekki and K. Mori and I. Masumoto",
year = "2002",
doi = "10.1109/HASE.2002.1173106",
language = "English",
isbn = "0769517692",
volume = "2002-January",
pages = "79--86",
booktitle = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",
publisher = "IEEE Computer Society",

}

TY - GEN

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

AU - Kera, K.

AU - Bekki, K.

AU - Mori, K.

AU - Masumoto, I.

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

KW - Availability

KW - Control systems

KW - Information processing

KW - Maintenance

KW - Paper technology

KW - Real time systems

KW - Reliability

KW - Systems engineering and theory

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

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

U2 - 10.1109/HASE.2002.1173106

DO - 10.1109/HASE.2002.1173106

M3 - Conference contribution

AN - SCOPUS:79955733865

SN - 0769517692

VL - 2002-January

SP - 79

EP - 86

BT - Proceedings of IEEE International Symposium on High Assurance Systems Engineering

PB - IEEE Computer Society

ER -