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...
Main Author: | |
---|---|
Other Authors: | |
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 |