一种在航天器上使用的高保证的机载计算机系统

Proceedings 2000 International Workshop on Autonomous Decentralized System (Cat. No.00EX449) Pub Date : 2000-09-21 DOI:10.1109/IWADS.2000.880894

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

{"title":"一种在航天器上使用的高保证的机载计算机系统","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":"{\"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}","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

摘要

提出了一种高保证的车载计算机系统，克服了传统容错技术的不足。系统的设计使其性能易于测试和验证。它的设计也是灵活的，这意味着廉价和高度可靠的机载计算机不仅可以在现在使用，而且在未来，随着任务要求的变化或技术的进步。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings 2000 International Workshop on Autonomous Decentralized System (Cat. No.00EX449)

自引率

0.00%

发文量