Keyword : high assurance system


Autonomous Step-by-Step System Construction Technique Based on Assurance Evaluation
Kazuo KERA Keisuke BEKKI Kinji MORI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/10/01
Vol. E86-D  No. 10 ; pp. 2145-2153
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks)
Category: Reliability and Availability
Keyword: 
autonomous decentralized systemhigh assurance systemsystem construction way
 Summary | Full Text:PDF(1.4MB)

Testing for High Assurance System by FSM
Juichi TAKAHASHI Yoshiaki KAKUDA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/10/01
Vol. E86-D  No. 10 ; pp. 2114-2120
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks)
Category: Testing
Keyword: 
software testinghigh assurance systemautomated testingstatistical testingcode coverage
 Summary | Full Text:PDF(334.7KB)

Assurance Technology for Growing System and Its Application to Tokyo Metropolitan Railway Network
Kazuo KERA Keisuke BEKKI Kazunori FUJIWARA Keiji KAMIJYO Fumio KITAHARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/10/01
Vol. E84-D  No. 10 ; pp. 1341-1349
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)
Category: Railway System
Keyword: 
autonomous decentralized system (ADS)high assurance systemassurance technologytraffic management system
 Summary | Full Text:PDF(1.4MB)