Enhancing Trust in Autonomous Systems without Verifying Software

Enhancing Trust in Autonomous Systems without Verifying Software

The complexity of the software behind autonomous systems is rapidly growing, as are the applications of what they can do. It is not unusual for the lines of code to reach the millions, which adds to the verification challenge. The machine learning algorithms involved are often "black boxes"...

Full description

Bibliographic Details
Main Author: Stamenkovich, Joseph Allan
Other Authors: Electrical and Computer Engineering
Format: Others
Published: Virginia Tech 2019
Subjects:
Autonomy
Runtime Verification
FPGA
Field Programmable Gate Array
Monitor
Formal Methods
UAS
UAV
Security
Linear Temporal Logic
LTL
High-Level Synthesis
HLS
monitor
model
checking
drone
malware
assurance
robotics
firmware
hardware
Online Access:http://hdl.handle.net/10919/89950

Internet

http://hdl.handle.net/10919/89950

Similar Items