Verification of assurance of space on-board distributed computer system

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)