|
[ 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
|
| |
|
| |
Motivation
|
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:
- 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 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. |
|
|
