Air Force Research Laboratory’s
Safe & Secure Systems and Software Symposium (S5)
12-14 July 2016, Dayton, Ohio

 

*** Click Here for a Downloadable Version of the Current Agenda *** Updated 24 July 2016 @ 2254EDT

 

Click here to download a .zip of all Day 1 briefings (27.6MB)

Day 1

S5 Agenda – Tuesday, 12 July 2016

0730-0800

Check-in

0800-0805

Welcome and Administrative Remarks

0805-0845

S5 Logo 50x38px

KeynoteDrone Avionics Architecture: Challenges and a Solution Approach

Dr. Lui Sha, University of Illinois at Urbana-Champaign Keynote Video (556MB)

0845-0905

Topic Area Overview & Motivation

Dr. Stanley Bak, AFRL/RQQA VVCAS Team

0905-0935

A Framework for Evidence-Based Licensure of Autonomous Systems

Dr. David Tate, Institute for Defense Analyses

0935-1005

Domain Arguments: Experts Have a Point

Dr. Jonathan Rowanhill, Dependable Computing

1005-1035

Coffee 29x32pxBREAK         (30 min)

1035-1105

Reasoning About Uncertainty And Confidence in Assurance Cases: A Preliminary Case Study with the NASA AOS Project

Ms. Lian Duan, University of Minnesota

1105-1135

Towards a Framework for Practical Assurance Argument Composition

Dr. Benjamin Rodes, Dependable Computing

1135-1205

Quantifying Confidence in Assurance Arguments: Some Skepticism is Warranted

Dr. Patrick John Graydon, NASA Langley Research Center

1205-1335

Food 35x32pxLUNCH             (on your own)

1335-1405

A Simplex Architecture for Intelligent and Safe Unmanned Aerial Vehicles

Dr. Heechul Yun, University of Kansas

1405-1435

Safe Testing and Execution of Autonomy in Complex, Interactive Environments

Dr. David Scheidt, Johns Hopkins University's Applied Physics Lab

1435-1505

Build a Safety Case Argument for Complex Autonomy with Runtime Assurance

Dr. John Schierman, Barron Associates

1505-1535

Coffee 29x32pxBREAK         (30 min)

1535-1605

Detecting Undesirable Emergent Behavior in Teams of Autonomous UASs

Dr. Paul Kogut, Lockheed Martin

1605-1635

Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner

Dr. Ratnesh Kumar, Iowa State University

1635-1705

Combinatorial Methods for Detecting Rare Faults

Mr. Rick Kuhn, National Institute of Standards and Technology [NIST]

1705-1705

Closing Remarks

 

 

Click here to download a .zip of all Day 2 briefings (28MB)

Day 2

S5 Agenda – Wednesday, 13 July 2016

0730-0800

Sign-in at Registration Desk and Poster Setup in Salon C&D

0800-0805

Welcome and Administrative Remarks

0805-0845

S5 Logo 50x38px

KeynoteReducing the Cost of V&V for Flight Critical Systems

Dr. Guillaume Brat, NASA Ames Research Center Keynote Video (472MB)

0845-0915

Safety Critical Software and Systems V&V Research at General Electric

Mr. Michael Durling, General Electric Global Research

0915-0945

Reachable Set Computation for Cyber-Physical Systems Using Flow*

Dr. Xin Chen, University of Colorado

0945-1015

An Example Set of Cyber-Physical V&V Challenges for S5

Mr. Chris Elliott, Lockheed Martin Skunk Works

1015-1030

Coffee 29x32pxBREAK         (15 min)

1030-1130

Poster Session

Salon C & D

1130-1300

Food 35x32pxLUNCH             (on your own)

1300-1330

Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability

Dr. Sagar Chaki, Carnegie Mellon | Software Engineering Institute (SEI)

1330-1400

Formal Verification of Intelligent Decision Procedures Systems Modeled as Decision Procedures

Dr. Siddhartha Bhattacharyya, Florida Institute of Technology

1400-1430

An Engineering Methodology for Assessing Cybersecurity Threats and Risk to DoD Weapon Systems

Mr. Harrell VanNorman, US Air Force Avionics Cybersecurity Tech Expert

1430-1500

Construction and Implementation of CERT Secure Coding Rules Improving Automation of Secure Coding

Dr. Mark Sherman, Carnegie Mellon | Software Engineering Institute (SEI)

1500-1530

Coffee 29x32pxBREAK         (30 min)

1530-1600

A Mathematical Theory of Human Machine Teaming

Dr. Pete Trautman, Galois, Inc.

1600-1630

Verification of Security Response

Dr. Thomas C. Eskridge, Florida Institute of Technology

1630-1700

Mission Planning Framework for Manned-Unmanned Teams

Dr. Mauricio Castillo-Effen, GE Global Research Center

1700-1700

Closing Remarks

1730-1930

WarpedWingLogo 108x66px No-Host Social - WarpedWing

(26 Wyandot Street, Dayton…near the Oregon District); www.warpedwing.com

 

 

Click here to download a .zip of all Day 3 briefings (56.5MB)

Day 3

S5 Agenda – Thursday, 14 July 2016

0730-0800

Sign-in at Registration Desk

0800-0805

Welcome and Administrative Remarks

0805-0835

V&V of Autonomy: UxV Challenge Problem (UCP)

Mr. Jon Hoffman, AFRL/RQQA

0835-0905

Specification and Analysis of Requirements with SpeAR 2.0

Dr. Jennifer Davis, Rockwell Collins

0905-0935

High-level Requirements and Arguments for the UCP

Mr. M. Anthony Aiello, Dependable Computing

0935-1005

UCP Compositional Requirements Structure

Mr. Aaron Fifarek, LinQuest Corporation

1005-1035

Coffee 29x32pxBREAK         (30 min)

1035-1105

Generating Certification Evidence from Architecture Model Analysis

Mr. Brian LaValley, WW Technology Group

1105-1135

Evidence-based Trust of Verification and Validation Techniques for High-Assurance Composable Systems

Dr. Robby, Galois, Inc.

1135-1305

Food 35x32pxLUNCH             (on your own)

1305-1335

Robust Verification of Cyber-Physical Systems

Dr. Pavithra Prabhakar, Kansas State University

1335-1405

Complementary Formal Techniques for Verification and Validation of Complex Autonomous Systems

Dr. Aurora Schmidt, Johns Hopkins University's Applied Physics Lab

1405-1435

Efficient Analysis of Cyber-Physical Systems using Symbolic Methods

Dr. Sergiy Bogomolov, Institute of Science and Technology (IST) Austria


Previously scheduled but unable to present due to illness.

Early Dependability Assessment of FPGA-Based Space Applications Using Formal Verification

Dr. Khaza Anuarul Hoque, University of Texas at Arlington

1435-1505

Coffee 29x32pxBREAK         (30 min)

1505-1535

Formal Methods for Certification: Why and How?

Mr. Lucas Wagner, Rockwell Collins

1535-1605

Active Learning of Autonomy Performance Modes and Their Transitions for Test Scenario Generation

Dr. Galen Mullins, Johns Hopkins University's Applied Physics Lab

1605-1635

A Real-Time Scratchpad-centric OS for Multi-core Embedded Systems

Mr. Renato Mancuso, University of Illinois at Urbana-Champaign

1635-1705

Towards Automatic Software Verification for Safety-Critical Cyber-Physical Systems
VIDEO: Attack-Resilient Cruise Control Demo displayed during talk

Dr. Miroslav Pajic, Duke University

1705-1705

Closing Remarks

 

 

   

Poster Session – Wednesday, 13 July 2016

Assuring Behavior of Autonomous UxV Systems

Mr. John Lee, Northrop Grumman Corporation

A Timing Verification Problem in Multi-UAV Systems

Dr. Bjorn Andersson, Software Engineering Institute | Carnegie Mellon University

Certification strategies using run-time safety assurance for part 23 autopilot systems

Dr. Loyd Hook, University of Tulsa

Efficient Analysis of Cyber-Physical Systems using Symbolic Methods

Dr. Sergiy Bogomolov, Institute of Science and Technology Austria

Examination of Gain Scheduling and Fuzzy Controllers as Provable Candidates of Reversionary Controllers in a Run-Time Assurance Control System

Mr. Aaron Fifarek, LinQuest Corporation in support of Air Force Research Laboratory

Human Machine Team (HMT) Architecture Design for Live Virtual Constructive (LVC) Environment Towards Training Medical First Responders

Mr. Praveen Damacharla, The University of Toledo

Input Attribution for Statistical Model Checking

Dr. Jeffrey Hansen, Software Engineering Institute | Carnegie Mellon University

IV&V of Autonomous Systems in a Model Based Engineering Context

Mr. Mike Nolan, Raytheon

Live, Virtual, Constructive Testing of Autonomous Systems

Dr. David Scheidt, Johns Hopkins University's Applied Physics Lab

Model Generation for Hybrid Systems Verification in Hyst

Dr. Stanley Bak, Air Force Research Labs Autonomous Control Branch

Run-Time Assurance Design for Nonlinear Adaptive Control of Quadrotor UAVs

Dr. Xiaodong Frank Zhang, Wright State University

Spectrum-based Anomaly Detection For Real-time Systems

Dr. Sebastian Fischmeister, University of Waterloo

The Bugs Framework (BF): A Structured, Integrated Framework to Express Software Bugs

Dr. Yan Wu, Bowling Green State University

The Importance of “Good” Requirements to Future Safety Critical Cyber-Physical Systems

Mr. Peter Stanfill, Lockheed Martin Aeronautics – Skunk Works

Verification of Physiological Data Collection

Mr. Colin Elkin, The University of Toledo