Spacecraft computing systems with high-level specifications and FPGAs
Name
74894088-MIT.pdf
Description
Full printable version
Size
26.85 MB
Format
Adobe PDF
Checksum (MD5)
c5959c31462bd0ddb8a5e6d995f3c7a4
Author(s)
Ong, Elwin, 1979-
Advisor(s)
Nancy G. Leveson.
Date Issued
2006
Publisher
Massachusetts Institute of Technology
Abstract
A typical modem spacecraft requires computer processing in every major subsystem. The most popular method to carry out these processing requirements involves the use of a primary computer based on microprocessors. To carry out each spacecraft's unique processing requirements, custom software is specified, written, compiled, and executed by the microprocessors. The current process leads to a dedicated group of software engineers to design and create spacecraft software. This process is expensive and error-prone. Errors that occur during the translation of subsystem specifications into software specifications have led to failures and anomalies. This thesis describes a new methodology and toolsets that allow spacecraft subsystem engineers to capture and analyze typical spacecraft processing requirements in a unified and formal specification methodology. Subsystem engineers capture processing requirements with a pair of formal high-level specification languages specifically designed for spacecraft requirements. Control-oriented requirements such as fault detection and isolation features are captured with SpecTRM-RL, while data-oriented requirements such as control law algorithms are captured in a new language and toolset called Octavia.
(cont.) Once subsystems engineers have completed the high-level specifications, the specifications are automatically converted into a combination of software code and hardware descriptions using a set of autocode generators. Using recent advances in Field Programmable Gate Array (FPGA) technology, a unique computing system can be synthesized from the autocode generated components.
Description
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2006.
Includes bibliographical references (p. 169-171, first group).
Subjects
Aeronautics and Astronautics.
MIT Department
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Terms of Use
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.
Persistent DSpace Link
