Radiation hardening by software techniques on FPGAs: Flight experiment evaluation and results

A. Schmidt, M. French, T. Flatley
{"title":"Radiation hardening by software techniques on FPGAs: Flight experiment evaluation and results","authors":"A. Schmidt, M. French, T. Flatley","doi":"10.1109/AERO.2017.7943651","DOIUrl":null,"url":null,"abstract":"We present our work on implementing Radiation Hardening by Software (RHBSW) techniques on the Xilinx Virtex5 FPGAs PowerPC 440 processors on the SpaceCube 2.0 platform. The techniques have been matured and tested through simulation modeling, fault emulation, laser fault injection and now in a flight experiment, as part of the Space Test Program-Houston 4-ISS SpaceCube Experiment 2.0 (STP-H4-ISE 2.0). This work leverages concepts such as heartbeat monitoring, control flow assertions, and checkpointing, commonly used in the High Performance Computing industry, and adapts them for use in remote sensing embedded systems. These techniques are extremely low overhead (typically <1.3%), enabling a 3.3x gain in processing performance as compared to the equivalent traditionally radiation hardened processor. The recently concluded STP-H4 flight experiment was an opportunity to upgrade the RHBSW techniques for the Virtex5 FPGA and demonstrate them on-board the ISS to achieve TRL 7. his work details the implementation of the RHBSW techniques, that were previously developed for the Virtex4-based SpaceCube 1.0 platform, on the Virtex5-based SpaceCube 2.0 flight platform. The evaluation spans the development and integration with flight software, remotely uploading the new experiment to the ISS SpaceCube 2.0 platform, and conducting the experiment continuously for 16 days before the platform was decommissioned. The experiment was conducted on two PowerPCs embedded within the Virtex5 FPGA devices and the experiment collected 19,400 checkpoints, processed 253,482 status messages, and incurred 0 faults. These results are highly encouraging and future work is looking into longer duration testing as part of the STP-H5 flight experiment.","PeriodicalId":224475,"journal":{"name":"2017 IEEE Aerospace Conference","volume":"117 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 IEEE Aerospace Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/AERO.2017.7943651","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 9

Abstract

We present our work on implementing Radiation Hardening by Software (RHBSW) techniques on the Xilinx Virtex5 FPGAs PowerPC 440 processors on the SpaceCube 2.0 platform. The techniques have been matured and tested through simulation modeling, fault emulation, laser fault injection and now in a flight experiment, as part of the Space Test Program-Houston 4-ISS SpaceCube Experiment 2.0 (STP-H4-ISE 2.0). This work leverages concepts such as heartbeat monitoring, control flow assertions, and checkpointing, commonly used in the High Performance Computing industry, and adapts them for use in remote sensing embedded systems. These techniques are extremely low overhead (typically <1.3%), enabling a 3.3x gain in processing performance as compared to the equivalent traditionally radiation hardened processor. The recently concluded STP-H4 flight experiment was an opportunity to upgrade the RHBSW techniques for the Virtex5 FPGA and demonstrate them on-board the ISS to achieve TRL 7. his work details the implementation of the RHBSW techniques, that were previously developed for the Virtex4-based SpaceCube 1.0 platform, on the Virtex5-based SpaceCube 2.0 flight platform. The evaluation spans the development and integration with flight software, remotely uploading the new experiment to the ISS SpaceCube 2.0 platform, and conducting the experiment continuously for 16 days before the platform was decommissioned. The experiment was conducted on two PowerPCs embedded within the Virtex5 FPGA devices and the experiment collected 19,400 checkpoints, processed 253,482 status messages, and incurred 0 faults. These results are highly encouraging and future work is looking into longer duration testing as part of the STP-H5 flight experiment.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
fpga上软件技术的辐射硬化:飞行实验评估与结果
我们介绍了在SpaceCube 2.0平台上的Xilinx Virtex5 fpga PowerPC 440处理器上实现软件辐射硬化(RHBSW)技术的工作。这些技术已经成熟,并通过仿真建模、故障仿真、激光故障注入和现在的飞行实验进行了测试,作为空间测试计划-休斯顿4号国际空间站空间立方体实验2.0 (STP-H4-ISE 2.0)的一部分。这项工作利用了诸如心跳监视、控制流断言和检查点等在高性能计算行业中常用的概念,并对它们进行了调整,以便在遥感嵌入式系统中使用。这些技术的开销极低(通常<1.3%),与传统的等效辐射硬化处理器相比,可以实现3.3倍的处理性能增益。最近结束的STP-H4飞行实验是升级Virtex5 FPGA的RHBSW技术的一个机会,并在国际空间站上演示它们以实现TRL 7。他的工作详细介绍了RHBSW技术在基于virtex5的SpaceCube 2.0飞行平台上的实现,这些技术之前是为基于virtex4的SpaceCube 1.0平台开发的。评估跨越了与飞行软件的开发和集成,将新实验远程上传到ISS SpaceCube 2.0平台,并在平台退役前连续进行了16天的实验。实验是在两台嵌入在Virtex5 FPGA器件中的powerpc上进行的,实验收集了19,400个检查点,处理了253,482条状态消息,并产生了0个故障。这些结果非常令人鼓舞,未来的工作是将更长时间的测试作为STP-H5飞行实验的一部分。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Schedule and program The search for exoplanets using ultra-long wavelength radio astronomy Molecular analyzer for Complex Refractory Organic-rich Surfaces (MACROS) GPU accelerated multispectral EO imagery optimised CCSDS-123 lossless compression implementation Ground based test verification of a nonlinear vibration isolation system for cryocoolers of the Soft X-ray Spectrometer (SXS) onboard ASTRO-H (Hitomi)
×
引用
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