Jacob William Anderson
Hometown: Gilbert, Arizona, United States
Graduation date: Spring 2021
FURI | Spring 2021
DSL Interface for Spatio-Temporal Perception Logic SpecificationsWith the rise of autonomous driving systems (ADS), the need for validating the efficacy of the perception subsystems utilized becomes more apparent. The use of Spatio-Temporal Perception Logic (STPL) permits writing formal requirements capable of verifying such systems; however, the development of these written requirements quickly becomes verbose causing overhead in the verification process. Utilizing a domain-specific language (DSL) interface with language support elements of syntax highlighting, auto-completion, auto-indentation, and bracket matching increases the ability to seamlessly write, debug, and understand a requirement, thus reducing the risk for potentially fatal errors during validation and deployment.
Mentor: Georgios Fainekos