Jacob William Anderson

Computer science

Hometown: Gilbert, Arizona, United States

Graduation date: Spring 2021

Jacob Anderson
Security icon, disabled. A blue padlock, locked.

FURI | Spring 2021

DSL Interface for Spatio-Temporal Perception Logic Specifications

With 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:

FURI Totals

TotalStudents

0

FacultyMentors

0

OnlineSymposia

0

FocusAreas

0

FURIProjects

0

MOREProjects

0

KEENProjects

0

GCSPProjects

0