System and software verification is a vital component in the development and reliability of cyber-physical systems - especially in critical domains where the margin of error is minimal. In the case of autonomous driving systems (ADS), the vision perception subsystem is a necessity to ensure correct maneuvering of the environment and identification of objects. The challenge posed in perception systems involves verifying the accuracy and rigidity of detections. The use of Spatio-Temporal Perception Logic (STPL) enables the user to express requirements for the perception system to verify, validate, and ensure its behavior; however, a drawback to STPL involves its accessibility. It is limited to individuals with an expert or higher-level knowledge of temporal and spatial logics, and the formal-written requirements become quite verbose with more restrictions imposed. In this thesis, I propose a domain-specific language (DSL) catered to Spatio-Temporal Perception Logic to enable non-expert users the ability to capture requirements for perception subsystems while reducing the necessity to have an experienced background in said logic. The domain-specific language for the Spatio-Temporal Perception Logic is built upon the formal language with two abstractions. The main abstraction captures simple programming statements that are translated to a lower-level STPL expression accepted by the testing monitor. The STPL DSL provides a seamless interface to writing formal expressions while maintaining the power and expressiveness of STPL. These translated equivalent expressions are capable of directing a standard for perception systems to ensure the safety and reduce the risks involved in ill-formed detections.
This thesis worked towards the development of a parameterized 3D model off a cover that could go over any specific prosthesis depending on the parameters that had been entered. It also focused on gathering user inputs, which was done with the aid of the Amputee Coalition, that could be used to create an aesthetic design on this cover. The Amputee Coalition helped to recruit participants through its website and social media platforms. Finally, multiple methods of creating a design were developed to increase the amount of customization that a user could have for their cover.
This thesis worked towards the development of a parameterized 3D model off a cover that could go over any specific prosthesis depending on the parameters that had been entered. It also focused on gathering user inputs, which was done with the aid of the Amputee Coalition, that could be used to create an aesthetic design on this cover. The Amputee Coalition helped to recruit participants through its website and social media platforms. Finally, multiple methods of creating a design were developed to increase the amount of customization that a user could have for their cover.
The purpose of this creative project was to create a stereo sound system in a unique medium. As a team, we decided to integrate a Tesla Coil with a bluetooth audio source. These high frequency, high voltage systems can be configured to emit their electrical discharge in a manner that resembles playing tunes. Originally the idea was to split the audio into left and right, then to further segregate the signals to have a treble, mid, and base emitter for each side. Due to time, budget, and scope constraints, we decided to complete the project with only two coils.<br/><br/>For this project, the team decided to use a solid-state coil kit. This kit was purchased from OneTelsa and would help ensure everyone’s safety and the project’s success. The team developed our own interrupting or driving circuit through reverse-engineering the interrupter provided by oneTesla and discussing with other engineers. The custom interpreter was controlled by the PSoC5 LP and communicated with an audio source through the DFRobot Bluetooth module. Utilizing the left and right audio signals it can drive the two Tesla Coils in stereo to play the music.
The purpose of this creative project was to create a stereo sound system in a unique medium. As a team, we decided to integrate a Tesla Coil with a bluetooth audio source. These high frequency, high voltage systems can be configured to emit their electrical discharge in a manner that resembles playing tunes. Originally the idea was to split the audio into left and right, then to further segregate the signals to have a treble, mid, and base emitter for each side. Due to time, budget, and scope constraints, we decided to complete the project with only two coils.<br/><br/>For this project, the team decided to use a solid-state coil kit. This kit was purchased from OneTelsa and would help ensure everyone’s safety and the project’s success. The team developed our own interrupting or driving circuit through reverse-engineering the interrupter provided by oneTesla and discussing with other engineers. The custom interpreter was controlled by the PSoC5 LP and communicated with an audio source through the DFRobot Bluetooth module. Utilizing the left and right audio signals it can drive the two Tesla Coils in stereo to play the music.
