首页> 美国政府科技报告 >Real-Time Simulator for the SPHERES Formation Flying Satellites Testbed
【24h】

Real-Time Simulator for the SPHERES Formation Flying Satellites Testbed

机译:用于spHEREs编队飞行卫星试验台的实时模拟器

获取原文

摘要

Distributed terrestrial computer systems employ middleware software to provide communications abstractions and reduce software interface complexity. Embedded applications are adopting the same approaches, but must make provisions to ensure that hard real-time temporal performance can be maintained. This thesis presents the development and validation of a middleware system tailored to spacecraft flight software development. Our middleware runs on the Generalized Flight Operations Processing Simulator (GFLOPS) and is called the GFLOPS Rapid Real-Time Development Environment (GRRDE). GRRDE provides publish- subscribe communication services between software components. These services help to reduce the complexity of managing software interfaces. The hard real- time performance of these services has been verified with General Timed Automata modelling and extensive run-time testing. Several example applications illustrate the use of GRRDE to support advanced flight software development. Two technology-focused studies examine automatic code generation and autonomous fault protection within the GRRDE framework. A simulation complex of the TechSat 21 distributed space-based radar mission highlights the utility of the approach for large-scale applications.

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号