![150025-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/150025-Thumbnail%20Image.png?versionId=kdAmFTOC80vkbbZQPg4HsWPkEWwUFOFH&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=20240530T153633Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=8ab5a3721d39b0f9fd52e4adc7e031f6a31e12d8332ee509bf2227eaaba7af96&itok=Ylhe3U5t)
![150402-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/150402-Thumbnail%20Image.png?versionId=WSL8mAV2dKe4vOdVuu11800o8ziLCf_8&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=20240615T014452Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=04094710bb8348fe849ea16d551b4df4b3263c74cd3b14b7cdfde2d490674652&itok=2Gstm1MU)
![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.
![149945-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-08/149945-Thumbnail%20Image.png?versionId=919MpDYO8LLIPWcYjx.PKbzD9aHLBfXR&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=20240609T120408Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=488f7d25c5f036f0a0021dbe18d72e3ea21a6b03023319c355349302bcd9d0c8&itok=0oP5jzcX)
![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)