2026-09-19T03:29:05Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/361792022-01-13T07:54:11Zcom_1721.1_7582com_1721.1_7581col_1721.1_131022
Nancy G. Leveson.
Ong, Elwin, 1979-
Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics.
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
2007-02-21T11:55:45Z
2007-02-21T11:55:45Z
2006
2006
http://hdl.handle.net/1721.1/36179
74894088
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2006.
Includes bibliographical references (p. 169-171, first group).
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.
by Elwin C. Ong.
Ph.D.
174, [172] p.
eng
Massachusetts Institute of Technology
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
Aeronautics and Astronautics.
Spacecraft computing systems with high-level specifications and FPGAs
Thesis
application/pdf
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="7c231f98-0479-47d7-af55-3cfea6730925">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Language>eng</Language>
<Title>Spacecraft computing systems with high-level specifications and FPGAs</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>2006</PublicationDate>
<Authors>
<Author>
<DisplayName>Ong, Elwin, 1979-</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>http://dspace.mit.edu/handle/1721.1/7582</License>
<Keyword>Aeronautics and Astronautics.</Keyword>
<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.</Abstract>
<Abstract>(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.</Abstract>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>