[ home ]
[ list of talks ]
[ agenda ]
[ attendees ]
[ motivation ]
[ leadership ]
[ sponsorship ]
[ call for papers ]
[ previous/related meetings ]



National Workshop on Aviation Software Systems: Design for Certifiably Dependable Systems
A Workshop on Research Directions and State of Practice of High Confidence Software Systems
October 4-5, 2006, Alexandria, VA

Talks and position papers from the meeting can be found here.

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:

  1. Define Current State of the Art
  2. Identify Key Issues and Needs
  3. Identify Promising Research Approaches
  4. Define Educational Needs and Approaches

This final item is of key focus for the workshop, since we believe that new curricula which bring various ideas of certification and scalability to the classroom will doubtless provide a new generation of researchers and practitioners who will be energized—and enabled—to take on the problems whose solutions we may see today as impractical. Please explore the rest of the website to understand our motivation, and to see the history of the working group.

The original Call For Position Papers can be found here.

The meeting was held
October 5-6, 2006, at the Hilton Alexandria Old Town, in Alexandria, Virginia. The original registration page can be found here.



Last modified 7 December, 2006
Please send website related questions to the website administrator.
To modify this page, use CVS.
You are not logged in 
©2002-2016 Chess