基于商用现货组件和模型驱动方法的平流层气球任务实时星载系统的设计与实现
Design and implementation of a real-time onboard system for a stratospheric balloon mission using commercial off-the-self components and a model-based approach
AI总结：
本文介绍HERCCULES平流层气球任务的星载软件，采用基于模型和组件的方法及ESA的TASTE工具链，在Raspberry Pi 4B上控制约60个COTS设备，满足实时要求并通过ESA标准验证。
摘要：
平流层气球已成为传统航天器的一种经济实惠且灵活的替代方案，因为它们使用商用现货（COTS）设备实现，无需遵循严格的方法。HERCCULES是一项平流层气球任务，旨在表征平流层中的对流热和辐射环境。本文旨在介绍HERCCULES星载软件（OBSW），其设计和复杂度可与卫星系统相媲美，因为它必须使用单个Raspberry Pi 4B作为星载计算机来控制约六十个COTS设备，并确保实时性要求。与类似系统相比，本文提出了新颖的贡献，因为OBSW采用基于模型和基于组件的方法开发，使用欧洲空间局（ESA）的TASTE工具链进行自动代码生成。此外，OBSW按照ESA标准进行了验证和确认，获得的结果证明了该解决方案及所选方法的适用性和有效性。
英文摘要：
Stratospheric balloons have emerged as an affordable and flexible alternative to traditional spacecrafts as they are implemented using commercial off-the-shelf (COTS) equipment without following strict methodologies. HERCCULES is a stratospheric balloon mission that aims to characterize the convective heat and radiative environment in the stratosphere. The purpose of this article is to present the HERCCULES onboard software (OBSW) whose design and complexity is comparable to that of satellite systems, since it must control about sixty COTS equipment using a single Raspberry Pi 4B as onboard computer and ensure the real-time requirements. Compared to similar systems, novel contributions are presented as the OBSW is developed following modelbased and component-based approaches using the TASTE toolchain from the European Space Agency (ESA) for automatic code generation. Besides, the OBSW is verified and validated following the ESA standards and the results obtained demonstrate the suitability and efficiency of the solution and the selected methodologies.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
