Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Engineering
Picasso Interface For Horizon Simulation Framework, Brian E. Kirkpatrick
Picasso Interface For Horizon Simulation Framework, Brian E. Kirkpatrick
Master's Theses
The Horizon Simulation Framework, or HSF, is a modeling and simulation framework compiled from C/C++ source code into a command line program. Picasso is an interface designed to control the input files to Horizon by providing visual tools to create and manipulate the XML files used to define an HSF system of assets, their environment, and other simulation parameters. Picasso also supports the visualization of Horizon output in several different forms, and import mechanics from online space object catalogues.
Cubesat Developers' Workshop 2010, Tracy Owens, Ryan Race
Cubesat Developers' Workshop 2010, Tracy Owens, Ryan Race
Communication Studies
This project is the narrative component of the 7th Annual CubeSat Developers' Workshop 2010 planning process. It reviews the steps and team dynamics over the seven months spent coordinating the conference for the Aerospace Department. It was the first time that students from the Communcation Studies Department were brought in to help with the event, and the gap between the College of Liberal Arts and the College of Engineering was bridged.
An Exploration Of Formal Methods And Tools Applied To A Small Satellite Software System, Russell J. Grover
An Exploration Of Formal Methods And Tools Applied To A Small Satellite Software System, Russell J. Grover
All Graduate Theses and Dissertations, Spring 1920 to Summer 2023
Formal system modeling has been a topic of interest in the research community for many years. Modeling a system helps engineers understand it better and enables them to check different aspects of it to ensure that there is no undesired or unexpected behavior and that it does what it was designed to do. This thesis takes two existing tools that were created to aid in the designing of spacecraft systems and creates a layer to connect them together and allow them to be used jointly. The first tool is a library of formal descriptions used to specify spacecraft behavior in …