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

Computer Engineering Commons

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

Articles 1 - 5 of 5

Full-Text Articles in Computer Engineering

Accelerating Machine Learning Inference For Satellite Component Feature Extraction Using Fpgas., Andrew Ekblad Dec 2023

Accelerating Machine Learning Inference For Satellite Component Feature Extraction Using Fpgas., Andrew Ekblad

Theses and Dissertations

Running computer vision algorithms requires complex devices with lots of computing power, these types of devices are not well suited for space deployment. The harsh radiation environment and limited power budgets have hindered the ability of running advanced computer vision algorithms in space. This problem makes running an on-orbit servicing detection algorithm very difficult. This work proposes using a low powered FPGA to accelerate the computer vision algorithms that enable satellite component feature extraction. This work uses AMD/Xilinx’s Zynq SoC and DPU IP to run model inference. Experiments in this work centered around improving model post processing by creating implementations …


Increasing The Reliability Of Software Systems On Small Satellites Using Software-Based Simulation Of The Embedded System, Matthew D. Grubb Jan 2021

Increasing The Reliability Of Software Systems On Small Satellites Using Software-Based Simulation Of The Embedded System, Matthew D. Grubb

Graduate Theses, Dissertations, and Problem Reports

The utility of Small Satellites (SmallSats) for technology demonstrations and scientific research has been proven over the past few decades by governments, universities, and private companies. While the research and technology demonstration objectives that can be provided by these SmallSats are becoming similar to larger spacecraft, their reliability still falls behind. This is in part due to the reduced cost of SmallSat missions in comparison to large spacecraft, which requires cheaper components, rapid development schedules, and accepted risk. In these missions, the importance of the flight software is often overlooked, and the software is rushed through development and not fully …


Reliable Software Updates For On-Orbit Cubesat Satellites, Sean Fitzsimmons Jun 2012

Reliable Software Updates For On-Orbit Cubesat Satellites, Sean Fitzsimmons

Master's Theses

CubeSat satellites have redefined the standard solution for conducting missions in space due to their unique form factor and cost. The harsh environment of space necessitates examining features that improve satellite robustness and ultimately extend lifetime, which is typical and vital for mission success. The CubeSat development team at Cal Poly, PolySat, has recently redefined its standard avionics platform to support more complex mission capabilities with this robustness in mind. A significant addition was the integration of the Linux operating system, which provides the flexibility to develop much more elaborate protection mechanisms within software, such as support for remote on-orbit …


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, 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 …


Store And Forward Routing For Sparse Pico-Satellite Sensor Networks With Data-Mules, Trevor Joseph Koritza Jun 2009

Store And Forward Routing For Sparse Pico-Satellite Sensor Networks With Data-Mules, Trevor Joseph Koritza

Master's Theses

Satellites are playing an increasingly important role in collecting scientific information, providing communication services, and revolutionizing navigation. Until recently satellites were large and very expensive, creating a high barrier to entry that only large corporations and government agencies could overcome. In the past few years the CubeSat project at California Polytechnic University in San Luis Obispo (Cal Poly) has worked to refine the design and launching of small, lightweight, and less expensive satellites called pico-satellites, opening space up to a wider audience. Now that Cal Poly has the launch logistics and hardware under control, a new problem has arisen. These …