A high assurance space on-board distributed computer system

Hiroyuki Yashiro; Yoshirou Takahashi; Teruo Fujiwara; Kinji Mori

doi:10.1109/AERO.2003.1235175

A high assurance space on-board distributed computer system

Hiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara, Kinji Mori

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Abstract

This paper verifies the assurance required of highly reliable, low cost, highly functional and high performance space on-board computers that use commercial parts, and proposes an architecture and technology that realize the necessary assurance. With such technology, the on-board computer attains not only fault tolerance but also high versatility that allows it to be applied to any space vehicle and space application as well as enabling easy testing and verification. This is demonstrated through a functional verification test and radiation test using a breadboard model (BBM).

Original language	English
Title of host publication	IEEE Aerospace Conference Proceedings
Pages	2501-2509
Number of pages	9
Volume	5
DOIs	https://doi.org/10.1109/AERO.2003.1235175
Publication status	Published - 2003
Externally published	Yes
Event	2003 IEEE Aerospace Conference - Big Sky, MT Duration: 2003 Mar 8 → 2003 Mar 15

Other

Other	2003 IEEE Aerospace Conference
City	Big Sky, MT
Period	03/3/8 → 03/3/15

Fingerprint

ASJC Scopus subject areas

Aerospace Engineering
Space and Planetary Science

Cite this

Yashiro, H., Takahashi, Y., Fujiwara, T., & Mori, K. (2003). A high assurance space on-board distributed computer system. In IEEE Aerospace Conference Proceedings (Vol. 5, pp. 2501-2509). [1235175] https://doi.org/10.1109/AERO.2003.1235175

@inproceedings{d58252cd92834a60aa295b29e7d328c8,

title = "A high assurance space on-board distributed computer system",

abstract = "This paper verifies the assurance required of highly reliable, low cost, highly functional and high performance space on-board computers that use commercial parts, and proposes an architecture and technology that realize the necessary assurance. With such technology, the on-board computer attains not only fault tolerance but also high versatility that allows it to be applied to any space vehicle and space application as well as enabling easy testing and verification. This is demonstrated through a functional verification test and radiation test using a breadboard model (BBM).",

author = "Hiroyuki Yashiro and Yoshirou Takahashi and Teruo Fujiwara and Kinji Mori",

year = "2003",

doi = "10.1109/AERO.2003.1235175",

language = "English",

isbn = "078037651X",

volume = "5",

pages = "2501--2509",

booktitle = "IEEE Aerospace Conference Proceedings",

note = "2003 IEEE Aerospace Conference ; Conference date: 08-03-2003 Through 15-03-2003",

}

TY - GEN

T1 - A high assurance space on-board distributed computer system

AU - Yashiro, Hiroyuki

AU - Takahashi, Yoshirou

AU - Fujiwara, Teruo

AU - Mori, Kinji

PY - 2003

Y1 - 2003

N2 - This paper verifies the assurance required of highly reliable, low cost, highly functional and high performance space on-board computers that use commercial parts, and proposes an architecture and technology that realize the necessary assurance. With such technology, the on-board computer attains not only fault tolerance but also high versatility that allows it to be applied to any space vehicle and space application as well as enabling easy testing and verification. This is demonstrated through a functional verification test and radiation test using a breadboard model (BBM).

AB - This paper verifies the assurance required of highly reliable, low cost, highly functional and high performance space on-board computers that use commercial parts, and proposes an architecture and technology that realize the necessary assurance. With such technology, the on-board computer attains not only fault tolerance but also high versatility that allows it to be applied to any space vehicle and space application as well as enabling easy testing and verification. This is demonstrated through a functional verification test and radiation test using a breadboard model (BBM).

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

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

U2 - 10.1109/AERO.2003.1235175

DO - 10.1109/AERO.2003.1235175

M3 - Conference contribution

AN - SCOPUS:84879370905

SN - 078037651X

SN - 9780780376519

VL - 5

SP - 2501

EP - 2509

BT - IEEE Aerospace Conference Proceedings

T2 - 2003 IEEE Aerospace Conference

Y2 - 8 March 2003 through 15 March 2003

ER -

Access to Document

10.1109/AERO.2003.1235175