Visible to the public Workshop on Aviation Software Systems: Design for Certifiably Dependable Systems

October 4-5, 2006 | Alexandria, Virginia

This workshop was sponsored to bring together the Practice Community with the Research Community in avionics to define the Intellectual Agenda in Software for Critical Aviation Systems. The goal, among others, include:

  • Define Current State of the Art
  • Identify Key Issues and Needs
  • Identify Promising Research Approaches
  • Define Educational Needs and Approaches

The slide presentations can be found on the workshop website linked above.


0700 - 0800 Coffee and Breakfast
0800 - 0900 Introductory Session
Claire Tomlin
  • Simon Szykman (NITRD)
  • Helen Gill (NSF)
  • Rob Gold (OSD)
  • Dave Homan (AFRL)
  • Hal Pierson (FAA)
  • Paul Miner (NASA)
  • Sally Howe (NITRD)
0900 - 0930 Keynote Address
John Hansman (MIT)
0930 - 0945 Questions and Discussion
0945 - 1025 Applications

Design of a Certifiably Dependable Next-Generation Air Transportation System
Stephen A. Jacklin, Michelle M. Eshow, Michael R. Lowry, Willem Visser, Ewen Denny, and Johann Schumann (NASA Ames Research Center)

Cyber Security Research Plans for aSecure Aircraft Data Network (SADN)
Kevin Harnett, Vince Rakauskas (VOLPE National Transportation Center)

Electronic Distribution of Airplane Loadable Software: Some Challenges of Integrating On-Board Computational Systems with Ground-Based IT Networks
Scott Lintelman, Richard Robinson, Mingyan Li (Boeing), David von Oheimb (Seimens Corporate Technology), Radha Poovendran, Krishna Sampigethaya (University of Washington)

Airplane Assets Distribution System– Security Requirements
Scott Lintelman, Richard Robinson, Mingyan Li (Boeing), David von Oheimb (Seimens Corporate Technology), Radha Poovendran, Krishna Sampigethaya (University of Washington)

V&V Technologies Identified by VVIACS
Gregory S. Tallant, James M. Buffington, Walter A. Storm, Peter O. Stanfill (Lockheed Martin Aeronautics Company), Bruce Krogh (Carnegie Mellon University)

NAS-wide network modeling software for traffic flow management
Alexandre Bayen, Dengfeng Sun, Charles Robelin, Jessica Pannequin, Issam Strub, Alaa Hilal, Elie ElKhoury, Ibtissam Ezzedine, Sam Yang, Abdul-Hamid Ghandour (UC Berkeley)

Dynamic Aircraft Routing Services: Complexity, Scalability, Efficiency, and Software Design
Emilio Frazzoli (MIT)

FACET:Future Air Traffic Management Concepts Evaluation Tool
Banavar Sridhar (NASA Ames Research Center)

1025 - 1045 Break
1045 - 1145 General Discussion
Moderator: Lui Sha
Scribe: Paul Miner
1145 - 1215 Lunch
1215 - 1245 Keynote Address
Col. Michael Leahy (United State Air Force)
1245 - 1300 Questions and Discussion
1300 - 1350 Certification and Assessment

Scalable Compositional Analysis
Azer Bestavros (Boston University)

Capabilities and Limitations of Static Error Detection in Software for Critical Systems
S. Tucker Taft (SofCheck)

Certification by Composition?
Scott Beecher, Jim Krodel (Pratt & Whitney)

On the Correctness of Model Transformations
Gabor Karsai (Vanderbilt University)

Basing Aviation Software CertificationOn Assurance Cases
Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk (University of Virginia)

How do we make sense of modeling and model analysis?
Oleg Sokolsky (University of Pennsylvania)

Formal Certification for Embedded Aerospace Software
Rance Cleaveland (University of Maryland) (did not attend)

Missing in Action: Timing Analysis and Soft Error Protection
Frank Mueller (North Carolina State University)

Certification and evaluation - current methods and future prospects
Robin Bloomfield (City University, London, and Adelard LLP)

1350 - 1500 General Discussion
Moderator: David E. Corman
Scribe: Darren Cofger
1500 - 1520 Break
1520 - 1615 Systems Issues

Research and Roadmap Thoughts
Barbara Lingberg (FAA)


High-productivity development environments for certifiably dependable systems
Darren Cofer (Honeywell)

NexGen ATM System:A Perspective
Andres Zellweger (JPDO)

Performance Measures and Validation for Systems of Decentralised/Distributed UAS
Salah Sukkarieh (University of Sydney, ACFR)

Certification Challenges for Autonomous Flight Control System
David Homan (AFRL)

What The Future Holds…
Glenn Roberts (MITRE)

Systems Engineering for Automating V&V of Dependable Systems
John Baras (University of Maryland)

Thoughts on Legacy and Next Generation Air Transportation System
Andy Steinberg, Naveen Rao (FAA) (Presentation unavailable)


Wanted: A Systems View on Certification!
Kristina Lundqvist, Jayakanth Srinivasan (MIT)

Computer Security Aspects of Dependable Avionics Systems
Jim Alves-Foss (University of Idaho)

Aerospace Engineering Education Has Not Kept Pace with Technology
Lyle Long (Penn State University)


1615 - 1700 General Discussion
Moderator: Gabor Karsai
Scribe: Alexandre Bayen
1700 - 1800 Working Group Discussions
1800 - 2000 Reception
0730 - 0800 Coffee and Breakfast
0800 - 0815 Introduction
John Hansman
0815 - 0845 Keynote Address
John Rushby (SRI International)
0845 - 0900 Questions and Discussion
0900 - 0945


Complexity and Stabilityin Modern Avionics
Lui R. Sha (UIUC)

Software Fault Protection
Allen Goldberg

Aircraft Certification Guidelines for the use of Commercial Off-The-Shelf Hardware / Software
Peter Skaves (Unable to attend)

Static Stability Analysis of Autocoded Software for Aviation Systems
Arnaud Venet (Kestrel Technologies), Eric Feron (Georgia Tech)

Methods have limits …
Matthew B. Dwyer, Steve Goddard, Sebastian Elbaum (University of Nebraska, Lincoln)

Safety and Security in the Next Generation Air Transportation System
Natasha Neogi

Timing Predictability- A Must for Avionics Systems
Reinhard Wilhelm


0945 - 1030 General Discussion
Moderator: Eric Feron
Scribe: Salah Sukkarieh
1030 - 1050 Break
1050 - 1145 Breakout Groups
1145 - 1215 Lunch
1215 - 1245 Keynote Address
Don C. Winter (Boeing Phantom Works)
1245 - 1300 Questions and Discussion
1300 - 1345 Breakout Sessions
1345 - 1400 Reconvene in Main Room for Outbriefs of Breakout Groups
1400 - 1415 Group 1 Outbrief- Methods
Moderator: Azer Bestavros
Participants: Matthew Dwyer, Allen Goldberg, Paul Jones, Martha Matzke, Paul Miner, Cesar Munoz, David von Oheimb, Calton Pu, John Rushby, Lui Sha, Bill Spees, Reinhard Wilhelm
1415 - 1430 Group 2 Outbrief- Applications
Moderator: Scott Lintelman
Scribe: Jim Paunicka
Participants: Alex Bayen, Ray Bortner, David Corman, Eric Feron, Helen Gill, Kevin Harnett, David Homan, Gabor Karsai, Frankie King, Col. Mike Leahy, Xiaogong Lee, Mingyan Li, Vince Rakauskas, Johann Schumann, Jonathan Sprinkle, Banavar Sridhar
1430 - 1445 Group 3 Outbrief - Certification
Moderator: Jim Krodel
Scribe: Richard Robinson
Participants: Oleg Sokolsky, Tucker Taft, Hal Pierson, Steve Jacklin, Jim Alves-Foss, Natasha Neogi, Patrick Graydon
1445 - 1500 Group 4 Outbrief - Systems Issues
Moderator: John Baras
Scribe: Eric Cooper
Participants: Claire Tomlin, Mingyan Li, Lyle Long, Walter Storm, Peter Stanfill, Kristina Lundqvist, Ernie Lucier,Andres Zellweger, Barbara Lingberg, ElRoy Weins, Glenn Roberts
1500 Wrap Up of Workshop


Event Details
Alexandria, Virginia