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

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

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

2 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings - 2000 International Workshop on Autonomous Decentralized System
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages104-109
Number of pages6
ISBN (Print)0780365755, 9780780365759
DOIs
Publication statusPublished - 2000
Externally publishedYes
EventInternational Workshop on Autonomous Decentralized System - Chengdu, China
Duration: 2000 Sep 212000 Sep 23

Other

OtherInternational Workshop on Autonomous Decentralized System
CountryChina
CityChengdu
Period00/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

Cite this

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

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

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
Yashiro H, Nohara M, Fujiwara T, Mori K. A high assurance on-board computer system for use on spacecraft. In 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 -