loading...
High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System
Tokyo, Japan October 23-October 25
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HASE.2002.11731067th IEEE International Symposium on H ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Kazuo Kera, Keisuke Bekki, Kinji Mori, Issei Masumoto, "High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 79, 7th IEEE International Symposium on High Assurance Systems Engineering (HASE'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/HASE.2002.1173106,
author = {Kazuo Kera and Keisuke Bekki and Kinji Mori and Issei Masumoto},
title = {High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System},
journal ={High-Assurance Systems Engineering, IEEE International Symposium on},
volume = {0},
year = {2002},
issn = {1530-2059},
pages = {79},
doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2002.1173106},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - High-Assurance Systems Engineering, IEEE International Symposium on
TI - High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System
SN - 1530-2059
SP
EP
A1 - Kazuo Kera,
A1 - Keisuke Bekki,
A1 - Kinji Mori,
A1 - Issei Masumoto,
PY - 2002
KW - Autonomous decentralized system
KW - High assurance system
KW - System construction way
VL - 0
JA - High-Assurance Systems Engineering, IEEE International Symposium on
ER -
 
Kazuo Kera, Hitachi Ltd.
Keisuke Bekki, Hitachi Ltd.
Kinji Mori, Tokyo Institute of Technology
Issei Masumoto, Tokyo Institute of Technology
The recent large real time systems have the needs of growing systems including heterogeneous functions and operations. High assurance system is very important for such systems. In order to realize the high assurance system, 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.
Index Terms:
Autonomous decentralized system, High assurance system, System construction way
Citation:
Kazuo Kera, Keisuke Bekki, Kinji Mori, Issei Masumoto, "High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System," hase, pp.79, 7th IEEE International Symposium on High Assurance Systems Engineering (HASE'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.