A flight software development and simulation framework for advanced space systems

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2002. === Includes bibliographical references (p. 293-302). === Distributed terrestrial computer systems employ middleware software to provide communications abstractions and reduce software interface comp...

Full description

Bibliographic Details
Main Author: Enright, John Patrick, 1974-
Other Authors: David W. Miller.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2006
Subjects:
Online Access:http://hdl.handle.net/1721.1/29911
id ndltd-MIT-oai-dspace.mit.edu-1721.1-29911
record_format oai_dc
spelling ndltd-MIT-oai-dspace.mit.edu-1721.1-299112019-05-02T16:26:10Z A flight software development and simulation framework for advanced space systems Enright, John Patrick, 1974- David W. Miller. Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics. Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics. Aeronautics and Astronautics. Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2002. Includes bibliographical references (p. 293-302). 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 complex simulation of the TechSat 21 distributed spacebased radar mission highlights the utility of the approach for large-scale applications. by John Patrick Enright. Ph.D. 2006-03-24T18:02:19Z 2006-03-24T18:02:19Z 2002 2002 Thesis http://hdl.handle.net/1721.1/29911 51686626 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 314 p. 13073081 bytes 13072882 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology
collection NDLTD
language English
format Others
sources NDLTD
topic Aeronautics and Astronautics.
spellingShingle Aeronautics and Astronautics.
Enright, John Patrick, 1974-
A flight software development and simulation framework for advanced space systems
description Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2002. === Includes bibliographical references (p. 293-302). === 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 complex simulation of the TechSat 21 distributed spacebased radar mission highlights the utility of the approach for large-scale applications. === by John Patrick Enright. === Ph.D.
author2 David W. Miller.
author_facet David W. Miller.
Enright, John Patrick, 1974-
author Enright, John Patrick, 1974-
author_sort Enright, John Patrick, 1974-
title A flight software development and simulation framework for advanced space systems
title_short A flight software development and simulation framework for advanced space systems
title_full A flight software development and simulation framework for advanced space systems
title_fullStr A flight software development and simulation framework for advanced space systems
title_full_unstemmed A flight software development and simulation framework for advanced space systems
title_sort flight software development and simulation framework for advanced space systems
publisher Massachusetts Institute of Technology
publishDate 2006
url http://hdl.handle.net/1721.1/29911
work_keys_str_mv AT enrightjohnpatrick1974 aflightsoftwaredevelopmentandsimulationframeworkforadvancedspacesystems
AT enrightjohnpatrick1974 flightsoftwaredevelopmentandsimulationframeworkforadvancedspacesystems
_version_ 1719040301158367232