Air Force Research Laboratory’s
Safe & Secure Systems and Software Symposium
10-12 June 2014 

**Click Here for a Downloadable Version of the Agenda** Updated 6/10/2014  10:21 PM

 

Click here to download .zip of all Day 1 Files

Day 1

Agenda - Tuesday, 10 June 2014

0730-0800

On-Site Registration

0800-0810

Welcome and Administrative Remarks

0810-0840

KeynoteBig Picture for Autonomy Research in DoD

Dr. Jim Overholt, Senior Scientist for Autonomous Systems, Human Effectiveness Directorate, AFRL

0840-0905

Test and Evaluation, Verification and Validation of Autonomous Systems From AFRL/RQ to DoD

Mr. Matt Clark , AFRL/RQQA

0905-0930

Requirements, Models, and Properties:  Their Relationship and Validation

Dr. Mats Heimdahl, University of Minnesota

0930-0955

Development and Analysis of Formal Requirements Using the SpeAR Framework

Mr. Lucas Wagner, Rockwell Collins

0955-1015

BREAK

1015-1040

Statistical Model Checking for Real-Time Scheduling Validation

Dr. Jeffery Hansen, Carnegie Mellon University

1040-1105

MARGInS: Model-based Analysis of Realizable Goals in Systems

Dr. Misty Davies, NASA

1105-1130

Quantifying Resiliency in Component-Based Software Architecture Models

Dr. Daniel Balasubramanian, Vanderbilt University

1130-1330

LUNCH

1330-1355

Integration of Analysis contracts for Cyber-Physical Systems

Dr. Dionisio de Niz, Carnegie Mellon University

1355-1420

Proving Cyber-Physical Systems with KeYmaera

Dr. Andre Platzer, Carnegie Mellon University

1420-1445

Fault Tree Generation and Augmentation

Dr. Chris Walter, WW Technology Group

1445-1510

Automated Formal Verification of Distributed Cyber-Physical Systems

Dr. Taylor Johnson, University of Texas

1510-1530

BREAK

1530-1555

A Modal Specification Approach for Assuring the Safety of On-Demand Medical Cyber-Physical Systems

Dr. Lu Feng, University of Pennsylvania

1555-1620

AGREE:  Compositional Reasoning for AADL Models

Dr. John Backes, Rockwell Collins

1620-1645

Programming Languages for High-Assurance Autonomous Vehicles

Dr.  Lee Pike, Galois

 

Click here to download .zip of all Day 2 Files

Day 2

Agenda - Wednesday, 11 June 2014

0730-0800

Sign-in at Registration Desk

0800-0930

Breakout Sessions

0930-0950

BREAK

0950-1020

Keynote:  Research Challenges facing academia for Autonomous Vehicles

Ms. Constance Heitmeyer, Naval Research Laboratory

1020-1045

Run Time Assurance Methodologies for Advanced, Highly Adaptive Aerospace Systems

Dr. John Schierman, Barron Associates, Inc.

1045-1110

Using Hybrid-system Verification Tools in the Design of Simplex-Based Systems

Dr. Scott Stoller

1110-1135

A Unified Run-Time Assurance Scheme using Real-Time Reachability

Dr. Stanley Bak, AFRL/RI

1135-1200

Verifying Synchronous Distributed Applications

Dr. Sagar Chaki, Carnegie Mellon University

1200-1330

LUNCH

1330-1355

Testing Robustness of UAS Technology (TRUST)

Mr. John Sauter, Soar Technology

1355-1420

Stability Analysis of Hybrid Systems Using Model Checking

Mr. Jon Hoffman, AFRL/RQQA

1420-1445

Control Theorists are from Mars and Computer Scientists are from Venus

Mr. Romain Jobredeaux, Georgia Institute of Technology

1445-1510

Getting it right the first time:  Verification of Autonomous Behavior-based Multirobot Missions

Prof. Damian Lyons, Fordham University

1510-1530

BREAK

1530-1555

Domain-Specific Modeling Environment as the Basis for an Autonomous Systems Integrated Development

Dr. David Conner, TORC Robotics

1555-1620

Verification of Cyber-Physical Controller Software Using the AVM Meta Tool Suite and HybridSAL

Dr. Joseph Porter, Vanderbilt University

1620-1645

USAF Avionics Weapon Systems Cybersecurity Risk Management Framework Assessment

Mr. Harrell Van Norman, USAF

 

Click here to download .zip of all Day 3 Files

Day 3

Agenda - Thursday, 12 June 2014

0730-0800

Sign-in at Registration Desk

0800-0805

Welcome and Administrative Remarks

0805-0835

Keynote:  Complex Systems Development Risks

Mr. Yuri Gawdiak, Manager of Strategic Analysis, NASA ARMD Headquarters

0835-0900

Evolution of Software Only Simulation at NASA IV&V

Mr. Scott Zemerick, TMC Technologies

0900-0925

Creating Trust In Autonomous Systems – the TRUST V

Dr. Dan Zwillinger, Raytheon

0925-0950

Information Retrieval Based Analysis of Software Artifacts

Dr. Dewayne Perry, University of Texas

0950-1015

SAFE:  A Clean Slate, Safe, Secure Computing Platform

Dr. Gregory Sullivan, BAE Systems

1015-1035

BREAK

1035-1100

Robustness of Simulink/Stateflow Model Against Implementation Imperfections

Prof. Ratnesh Kumar, Iowa State University

1100-1125

Certifiable Modular Avionics Software Development using FACE TSS

Dr. Paul Pazandak, Real-Time Innovations, Inc

1125-1150

Affordable Avionics through Commercial Certified Middleware

Dr. Paul Pazandak, Real-Time Innovations, Inc.

1150-1215

A Quantum Computing Approach to the Verification and Validation of Complex Cyber-Physical Systems

Mr. Todd Belote, Lockheed Martin Aeronautics