![150360-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/150360-Thumbnail%20Image.png?versionId=ajUUyt1n25jVfOQnJkju5l5rXbNRuPgT&X-Amz-Content-Sha256=UNSIGNED-PAYLOAD&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIASBVQ3ZQ42ZLA5CUJ/20240610/us-west-2/s3/aws4_request&X-Amz-Date=20240610T171112Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=f78baf21c0d8445a3908cbd007292dd134a29407ff2b18ef06504d4108ef6fa1&itok=lIyScSSO)
![148109-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-07/148109-Thumbnail%20Image.png?versionId=aFpo9mp3qLVS143H7Faqj51LSYzu1.eQ&X-Amz-Content-Sha256=UNSIGNED-PAYLOAD&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIASBVQ3ZQ42ZLA5CUJ/20240530/us-west-2/s3/aws4_request&X-Amz-Date=20240530T154103Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=e1581e282458d17524a493705f35bfce28fc1fecf285f0c0704547ef33f4623a&itok=mWelpVlx)
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.
![149893-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/149893-Thumbnail%20Image.png?versionId=GS89RP3wsg9_2Engs4wr8jk1yQjJ1q_s&X-Amz-Content-Sha256=UNSIGNED-PAYLOAD&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIASBVQ3ZQ42ZLA5CUJ/20240612/us-west-2/s3/aws4_request&X-Amz-Date=20240612T053549Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=658b399f91c1d949cf5e4eaf367074a6163557e2aabbbf7eb1a5f90873b3274f&itok=QZYDimcj)
![149956-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/149956-Thumbnail%20Image.png?versionId=AwAE33BwX3huGe9c4dT2a0xh4N8MK3gY&X-Amz-Content-Sha256=UNSIGNED-PAYLOAD&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIASBVQ3ZQ42ZLA5CUJ/20240609/us-west-2/s3/aws4_request&X-Amz-Date=20240609T151334Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=0bb7fffbe852be81a036d9c61d193afe456356b889b334e403b60914dc3c3260&itok=nkpW3KsX)
![149852-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/149852-Thumbnail%20Image.png?versionId=uMABLByA0o5eWMwamJdaDM3FqiuCX45P&X-Amz-Content-Sha256=UNSIGNED-PAYLOAD&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIASBVQ3ZQ42ZLA5CUJ/20240616/us-west-2/s3/aws4_request&X-Amz-Date=20240616T000820Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=d5c5767c86ed05dd47eb3b584cb71a55faf1357ed3b6a0d511ab1b87d142a4fb&itok=csr91zuz)
![150211-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/150211-Thumbnail%20Image.png?versionId=D8btVzDWowqYvxYIU7sJDVsAoONcRzKW&X-Amz-Content-Sha256=UNSIGNED-PAYLOAD&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIASBVQ3ZQ42ZLA5CUJ/20240615/us-west-2/s3/aws4_request&X-Amz-Date=20240615T203817Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=73dc57af38d1cbc1a5b6c9a55798a70b671fc319897324ad91797535d1ca9d85&itok=0Eo48z_x)
![150213-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/150213-Thumbnail%20Image.png?versionId=d8CQjQxI_ZX6zXWpNX.vK349m0Qexcie&X-Amz-Content-Sha256=UNSIGNED-PAYLOAD&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIASBVQ3ZQ42ZLA5CUJ/20240612/us-west-2/s3/aws4_request&X-Amz-Date=20240612T065910Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=e9e5bdfc807ac4c95b85fe30767039dff2128838c79b6127867b7cd88e2da7b9&itok=xoJsNktw)
![150208-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/150208-Thumbnail%20Image.png?versionId=pBidsp8E7SqP.xukzErgCftWep9mx9Cn&X-Amz-Content-Sha256=UNSIGNED-PAYLOAD&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIASBVQ3ZQ42ZLA5CUJ/20240615/us-west-2/s3/aws4_request&X-Amz-Date=20240615T190728Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=131cb3b29030c0c25ce149364466fab4e63d8fc75de0eccf3d22759b7eb9a14d&itok=P76TnVuT)
![150241-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/150241-Thumbnail%20Image.png?versionId=xjEZKAjC2tujLGYAaKFILjTylnnS.FQd&X-Amz-Content-Sha256=UNSIGNED-PAYLOAD&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIASBVQ3ZQ42ZLA5CUJ/20240616/us-west-2/s3/aws4_request&X-Amz-Date=20240616T000820Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=08918b5e1b95414af55d21564e1d83987d08c7ba907413799a1f7294c019ba30&itok=FKKBZH3q)
![150274-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/150274-Thumbnail%20Image.png?versionId=gWavbstaNol6C_LA07nZO5zBQq7ywmKj&X-Amz-Content-Sha256=UNSIGNED-PAYLOAD&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIASBVQ3ZQ42ZLA5CUJ/20240615/us-west-2/s3/aws4_request&X-Amz-Date=20240615T190728Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=0818d5ecc02139d62b70177972dafe3c28598fa215fb97bef7604129b2276176&itok=ainMYBhh)