Open Access. Powered by Scholars. Published by Universities.®
- Keyword
Articles 1 - 2 of 2
Full-Text Articles in Engineering
Lightweight Deployment Mechanism Of Solar Arrays For Use In Cubesats, John Wood Ellis
Lightweight Deployment Mechanism Of Solar Arrays For Use In Cubesats, John Wood Ellis
Undergraduate Honors Capstone Projects
Cube satellites, also referred to as CubeSats, were developed in the late twentieth century, and have since served as a cost-effective method of gathering out-of-this-world data. The development of these small-scale satellites have helped universities and small companies worldwide to perform important experiments, as well as gather critical data in order to provide for further space exploration. Cube satellites are designed to be self-sustaining, by using solar cells to capture impinging thermal energy and convert it to power to be consumed by the electronics housed within the satellite itself. In order to function properly, these cells are extended in an …
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 …