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
出版物ステータスPublished - 2000
外部発表Yes
イベントInternational Workshop on Autonomous Decentralized System - Chengdu, China
継続期間: 2000 9 212000 9 23

Other

OtherInternational Workshop on Autonomous Decentralized System
China
Chengdu
期間00/9/2100/9/23

Fingerprint

Spacecraft
Computer systems
Fault tolerance
Printed circuit boards

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Computer Science Applications
  • Control and Systems Engineering

これを引用

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

A high assurance on-board computer system for use on spacecraft. / Yashiro, H.; Nohara, M.; Fujiwara, T.; Mori, K.

Proceedings - 2000 International Workshop on Autonomous Decentralized System. Institute of Electrical and Electronics Engineers Inc., 2000. p. 104-109 880894.

研究成果: Conference contribution

Yashiro, H, Nohara, M, Fujiwara, T & Mori, K 2000, A high assurance on-board computer system for use on spacecraft. : 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
Yashiro H, Nohara M, Fujiwara T, Mori K. A high assurance on-board computer system for use on spacecraft. : Proceedings - 2000 International Workshop on Autonomous Decentralized System. Institute of Electrical and Electronics Engineers Inc. 2000. p. 104-109. 880894 https://doi.org/10.1109/IWADS.2000.880894
Yashiro, H. ; Nohara, M. ; Fujiwara, T. ; Mori, K. / A high assurance on-board computer system for use on spacecraft. Proceedings - 2000 International Workshop on Autonomous Decentralized System. Institute of Electrical and Electronics Engineers Inc., 2000. pp. 104-109
@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.",

}

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.

ER -