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


NITRD HCSS-AS: Motivation

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


Software related issues are the “Achilles Heel” of modern aerospace system development. Current design and implementation practices are of high cost, frequently do not meet original schedule, foster a culture of dis-innovation (due to strict implementation and methodological requirements), and have a high cost of maintenance.

For critical systems where high integrity requirements yield certification challenges and barriers, this issue is exacerbated. Based on anticipated functional and behavioral requirements of systems years down the road, current processes are inefficient and inadequate for those future needs. In addition, the academic community is generally decoupled from practitioners for myriad reasons, even though there has been steady research in the discipline of aerospace as well as in the area of control with embedded software in various engineering disciplines.


New Approaches Required

Our tenet is that new approaches, understanding and breakthroughs are required in order to ensure high confidence for the deployed systems within a reasonable timeframe and cost. In addition, we pose that success would be a significant economic and opportunity stimulant, and open the door for unprecedented innovation in the aviation industry with commercial, military and civil impact.

Agenda of the Workshop

In general, these issues have been recognized by many organizations but real and measurable progress has been slow. With this workshop we propose to bring together the Practice Community with the Research Community to define the Intellectual Agenda in Software for Critical Aviation Systems. Among other topics, we will:

  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 cerification 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.



Last modified 7 December, 2006
Please send website related questions to the website administrator.
To modify this page, use CVS.
©2002-2018 Chess