[ home ]
[ list of talks ]
[ agenda ]
[ attendees ]
[ motivation ]
[ leadership ]
[ sponsorship ]
[ call for papers ]
[ previous/related meetings ]
|
|
NITRD HCSS-AS
|
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
|
|
|
|
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.
The original Call For Position Papers can
be found here.
|
|
|
|
|
|
|
Last modified
7 December, 2006
Please send website related questions to the website
administrator. |
|
|