A high assurance on-board computer system for use on spacecraft

H. Yashiro; M. Nohara; T. Fujiwara; K. Mori

doi:10.1109/IWADS.2000.880894

A high assurance on-board computer system for use on spacecraft

H. Yashiro, M. Nohara, T. Fujiwara, K. Mori

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

A high-assurance on-board computer system that overcomes the weaknesses of conventional fault-tolerance technology is proposed. The system is designed so that its performance can be easily tested and verified. It is also designed to be flexible, which means that inexpensive and highly reliable on-board computers can be used not only now but also in the future, as the mission requirements change or technology advances.

本文言語	English
ホスト出版物のタイトル	Proceedings - 2000 International Workshop on Autonomous Decentralized System
出版社	Institute of Electrical and Electronics Engineers Inc.
ページ	104-109
ページ数	6
ISBN（印刷版）	0780365755, 9780780365759
DOI	https://doi.org/10.1109/IWADS.2000.880894
出版ステータス	Published - 2000
外部発表	はい
イベント	International Workshop on Autonomous Decentralized System - Chengdu, China 継続期間: 2000 9月 21 → 2000 9月 23

Other

Other	International Workshop on Autonomous Decentralized System
国/地域	China
City	Chengdu
Period	00/9/21 → 00/9/23

ASJC Scopus subject areas

コンピュータネットワークおよび通信
コンピュータサイエンスの応用
制御およびシステム工学

文献へのアクセス

10.1109/IWADS.2000.880894

他のファイルとリンク

引用スタイル

Yashiro, H, Nohara, M, Fujiwara, T & Mori, K 2000, A high assurance on-board computer system for use on spacecraft. in Proceedings - 2000 International Workshop on Autonomous Decentralized System., 880894, Institute of Electrical and Electronics Engineers Inc., pp. 104-109, International Workshop on Autonomous Decentralized System, Chengdu, China, 00/9/21. https://doi.org/10.1109/IWADS.2000.880894

@inproceedings{56ebc1464c3448d2b535126f776b3638,

title = "A high assurance on-board computer system for use on spacecraft",

abstract = "A high-assurance on-board computer system that overcomes the weaknesses of conventional fault-tolerance technology is proposed. The system is designed so that its performance can be easily tested and verified. It is also designed to be flexible, which means that inexpensive and highly reliable on-board computers can be used not only now but also in the future, as the mission requirements change or technology advances.",

author = "H. Yashiro and M. Nohara and T. Fujiwara and K. Mori",

year = "2000",

doi = "10.1109/IWADS.2000.880894",

language = "English",

isbn = "0780365755",

pages = "104--109",

booktitle = "Proceedings - 2000 International Workshop on Autonomous Decentralized System",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "International Workshop on Autonomous Decentralized System ; Conference date: 21-09-2000 Through 23-09-2000",

}

TY - GEN

T1 - A high assurance on-board computer system for use on spacecraft

AU - Yashiro, H.

AU - Nohara, M.

AU - Fujiwara, T.

AU - Mori, K.

PY - 2000

Y1 - 2000

N2 - A high-assurance on-board computer system that overcomes the weaknesses of conventional fault-tolerance technology is proposed. The system is designed so that its performance can be easily tested and verified. It is also designed to be flexible, which means that inexpensive and highly reliable on-board computers can be used not only now but also in the future, as the mission requirements change or technology advances.

AB - A high-assurance on-board computer system that overcomes the weaknesses of conventional fault-tolerance technology is proposed. The system is designed so that its performance can be easily tested and verified. It is also designed to be flexible, which means that inexpensive and highly reliable on-board computers can be used not only now but also in the future, as the mission requirements change or technology advances.

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

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

U2 - 10.1109/IWADS.2000.880894

DO - 10.1109/IWADS.2000.880894

M3 - Conference contribution

AN - SCOPUS:34547518475

SN - 0780365755

SN - 9780780365759

SP - 104

EP - 109

BT - Proceedings - 2000 International Workshop on Autonomous Decentralized System

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - International Workshop on Autonomous Decentralized System

Y2 - 21 September 2000 through 23 September 2000

ER -

A high assurance on-board computer system for use on spacecraft

抄録

Other

ASJC Scopus subject areas

文献へのアクセス

他のファイルとリンク

フィンガープリント

引用スタイル