Air Force Research Laboratory’s
Safe & Secure Systems and Software Symposium (S5)
01-03 Aug 2017, Dayton, Ohio

*** Click Here for a Downloadable Version of the Current Agenda *** Updated 03 Aug 2017 @ 1521EDT

 

 

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

Day 1

S5 Agenda – Tuesday, 01 Aug 2017

 0730-0800

Check-in

 0800-0815

Welcome and Administrative Remarks

 0815-0845

S5_Logo_50x38px.pngKeynoteHack This Drone: High-Assurance Cyber Military Systems (HACMS)

 HACMS Video

 Dr. Darren Cofer, Fellow, Rockwell Collins Advanced Technology Center

 0845-0905

Topic Area Overview & Motivation

Dr. Derek Kingston, AFRL/RQQA VVCAS Team Lead

 0905-0920

Coffee_29x32px.pngBREAK         (15 min)

 0920-0950

Overview of Ongoing Autonomy TEVV Efforts and the Way Forward

Dr. David Scheidt, Weather Gage Technologies, LLC

7

 0950-1020

Early Planning and Execution for Evidence-Based Operational Readiness Credentials in the Acquisition Life-Cycle: Lessons Learned and Recommendations

Kevin Carter (Colsa), Paul Salchak (Air Force Life Cycle Management Center)

7

 1020-1050

Toward an Autonomous System Development, Test, and Evaluation Ecosystem

Dr. Patrick J. Martin, BAE Systems - Technology Solutions

7

 1050-1105

Coffee_29x32px.pngBREAK         (15 min) & Poster Setup

1105-1135

Architectural Modeling and Analysis of a Geofence Application

Dr. Jennifer Davis, Rockwell Collins

8

1135-1205

Integrating Run-Time and Design-Time Assurance for AOS (Autonomy Operating System)

Dr. Michael Lowry, NASA Ames

8

 1205-1335

Food_35x32px.pngLUNCH             (on your own)

1335-1405

Using SpeAR to satisfy DO-178C Requirements

Lucas Wagner, Rockwell Collins

2

1405-1435

An ASTM Standard for Bounding Behavior of Adaptive Algorithms for Unmanned Aircraft Operations

Video Quad Cup Innovation Challenge

Dr. Stephen P. Cook, Fellow, Northrop Grumman Office of Independent Airworthiness

2

1435-1505

Architecture-based design and analysis with BIP

Anastasia Mavridou, Vanderbilt University

2

  1505-1520

Coffee_29x32px.pngBREAK         (15 min) & Poster Setup

1520-1550

Quality-of-Service-Oriented Architectures for Cyber-Physical Systems

Marilyn Wolf, Georgia Institute of Technology

2

1550-1620

Designing a Modeling Framework for Autonomous Course of Action Selection

Lauren Hinkle, Charles River Analytics

2

  1620-1800

Poster Session & Networking Event

Salon C & D

       

 

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

Day 2

S5 Agenda – Wednesday, 02 Aug 2017

  0730-0800

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

  0800-0805

Welcome and Administrative Remarks

  0805-0835

Asserting Controller Robustness and Safety of Unmanned Aircraft Systems

Mr. J. Micah Fry, Virginia Tech

2

0835-0905

Computer-aided Design for Safe Autonomous Vehicles

Rahul Mangharam, University of Pennsylvania

3

0905-0935

An Automated Approach to Object Code Verification

Shan Bhattacharya, LDRA Technology

4

  0935-0950

Coffee_29x32px.pngBREAK         (15 min)

0950-1020

Proving Functional Correctness with the Software Analysis Workbench | Video

Aaron Tomb, Galois, Inc.

4

  0805-0835

S5_Logo_50x38px.pngKeynote: AFRL Aerospace Systems Directorate Overview

Video Slide 2 | Video Slide 17

 Dr. Doug Blake, SES, Director, Aerospace Systems Directorate, Air Force Research Labs

  1050-1200

Poster Session

Salon C & D

  1200-1330

Food_35x32px.pngLUNCH             (on your own)

1330-1400

Traceability Support for Evolving Safety Assurance Cases

Jane Cleland-Huang and Robyn Lutz, University of Notre Dame; Iowa State University

1

1400-1430

Improving the Verification Awareness of Autonomous Systems

Rose F. Gamble, University of Tulsa

1

1430-1500

Modeling Incremental Autonomy of a UAS in Support of Reasoning About Applicable Assurance Methods

Dr. Jonathan Rowanhill, Dependable Computing LLC

1

  1500-1515

Coffee_29x32px.pngBREAK         (15 min)

1515-1545

Using Formal Methods to Reason About Neural Network Based Autonomous Systems

Video Slide 10 | Video Slide 17

Dr. Stephen Magill, Galois, Inc.

2

1545-1615

The One-Out-Of-m Multicore Problem

James H. Anderson, The University of North Carolina at Chapel Hill

9

  1615-1630

Coffee_29x32px.pngBREAK         (15 min)

1630-1700

Use of Controls Approaches for Verification, Validation and Certification of Distributed Mission Management Controls for Unmanned Systems

Dr. Prakash Sarathy, Northrop Grumman Aerospace Systems

5

1700-1730

Mathematical/Formal Approaches to Assuring Software Behavior towards UAV System Certification

Bill Sebring / Dr. Prakash Sarathy, Northrop Grumman Aerospace Systems

5

  1730-1730

Closing Remarks

  1730-1930

Dublin_Pub_Crest.pngNo-Host Social – Dublin Pub

(300 Wayne Ave., Dayton…near the Oregon District); www.dubpub.com

 


 

Come join us on the 3rd day to hear about AFRL’s Summer of Innovation Project!

Summer-of-Innovation.pngThe Summer of Innovation project is a partnership with the Air Force Research Laboratory, Wright Brothers Institute, and approximately 16 other contracted partners from academia, government, and industry.  The project is modeled after the “Google Summer of Code” program, a 14-week “innovation workshop” with a team of experts in Formal Methods and software design.  The teams have been working with AFRL's open source version of their Unmanned Systems Autonomy Services architecture (UxAS) which contains approximately 50 state of the art cooperative control, path planning and surveillance software services.

 

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

Day 3

S5 Agenda – Thursday, 03 Aug 2017

0730-0800

Sign-in at Registration Desk

0800-0805

Welcome and Administrative Remarks

0805-0835

What is AFRL’s Summer of Innovation?

Video Slide 29 | Video Slide 30

Dr. Derek Kingston, Air Force Research Labs (AFRL)

0835-0905

Argument Group – Dr. Ben Rodes

0905-0935

Requirements Group – Tony Aiello

0935-1005

Coffee_29x32px.pngBREAK         (30 min)

1005-1035

System Safety Group – Dr. Mauricio Castillo-Effen

1035-1115

Architecture Group – Dr. Jen Davis

1115-1145

Real-time / Middleware Group – Dr. James Edmondson

Video Slide 10 | Video Slide 11 Left | Video Slide 11 Right |

Video Slide 12 Left | Video Slide 12 Right | Video Slide 16 Left | Video Slide 16 Right

Video Slide 24 Left | Video Slide 24 Right

1145-1315

Food_35x32px.pngLUNCH             (on your own)

1315-1345

Hybrid Systems Group – Dr. Stanley Bak

Video Slide 3

1345-1415

Task / Service Planning Group – Dr. John Backes

Demo Video

1415-1435

Memory Safety of UxAS Tasks / Retrofitting UxAS with Rust

Adam Foltzer, Galois, Inc.

1435-1505

Coffee_29x32px.pngBREAK         (30 min)

1505-1535

Mission Planning Group – Dr. Bardh Hoxha

Video Slide 15 Left | Video Slide 15 Right | Video Slide 21

1535-1605

Testing Group – Dr. Sriram Sankaranarayanan

Video Slide 24

1605-1635

Wrap-up

1635-1635

Closing Remarks

 

Click here to download a .zip of all Posters (17.7MB)

Poster Session

Automatically Support Generation and Maintenance of An Assurance Case

Chung-Ling Lin, Western Michigan University

GPCA Requirements in SpeAR A Case Study

Ms. Erika Hoffman, AFRL; Mr. M. Anthony Aiello, Depandable Computing; Mr. Aaron Fifarek, LinQuest Corporation

WebGME-BIP: A Design Studio for Modeling, Analyzing, and Generating Systems with BIP

Anastasia Mavridou, Vanderbilt University

Combining Formal Methods with Optimized Test Design for Verification of Complex Systems

John A. Sauter, Soar Technology

A Risk-aware A* Algorithm for Resilient Mission Plans

Dr. Sarra Alqahtani and Dr. Rose F. Gamble, University of Tulsa

Drone Forensics: A Preliminary Flight Log Analysis of Micro Drones

Ankit L. P. S Renduchintala, University of Toledo

Integrating Advanced V&V Approaches into Industrial Product Development Processes

Michael  Nolan, Raytheon IV&V Technology Interest Group Co-chair

Examination of Gain Scheduling and Fuzzy Controllers with Hybrid Reachability

Aaron Fifarek, LinQuest Corporation

High-Assurance Runtime Verification

Eric G. Cooper and Dr. Alwyn E. Goodloe, NASA Langley Research Center

Architecture for an Indoor Distributed Cyber-Physical System Composed of Mobile Robots and Fog Computing Nodes

Nathaniel Hamilton and Dr. Taylor T. Johnson, Vanderbilt University

Moving Target Tracking with Formation Control by Groups of UAVs

Christina Wang and Dr. Taylor T. Johnson, Vanderbilt University

Towards A Run Time Policy Enforcement Framework for Multi-Platform Systems

Dr. Phu H. Phung, University of Dayton

The Need for Novel V&V Tools Over Solely More Modeling, Simulation, and Test

Dr. Christopher Elliott, Lockheed Martin Skunk Works