RTSS 2020

Application of DARPA Assured Autonomy Program Technologies to Autonomous Learning-Enabled Real-Time Systems

Agenda

  • Introduction to the DARPA Assured Autonomy Program (DARPA)
  • Autonomous Airborne System Challenges
    • Assuring Real-Time Learning-Enabled Flight Software (Boeing)
    • Safe Learning in Autonomous Systems (University of California at Berkeley)
    • Run-Time Assurance (Collins Aerospace)
    • Assurance Cases Applied to Real-Time Autonomous Aviation and Underwater Systems (KBR)
  • Autonomous Ground System Challenges
    • Challenge Problems for the DARPA Assured Autonomy Ground Team (US Army & HRL)
  • Autonomous Underwater System Challenges
    • Autonomous Underwater System Challenges (Northrop Grumman)
    • Verification and assurance tools for Cyber-physical Systems with Learning-Enabled Components (Vanderbilt University)
    • Confidence monitoring and composition for dynamic assurance of learning-enabled CPS  (University of Pennsylvania)

Program

All times in CST (UTC-6)

TopicStart TimeDuration (Minutes)Ending Time
Introduction to the DARPA Assured Autonomy Program (DARPA)7:00207:20
Autonomous Airborne System Challenges
Assuring Real-Time Learning-Enabled Flight Software (Boeing)7:20207:40
Safe Learning in Autonomous Systems (University of California at Berkeley)7:40208:00
Run-Time Assurance (Collins Aerospace)8:00208:20
Assurance Cases Applied to Real-Time Autonomous Aviation and Underwater Systems (KBR)8:20308:50
Autonomous Ground System Challenges
Challenge Problems for the DARPA Assured Autonomy Ground Team (US Army & HRL)8:50409:30
Autonomous Underwater System Challenges
Autonomous Underwater System Challenges (Northrop Grumman)9:30209:50
Verification and assurance tools for Cyber-physical Systems with Learning-Enabled Components (Vanderbilt University)9:502010:10
Confidence monitoring and composition for dynamic assurance of learning-enabled CPS (University of Pennsylvania)10:102010:30
Open Discussion10:301010:40