Air Force Research Laboratory’s
Safe & Secure Systems and Software Symposium
 June 14-16, 2011
Hilton Garden Inn, Beavercreek Ohio

Tuesday, 14 June 2011

0800-0815  Welcome and Administrative Remarks

0815-0900  KEYNOTE: An Overview of NASA’s Aviation Safety Program
                 Dr. Richard Barhydt, NASA

0900-0930  AFRL/RBCC Vision and National Roadmap
                 Mr. Jacob Hinchman, AFRL/RBCCZ

0930-1000  DO-178B to DO-178C: Impact on Avionics Verification & Certification
                 Mr. Vance Hilderman, HighRely Incorporated

1000-1030  Multi-View Consistency in Architectures for Cyber-Physical Systems
                 Dr. Ajinkya Bhave, Carnegie Mellon

1030-1100  Break

1100-1200  Growing the SAVI Paradigm with Use Cases
                 Dr. Don Ward, SAE AADL Committee (Video Demo 1, Demo 2, Demo 3, Demo 4

1200-1330  Lunch

1330-1400  Integrity Management for Sense and Avoid Systems
                 Mr. Sharath Advadhanam, Utopia Compression Corporation

1400-1430  Industrial Verification Using the KIND Model Checker
                 Dr. Lucas Wagner, Rockwell Collins

1430-1500  Application of a Distributed Integrated Modular Avionics (IMA) Test Bed to Sikorsky Aircraft
                 Mr. Kurt Doppelbauer, TTech North America

1400-1530  Break

1530-1630  Panel Discussion

1630-1645  Closing Remarks


Wednesday, 15 June 2011

0800-0815  Welcome and Administrative Remarks

0815-0900  Keynote: An Overview of V&V for Cyber Physical Systems
                 Dr. Helen Gill, National Science Foundation

0900-0930  Software Security Assurance: Software Supply Chain Risk Management
                 Mr. Joe Jarzombek, DHS

0930-1000  Verification and Validation of Complex Systems
                 Mr. Bill Lanz and Mr. Hussein Youssef, Lockheed Martin Aeronautics

1000-1030  Layering Multi-core Scheduling Innovation Atop Existing RTOS Platforms
                 Mr. Malcolm S. Mollison, University of North Carolina

1030-1100  Break

1100-1130  Data Centric Middleware Design to Ease Airworthiness Certification for Distributed Systems
                 Dr. Heidi Schubert, Real Time Innovations

1130-1200  Application of Data Distribution Service Middleware in Mixed- Criticality Airborne Systems 
                 Dr. James L. Paunicka, Boeing

1200-1330  Lunch

1330-1400  Analysis/Testing Techniques, Applications, and Certification Issues in Model
                 Dr. Devesh Bhatt, Kirk Schloegel, Honeywell, Inc

1400-1430  Incremental and Parallel Model Checking of Synchronous systems
                 Cesare Tinelli & Temesghen Kahsal, University of Iowa

1430-1500  An Integrated Framework for S/W and H/W System Analysis
                 Dr. Carol Smidts and Mr. Chetan Mutha, The Ohio State University

1500-1530  Break

1530-1600  Modeling, Automatic Fault Simulation, and Statistical Verification in ESMoL
                 Dr. Joseph Porter, Vanderbilt University

1600-1630  Model-based Test Generation for Simulink/Stateflow 
                 Mr. Meng Li, Iowa State University

1630-1700  Model-based Engineering of UAVs to Ensure Safety of Critical Missions
                 Dr. Sandeep K.S. Gupta, Arizona State University

1700-1715  Closing Remarks


Thursday, 16 June 2011

0800-0815  Welcome and Administrative Remarks

0815-0845  Keynote: Aeropsace Challenges for Cyber Physical Systems
                 Mr. Don Winter, Boeing

0845-0915  Complexity Reducing Architectural Patterns
                 Dr. Darren Cofer, Rockwell Collins

0915-0945  Real-Time Implementation of Robust Fault-Tolerant Adaptive Flight Control
                 Mr. Evgeny Kharisov, University of Illinois (Video 1, Video 2, Video 3)

0945-1015  A Quantum Computing Approach to the Verification and Validation of Complex Cyber-Physical Systems 
                 Mr. Greg Tallant, Lockheed Martin Aeronautics Company

1015-1045  Break

1045-1115  Specification-Based Program Repair Using SAT 
                 Mr. Sarfraz Khurshid, University of Texas

1115-1145  Cascaded Static Analyses and Implementations for Credible,
                 High- Performance Control Systems Design,
 Dr. Eric Feron, Georgia Institute of Technology

1145-1215  Systems & Software Producibility Collaboration and Experimentation Environment (SPRUCE)
                 Mr. Steve Drager, AFRL/RITA

1215-1345  Lunch

1345-1645  WORKING GROUP: National Roadmap Development (BY INVITE ONLY)