Fault injection platform for affordable verification and validation of CubeSats software

David Paiva, José Marcelo Duarte, R. Lima, Manoel Carvalho, Fátima Mattiello-Francisco, H. Madeira
{"title":"Fault injection platform for affordable verification and validation of CubeSats software","authors":"David Paiva, José Marcelo Duarte, R. Lima, Manoel Carvalho, Fátima Mattiello-Francisco, H. Madeira","doi":"10.1109/ladc53747.2021.9672584","DOIUrl":null,"url":null,"abstract":"CubeSats and very small satellites represent an emergent trend in the space industry. These satellites use commercial off-the-shelf (COTS) components to reduce cost and take advantage of the performance/power consumption ratio of COTS, which is an order of magnitude better than the equivalent radiation hardened space grade components. Unfortunately, COTS components are susceptible to Single Event Upsets (SEU), which are transient errors caused by space radiation. This makes the study of the impact of faults caused by space radiation a mandatory step in the development of CubSats, in order to carefully evaluate weak points that must be strengthened through the use of specific software fault tolerance techniques. The fact that the impact of faults is strongly dependent on the software running on the COTS hardware indicates that the study of the impact of radiation faults must be carried out every time the CubeSat software has a major change, or even a minor update. This paper proposes CubeSatFI, a fault injection platform for CubeSats meant to facilitate the incorporation of this extra step in the Verification and Validation of CubeSats software. CubeSatFI allows the easy definition of fault injection campaigns that emulate the effects of space radiation. SEU are emulated realistically through bit-flip faults injected in the processor registers and in other locations of the CubeSat boards that can be reached by boundary-scan, which is available in CubeSat boards through JTAG Test Access Port. The execution of the fault injection campaigns is controlled by the CubeSatFI platform in a fully automated mode. The paper describes the architecture of the CubeSatFI platform, the fault models, and the general fault injection process. Additionally, the use of the CubeSatFI platform is demonstrated with a fault injection campaign for the EDC (Environment Data Collection), a payload system that will be used in a constellation of satellite from the Brazilian National Institute for Space Research (Instituto Nacional de Pesquisas Espaciais - INPE), providing a first realistic insight on the impact of faults in the EDC software.","PeriodicalId":376642,"journal":{"name":"2021 10th Latin-American Symposium on Dependable Computing (LADC)","volume":"112 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 10th Latin-American Symposium on Dependable Computing (LADC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ladc53747.2021.9672584","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

Abstract

CubeSats and very small satellites represent an emergent trend in the space industry. These satellites use commercial off-the-shelf (COTS) components to reduce cost and take advantage of the performance/power consumption ratio of COTS, which is an order of magnitude better than the equivalent radiation hardened space grade components. Unfortunately, COTS components are susceptible to Single Event Upsets (SEU), which are transient errors caused by space radiation. This makes the study of the impact of faults caused by space radiation a mandatory step in the development of CubSats, in order to carefully evaluate weak points that must be strengthened through the use of specific software fault tolerance techniques. The fact that the impact of faults is strongly dependent on the software running on the COTS hardware indicates that the study of the impact of radiation faults must be carried out every time the CubeSat software has a major change, or even a minor update. This paper proposes CubeSatFI, a fault injection platform for CubeSats meant to facilitate the incorporation of this extra step in the Verification and Validation of CubeSats software. CubeSatFI allows the easy definition of fault injection campaigns that emulate the effects of space radiation. SEU are emulated realistically through bit-flip faults injected in the processor registers and in other locations of the CubeSat boards that can be reached by boundary-scan, which is available in CubeSat boards through JTAG Test Access Port. The execution of the fault injection campaigns is controlled by the CubeSatFI platform in a fully automated mode. The paper describes the architecture of the CubeSatFI platform, the fault models, and the general fault injection process. Additionally, the use of the CubeSatFI platform is demonstrated with a fault injection campaign for the EDC (Environment Data Collection), a payload system that will be used in a constellation of satellite from the Brazilian National Institute for Space Research (Instituto Nacional de Pesquisas Espaciais - INPE), providing a first realistic insight on the impact of faults in the EDC software.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
用于负担得起的CubeSats软件验证和验证的故障注入平台
立方体卫星和非常小的卫星代表了航天工业的一个新兴趋势。这些卫星使用商用现货(COTS)组件来降低成本,并利用COTS的性能/功耗比,这比等效的辐射硬化空间级组件好一个数量级。不幸的是,COTS组件容易受到单事件扰动(SEU)的影响,这是由空间辐射引起的瞬态误差。这使得研究空间辐射引起的故障的影响成为开发CubSats的一个强制性步骤,以便仔细评估必须通过使用特定软件容错技术来加强的弱点。故障的影响很大程度上取决于运行在COTS硬件上的软件,这表明每次CubeSat软件发生重大变化,甚至是小的更新时,都必须进行辐射故障影响的研究。本文提出了CubeSatFI,这是一个立方体卫星的故障注入平台,旨在促进在立方体卫星软件的验证和验证中加入这一额外步骤。CubeSatFI可以轻松定义模拟空间辐射影响的断层注入活动。通过注入到处理器寄存器和CubeSat板的其他位置的位翻转故障,可以通过边界扫描(通过JTAG测试访问端口在CubeSat板中提供)来真实地模拟SEU。故障注入作业的执行由CubeSatFI平台以全自动模式控制。本文介绍了CubeSatFI平台的体系结构、故障模型和故障注入的一般流程。此外,CubeSatFI平台通过EDC(环境数据收集)的故障注入活动进行了演示,EDC(环境数据收集)是一个有效载荷系统,将用于巴西国家空间研究所(INPE)的一个卫星星座,首次提供了对EDC软件故障影响的现实见解。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
WAFERS: Program On Building a Vulnerability Dataset with Static Information from the Source Code Feature Rankers to Predict Classification Performance of Unsupervised Intrusion Detectors WSENSING: Welcome Message Demonstrator for dependable edge-based cyber-physical systems
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1