Most aeronautical areas belong to this category of systems and are thus central to the workshop theme. We believe that the design of user interfaces in this area requires the use of innovative technologies for supporting user interactions and the support of many kind of skills and background to be addressed effectively. The argument here is that such methods can help deal with the complexity of these systems and to provide approaches to proving systems dependable. We believe that there is much to be gained by a consideration of the relationship between formal methods and more human factors- based approaches. The challenge of the workshop is to bring together researchers from the disciplines of software engineering and human factors to consider issues in safety critical system design, which are at the intersection of usability and safety.
Areas of concern are requirements analysis, specification, testing, and evaluation.
In the workshop we aim to review the state of art in the field, to give a framework to evaluate current approaches, and to identify promising research lines and the possible results which can be foreseen in the next years. To allow this each participant will receive abstracts of all accepted position papers in advance. The University is only about 200 meters from the convention centre where the conference will be held. The authors of the accepted papers will be notified by September, 1. If the deadline is a problem for you contact the organisers as soon as possible.