2026-09-18T21:55:58Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/1448412022-08-30T03:53:51Zcom_1721.1_7582com_1721.1_7581col_1721.1_131023
Masterson, Rebecca
Stenzel, June
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
2022-08-29T16:15:28Z
2022-08-29T16:15:28Z
2022-05
2022-06-09T16:14:57.487Z
https://hdl.handle.net/1721.1/144841
https://orcid.org/0000-0003-1037-5925
For large complex engineering systems, testing and verification are essential for ensuring operational success. Proposed and developing ground-based astronomy instruments are continuing to increase in complexity. Therefore, it is necessary for instrumentation engineering programs to leverage the advancements in systems engineering and especially model-based systems engineering (MBSE) methods seen in space systems. Model-based verification (MBV) is a flexible approach to MBSE that supports continuous verification and testing of a system through the use of integrated system modeling as it develops post-design to assembly, integration, and operation.
This thesis presents a MBV methodology and evaluates it by applying it to verification of the The Large Lenslet Array Magellan Spectrograph (LLAMAS), a spectroscopy instrument currently being developed at the MIT Kavli Institute for Astrophysics and Space Research. It is a facility-class instrument that will be installed on the Magellan Telescope at the Las Campanas Observatory in 2022 and will be available to the scientific community for making large field-of-view spectroscopy observations. Three model-based verification activities are implemented and evaluated: thermal budget analysis using a comprehensive system model, component and subsystem verification for optical throughput, and science requirement verification with simulated observation scenarios.
Recommendations are made for implementation and future study of MBSE.
S.M.
Massachusetts Institute of Technology
In Copyright - Educational Use Permitted
Copyright MIT
http://rightsstatements.org/page/InC-EDU/1.0/
Model-Based Verification of The Large Lenslet Array Magellan Spectrograph
Thesis
application/pdf
Master
Master of Science in Aeronautics and Astronautics
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="326a7ba4-37f4-4e50-81c4-af29aed9b238">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Title>Model-Based Verification of The Large Lenslet Array Magellan Spectrograph</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>2022-05</PublicationDate>
<Authors>
<Author>
<DisplayName>Stenzel, June</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>http://rightsstatements.org/page/InC-EDU/1.0/</License>
<Abstract>For large complex engineering systems, testing and verification are essential for ensuring operational success. Proposed and developing ground-based astronomy instruments are continuing to increase in complexity. Therefore, it is necessary for instrumentation engineering programs to leverage the advancements in systems engineering and especially model-based systems engineering (MBSE) methods seen in space systems. Model-based verification (MBV) is a flexible approach to MBSE that supports continuous verification and testing of a system through the use of integrated system modeling as it develops post-design to assembly, integration, and operation.
This thesis presents a MBV methodology and evaluates it by applying it to verification of the The Large Lenslet Array Magellan Spectrograph (LLAMAS), a spectroscopy instrument currently being developed at the MIT Kavli Institute for Astrophysics and Space Research. It is a facility-class instrument that will be installed on the Magellan Telescope at the Las Campanas Observatory in 2022 and will be available to the scientific community for making large field-of-view spectroscopy observations. Three model-based verification activities are implemented and evaluated: thermal budget analysis using a comprehensive system model, component and subsystem verification for optical throughput, and science requirement verification with simulated observation scenarios.
Recommendations are made for implementation and future study of MBSE.</Abstract>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>