![150359-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/150359-Thumbnail%20Image.png?versionId=pW9FNCMWu65cNHVAzyigFOJcIzjqZODW&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=20240610T212957Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=139c2622da1e1fcf8a88deb2c96d3e51f2b626c591bd4c662ebb7615d845409c&itok=xyGAmJ6J)
![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.
![152324-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/152324-Thumbnail%20Image.png?versionId=99._bbFIiLmzFmqq9orENvbR7OPML0E4&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=20240615T165718Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=7736c7403dc73be3fff6ce5c126d83c56f3441bfc3dd0f7b9192fad7578c480c&itok=mpPLI42k)
![151467-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/151467-Thumbnail%20Image.png?versionId=7aMBQtENw8_E4OBrFLrI9HAIb0LDrvOM&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=20240616T093650Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=a2ee81526364a3f36b3c5b461f8a4c4cbc46fe711ef1de2020ca8bcb03e2eb40&itok=VtRYXsrD)
![151793-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-09/151793-Thumbnail%20Image.png?versionId=34mxRfNAlgOtggDLZCC1YIBOtuRpaLPK&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=20240615T223716Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=fb3d0b2c1406ad933a65d4123647b2f9bce3753b7a6403ce7da4360b81a3b04b&itok=ySZOfJeW)
![151653-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-09/151653-Thumbnail%20Image.png?versionId=0TsOQUPDon_PVIbLH7yuxX09qf8oFToP&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=20240609T140102Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=033fa9d1a065ec0d68ba0429e36575dbf28b0d23f64dd03c089008aae61732fc&itok=7BiM_i-I)
![151780-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-09/151780-Thumbnail%20Image.png?versionId=Ecmo_sOwXbk6j47lyguSPi9.T2XF.7x2&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=20240616T004138Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=d689229eb866eb6d4d5edcb7926921494558a01467f6f636374906c5b8919f28&itok=THUETASP)
![151851-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-09/151851-Thumbnail%20Image.png?versionId=eh0Dnlhgp65W_9jblLPsZPRAxKRHkugg&X-Amz-Content-Sha256=UNSIGNED-PAYLOAD&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIASBVQ3ZQ42ZLA5CUJ/20240613/us-west-2/s3/aws4_request&X-Amz-Date=20240613T090038Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=a33cbac475d8c7677c5edef9cc6c72a8e7141b2c5b9a6c6ac4a6f2df8a1fd543&itok=LtFjbMuI)
![152234-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-09/152234-Thumbnail%20Image.png?versionId=WAdRKnxz1OWAkxWV62gUVkjzUI3eO12c&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=20240610T160259Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=598da8a5e17b6c133d1d1f7ec630ea80d39b84e893ff02e0fa0f145189400b20&itok=LIdostxI)
![152179-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/152179-Thumbnail%20Image.png?versionId=4x3RVf2hrY5fIGJC_ozUi2JV8fxZgtjD&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=20240615T223716Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=aed3b98975fc73774ff0b5626595057df32267a4a05c0c200168c9f23957c447&itok=HBIPWI8A)