937.829.5661

ARCNet RPP Name – ADAS Run-Time Verification & Watchdogs

ARCNet RPP Name – ADAS Run-Time Verification & Watchdogs

August 6, 2020

The ASSURED DEVELOPMENT & OPERATION OF AUTONOMOUS SYSTEMS (ADAS) research project is developing new capabilities for testing and evaluating (T&E), and verifying and validating (V&V) autonomous systems. In ADAS, a joint Army/Air Force/Navy team is developing an integrated suite of models, methods, and tools for building prototype autonomous systems that are assured to satisfy critical safety and functional requirements. This effort will support the “Link Formal Model to Implementation” (LFMI) ADAS sub-project team in developing and evaluating new methods and tools for demonstrating that the implementations of run-time monitors and run-time enforcers (such as watchdogs) satisfy their requirements—in particular, that they detect and avoid hazards that could lead an autonomous system to behave unsafely.  This effort will support the LFMI sub-project team by assisting in the development of formal models of run-time monitors and run-time enforcers, by helping to formally verify the formal models, and by helping provide high assurance that the run-time behavior of code implementing run-time monitors and run-time enforcers behaves safely and correctly.