Air Force Research Laboratory’s
Safe & Secure Systems and Software Symposium (S5)
09-11 June 2015, Dayton, Ohio

*** Click Here for a Downloadable Version of the Current Agenda *** Updated 1600EDT, 28 May 2015

 

Click here to download a .zip of all Day 1 briefings

Day 1

Agenda – Tuesday, 09 June 2015

0730-0800

Check-in

0800-0805

Welcome and Administrative Remarks

0805-0845

S5 Logo 50x38px

KeynoteBig Picture for Autonomy Research in DoD

Dr. Bob Grabowski, Senior Robotics Engineer, MITRE

0845-0905

Topic Area Overview & Motivation | Range & Test Facility Video |
TEVV Technology Investment Strategy 2015‐2018 [signed 12 June 2015]

Matt Clark, AFRL

0905-0940

Tools for Formally Reasoning about Autonomous Systems

Lucas Wagner, Rockwell Collins

0940-1015

The Problem-Derived, World-Situated Machine Model

Tony Aiello, Dependable Computing

1015-1045

BREAK  Coffee 29x32px   (30 min)

1045-1120

Requirement Analysis using SpeAR

Aaron Fifarek, AFRL // LinQuest Corporation

1120-1155

Incremental Life-Cycle Assurance of Cyber-Physical Systems

Dr. Julien Delange, Carnegie Mellon | Software Engineering Institute(SEI)

1155-1255

LUNCH  Food 35x32px   (on your own)

1255-1330

Utilizing Assume Guarantee Contracts to Construct Verifiable Simulink Model Blocks

Jon Hoffman, AFRL

1330-1405

A Composable Assurance Argument Architecture for Systems of Systems

Dr. Benjamin Rodes, Dependable Computing

1405-1440

On Example Models and Challenges Ahead for the Evaluation of Complex
Cyber-Physical Systems with State of the Art Formal Methods V&V

Christopher Elliott, Lockheed Martin Skunk Works

1440-1510

BREAK  Coffee 29x32px  (30 min)

1510-1545

A Brief Discussion of Areas Related to "Certifiable Trust" of Human-Automation Systems

Dr. Laura Humphrey, AFRL

1545-1620

Design and Verification for Autonomous Systems Interacting with Human Operators

Dr. Lu Feng, University of Pennsylvania

1620-1655

Assistive Planning in Complex, Dynamic Environments: a Probabilistic Approach

Dr. Peter Trautman, Galois Inc.

1655-1700

Closing Remarks

 

Click here to download a .zip of all Day 2 briefings

Day 2

Agenda – Wednesday, 10 June 2015

0730-0800

Sign-in at Registration Desk

0800-0805

Welcome and Administrative Remarks

0805-0845

S5 Logo 50x38px

KeynoteIntelligent Autonomous Unmanned Aerial Systems (UAS)

Dr. Kristin Yvonne Rozier, Assistant Professor, University of Cincinnati

0845-0920

A Run time Monitoring Framework for Safe Coordination of Unmanned Aerial Vehicles

Dr. Nicola Bezzo, University of Pennsylvania

0920-0955

Hybrid Systems Analysis of Periodic Control Systems using Continuization

Dr. Stanley Bak, AFRL

0955-1025

BREAK  Coffee 29x32px   (30 min)

1025-1100

Run Time Assurance for Complex Autonomy

Dr. John Schierman, Barron Associates Inc.

1100-1135

Step Simulation/Over approximation-based Verification of Nonlinear Deterministic
Hybrid System with Inputs

Dr. Ratnesh Kumar, Iowa State University

1135-1210

Verification and Validation of Adaptive Control Systems for Quadrotor UAVs Towards Trusted Autonomy

Dr. Xiaodong Frank Zhang, Wright State University

1210-1310

LUNCH  Food 35x32px   (on your own)

1310-1345

On-Line Monitoring for Temporal Logic Robustness

Dr. Georgios Fainekos, Arizona State University

1345-1420

Engineering High-Assurance Software for Distributed Adaptive Real-Time Systems

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

1420-1455

A Timed Approximation based Compositional Approach towards Formally Verified Aircraft Control Protocols

Dr. Pavithra Prabhakar, Kansas State University

1455-1525

BREAK  Coffee 29x32px   (30 min)

1525-1600

Application and Evaluation of Formal Methods Tools Applied to a 6U CubeSat Attitude Control System

Kerianne Gross, AFRL

1600-1635

Performance Evaluation for Autonomous Behavior-based Multirobot Missions

Dr. Damian Lyons, Fordham University

1635-1710

Safety Critical Software and Systems Research at General Electric

Michael Durling, General Electric Global Research

1710-1715

Closing Remarks

 

Click here to download a .zip of all Day 3 briefings

Day 3

Agenda – Thursday, 11 June 2015

0730-0800

Sign-in at Registration Desk

0800-0805

Welcome and Administrative Remarks

meStudying app icon 27x27pxBREAKOUT:meStudying app icon 27x27px

Moderator: Dr. Stanley Bak (AFRL)

Location: Salon C & D

Description | Notes

Challenges for

Formal System Design and Analysis

using Hybrid Automata Tools

0805-0840

A Cost-Effective Simulation Testbed for Unmanned Aerial Vehicle Network Cyber Attack Analysis

Dr. Weiqing Sun, University of Toledo

0840-0915

Credible Autocoding for Verification of Autonomous Systems

Juan Pablo Afman, Surentez

0915-0950

TOIF - Extending Static Code Analysis Coverage

Dr. Ben Calloni, Lockheed Martin

0950-1020

BREAK  Coffee 29x32px  (30 min)

1020-1055

Formal Verification for Software-Controlled Power Electronics

Omar Beg, University of Texas at Arlington (UTA)

1055-1130

Real-World Contracts

Dr. Ashlie Benjamin Hocking, Dependable Computing

1130-1205

Joint Common Architecture (JCA) Demonstration - Architecture Centric Virtual Integration Process (ACVIP) Shadow Effort

Alex Boydston, US Army Aviation & Missile Research Development & Engineering Center

1205-1305

LUNCH   Food 35x32px    (on your own)

1305-1340

Avionics Weapon Systems Cybersecurity Risk Management Framework Assessment & Authorization Update

Harrell Van Norman, Air Force Life Cycle Management Center (AFLCMC)

1340-1415

Rapid Modular Software Integration

Adam Grimm, KIHOMAC

1415-1450

Software Structural Coverage Analysis for Safety-Critical Code - Who Cares?

Shan Bhattacharya, LDRA

1450-1525

Architectural Security Analysis for Mixed Hardware and Software Systems

Dr. John (Jack) Goetz, WW Technology Group

1525-1525

Closing Remarks