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 02 Aug 2017 @ 1521EDT

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