NITRD HCSS-AS

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

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

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.