{"title":"A high assurance on-board computer system for use on spacecraft","authors":"H. Yashiro, M. Nohara, T. Fujiwara, K. Mori","doi":"10.1109/IWADS.2000.880894","DOIUrl":null,"url":null,"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.","PeriodicalId":248775,"journal":{"name":"Proceedings 2000 International Workshop on Autonomous Decentralized System (Cat. No.00EX449)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 2000 International Workshop on Autonomous Decentralized System (Cat. No.00EX449)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IWADS.2000.880894","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
