Workshop on Aviation Software Systems: Design for Certifiably Dependable Systems

Submitted by Anonymous on Mon, 04/16/2012 - 7:17pm

Oct 04, 2006 7:00 am - Oct 05, 2006 6:00 pm CDT

October 4-5, 2006 | Alexandria, Virginia
http://chess.eecs.berkeley.edu/hcssas/agenda.html

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.

PROGRAM

THURSDAY, OCTOBER 5
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) Education 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
FRIDAY, OCTOBER 6
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	Methods 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

Location:

Alexandria, Virginia

URL:

http://chess.eecs.berkeley.edu/hcssas/index.html