Air Force Research Laboratory’s
Safe & Secure Systems and Software Symposium
2-4 June 2009


Tuesday, 2 June 2009

0800 – 0845  Coffee & Check-in

0845 – 0900  Air Force Research Laboratory Welcome

0900 – 0930  Keynote Address (Robert Smith; AFRL/RBCC) 

Software for Complex Systems

0930 – 1015  Systems and Software Producibility Collaboration and Experimental Environment (SPRUCE) 
                    Steve Drager; AFRL/RITB

1015 – 1030  Break

1030 – 1045  Software Systems Stockroom (S3) 
                    William McKeever; AFRL/RITB

1045 – 1145  OpenCPI - Open Component Portability Infrastructure:
                    A software framework to simplify complexity & enable code portability of real-time systems 
                   John Scott; Mercury Federal Systems

1145 – 1315  Lunch (on your own)

1315 – 1415  An OSD Software Systems Stockroom Instance Supporting Autonomous Flight Systems 
                    Jim Paunicka & Doug Stuart; Boeing

1415 – 1445  NASA Research Effort: V&V of Flight Critical Systems (no presentation available)
                    Paul Miner; NASA LARC

Fundamentals for the Future

1445 – 1515  A Compositional Analysis Framework for Hierarchical and Partitioned Real-Time Systems 
                    Insup Lee; Univ. of Pennsylvania

1515 – 1530  Break

1530 – 1600  Specification, Design and Verification of Distributed Embedded Systems 
                    K. Mani Chandy; Caltech

1600 – 1630  Model-Integrated Toolchain for High Confidence Design 
                    Janos Sztipanovits; Vanderbilt University

1630 – 1650  Concept Development forSoftware Health Management 
                    Walter Storm; Lockheed Martin

1650 – 1715  Analyzing and assigning meaning to autocoded control software (no presentation available)
                    Eric Feron; Georgia Tech

 

Wednesday, 3 June 2009

0800 – 0845  Coffee & Check-in

0845 – 0900  Air Force Research Laboratory Welcome

Improving V&V for flight critical/safety & mission/information security

0900 – 0940  Boeing CerTA FCS CPI Briefing 
                    Jim Paunicka & Doug Stuart; Boeing

0940 – 1010  Software Certification and DO-178C 
                    Darren Cofer; Rockwell Collins

1010 – 1025  Break

1025 – 1140  Highlights of the CerTA FCS CPI Program 
                    Walter Storm, Tony Aiello & Mike Whalen; Lockheed, Barron Associates and Rockwell Collins

1140 – 1310  Lunch (on your own)

1340 – 1410  Information Security Concerns in Aircraft 
                    Darren Cofer; Rockwell Collins

1410 – 1425  Break 

1425 – 1525  Partitioned and Composable Communication Systems for Mixed Criticality Architectures 
                    Reinhard Maier; TTTech Computertechnik

1525 – 1625  Bridging the Gap Between Model-Based Development and Model Checking 
                    Steve Miller; Rockwell Collins

1625 – 1645  Formal Analysis of Software Architecture Models 
                    Darren Cofer; Rockwell Collins

  

Thursday, 4 June 2009

0800 – 0845  Coffee & Check-in

0845 – 0900  Air Force Research Laboratory Welcome

Designing for Airworthiness Certification

0900 – 1000  Using the Architecture Analysis and Design Language for System Verification and Validation
                    Bruce Lewis; AMRDEC

1000 – 1015  Break

1015 – 1215  Mixed Critical Architecture Requirements (MCAR)
                    Jim Barhorst, John Scoredos and Craig Treece; Boeing, Northrop Grumman and Lockheed Martin

1215 – 1345  Lunch (on your own)

1345 – 1430  The Boeing Team Perspective on Mixed Criticality Architecture Requirements 
                    Jim Paunicka & Doug Stuart; Boeing

1530 – 1630  AFRL MCAR Program 
                    Craig Treece & Tony Aiello; Lockheed Martin and Barron Associates

1630 – 1700  Design-time and run-time optimization and verification of adaptive control systems
                    Wayne Wolf; Georgia Tech