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.