论文信息 - AN ENABLING DEVELOPMENT ENVIRONMENT FOR SPACECRAFT AUTONOMY

AN ENABLING DEVELOPMENT ENVIRONMENT FOR SPACECRAFT AUTONOMY

To maximize the profitability of modern satellites, designers must invest their spacecraft with both capability and reliability. On-board, autonomous software holds the promise of greatly enhancing spacecraft abilities, yet software glitches have been directly to blame for recent, highly publicized failures. This paper presents the flight-software development framework created for the Generalized FLight Operations Processing Simulator (GFLOPS) testbed. Based upon a robust, commercial, real-time operating system, the methodology applies principles of object-oriented design in order to separate subsystem software functions into protected, quasi-independent modules. The flight software modules are coupled to simulation modules, which provide high fidelity, real-time, representations of system hardware and dynamics. The GFLOPS approach provides tools and a methodology suitable for rapid flight software development. Since the basic implementation of the framework does not rely on any advanced techniques such as autonomy, it can be used in both conservative and aggressive engineering programs.Focus applications include an MIT-designed formation flying experiment (SPHERES) and a U.S. Air Forcefunded distributed satellite mission (TechSat 21).

Raymond J. Sedwick | John Enright | David W. Miller

[1] Glenn Reeves,et al. Software architecture themes in JPL's Mission Data System , 1999, 2000 IEEE Aerospace Conference. Proceedings (Cat. No.00TH8484).

[2] Carlos Carrion,et al. SuperMOCA: Commercially-derived Standards for Space Mission Monitor and Control , 1998 .

[3] Chung Laung Liu,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[4] Michael M Marshall. Goals for Air Force Autonomous Spacecraft. , 1981 .

[5] Peter Neumann,et al. Safeware: System Safety and Computers , 1995, SOEN.

[6] L. M. Fesq,et al. Integrating autonomous fault management with conventional flight software: a case study , 1999, 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403).

[7] Richard G. Cobb,et al. TechSat 21 - Space Missions using Collaborating Constellations of Satellites , 1998 .

[8] Dino Mandrioli,et al. Formal Methods for Real-Time Computing , 1996 .

[9] James W. Layland,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[10] K. Reinholtz. Applying simulation to the development of spacecraft flight software , 1999, 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403).

[11] Alan Ptak,et al. Real-time spacecraft simulation and hardware-in-the-loop testing , 1998, Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium (Cat. No.98TB100245).