Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Aerospace Engineering
A Domain-Specific Design Tool For Verifying Spacecraft System Behavior, Sravanthi Venigalla
A Domain-Specific Design Tool For Verifying Spacecraft System Behavior, Sravanthi Venigalla
All Graduate Theses and Dissertations, Spring 1920 to Summer 2023
In this report we present a graphical tool, Behavioral Analysis of Spacecraft Systems (BASS), that can be used by spacecraft designers to perform system-level behavioral analysis of small satellites. The domain-specific spacecraft meta-model is created in the visual modeling tool Generic Modeling Environment (GME) such that spacecraft designs created using the meta-model appear familiar to the spacecraft designers. Users can model scenarios that are to be verified for the design in BASS. The graphical models are assigned formal semantics facilitating the creation of formally verifiable spacecraft models. The C++ application that translates the modeling objects to equivalent mathematical representation of …