@inproceedings{1166, author = {Kevin Leach and Christopher Timperley and Kevin Angstadt and Anh Nguyen-Tuong and Jason Hiser and Aaron Paulos and Partha Pal and Patrick Hurley and Carl Thomas and Jack Davidson and Stephanie Forrest and Claire Le Goues and Westley Weimer}, title = {START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report)}, abstract = {From delivering groceries and vital medical supplies to driving trucks and passenger vehicles, society is becoming increasingly reliant on autonomous vehicles (AVs), It is therefore vital that these systems be resilient to adversarial actions, perform mission-critical functions despite known and unknown vulnerabilities, and protect and repair themselves during or after operational failures and cyber-attacks. While techniques have been proposed to address individual aspects of software resilience, vulnerability assessment, automated repair, and invariant detection, there is no approach that provides end-to-end trusted and resilient mission operation and repair on AVs. In this paper, we describe our experience of building START,11Software Techniques for Automated Resilience and Trust a framework that provides increased resilience, accurate vul-nerability assessment, and trustworthy post-repair operation in autonomous vehicles. We combine techniques from binary analysis and rewriting, runtime monitoring and verification, auto-mated program repair, and invariant detection that cooperatively detect and eliminate a swath of software security vulnerabilities in cyberphysical systems. We evaluate our framework using an autonomous vehicle simulation platform, demonstrating its holistic applicability to AVs.}, year = {2022}, journal = {2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)}, pages = {73-84}, month = {10/2022}, publisher = {IEEE}, address = {Charlotte, NC, USA}, issn = {2332-6549}, isbn = {978-1-6654-5132-1}, url = {https://ieeexplore.ieee.org/document/9978971}, doi = {10.1109/ISSRE55969.2022.00018}, }