LIGHTWEIGHT VERIFICATION AND VALIDATION OF CYBERPHYSICAL SYSTEMS USING MACHINE-LEARNED CORRECTNESS PROPERTIES
| dc.contributor.advisor | Drusinsky, Doron | |
| dc.contributor.author | Litton, Matthew L. | |
| dc.contributor.department | Computer Science (CS) | |
| dc.date.accessioned | 2025-04-16T20:31:55Z | |
| dc.date.available | 2025-04-16T20:31:55Z | |
| dc.date.issued | 2024-09 | |
| dc.description.abstract | Conducting verification and validation of autonomous cyberphysical systems is a critical step in facilitating their integration in society and certifying their use by the Department of Defense. However, traditional formal verification and validation techniques are hampered by the necessity of developing formal specifications that capture rigid requirements for system behavior, performance, and dependability. Current approaches for developing formal specifications of systems are complex and error-prone, and they are challenging to apply even for experts. This research demonstrates the feasibility of using machine-learned correctness properties to conduct verification and validation. In addition, advance-notice oracles can be used to predict internal or external faults, proving continuous guarantees of system behavior throughout development, testing, and operating phases. | |
| dc.description.distributionstatement | Distribution Statement A. Approved for public release: Distribution is unlimited. | |
| dc.description.service | Lieutenant Commander, United States Navy | |
| dc.format.extent | 166 p. | |
| dc.identifier.curriculumcode | 384 (Computer Science (PhD)) | |
| dc.identifier.thesisid | 39050 | |
| dc.identifier.uri | https://hdl.handle.net/10945/73604 | |
| dc.publisher | Monterey, CA; Naval Postgraduate School | |
| dc.rights | This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States. | |
| dc.subject.author | verification and validation | |
| dc.subject.author | cyberphysical systems | |
| dc.subject.author | autonomous systems | |
| dc.subject.author | formal methods | |
| dc.subject.author | machine learning | |
| dc.title | LIGHTWEIGHT VERIFICATION AND VALIDATION OF CYBERPHYSICAL SYSTEMS USING MACHINE-LEARNED CORRECTNESS PROPERTIES | |
| dc.type | Thesis | |
| dspace.entity.type | Publication | |
| etd.thesisdegree.discipline | Computer Sciences | |
| etd.thesisdegree.grantor | Naval Postgraduate School | |
| etd.thesisdegree.level | Doctoral | |
| etd.thesisdegree.name | Doctor of Philosophy in Computer Science | |
| relation.isDepartmentOfPublication | 67864e54-711d-4c0a-a6d4-439a011f2bd1 | |
| relation.isDepartmentOfPublication.latestForDiscovery | 67864e54-711d-4c0a-a6d4-439a011f2bd1 |
