Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 2 of 2

Full-Text Articles in Computer Engineering

The Space Plug-And-Play Architecture Services Manager And Its Relevance In Diverse Plug-And-Play Software Systems, Brandon Holdaway May 2014

The Space Plug-And-Play Architecture Services Manager And Its Relevance In Diverse Plug-And-Play Software Systems, Brandon Holdaway

All Graduate Plan B and other Reports

The Space Plug-and-Play Archichecture System Manager (SSM) is a system of Space Plug-and-Play Architecture (SPA) hardware, software components, and services for rapid integration of satellite systems. It was originally designed to help decrease the amount of time and money required to integrate payloads onto a satellite. The features of the SSM make it useful in non-satellite systems. In this report, I demonstrate diverse uses of the SSM in a multi-use payload manage- ment and underwater vehicle software solution which was designed and implemented using the SSM. Further I give a detailed explanation of the successes and failures of the software ...


An Exploration Of Formal Methods And Tools Applied To A Small Satellite Software System, Russell J. Grover May 2010

An Exploration Of Formal Methods And Tools Applied To A Small Satellite Software System, Russell J. Grover

All Graduate Theses and Dissertations

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 ...