Abstract

The design of safety critical systems calls for advanced software engineering models, methods and tools in order to guarantee safety requirements that can put human life at stake. When the safety critical system encompasses a substantial interactive component, the same level of confidence is required towards the human­ computer interface. Conventional empirical or semi-formal techniques, although very fruitful, do not provide sufficient insight on the reliability of the human system cooperation, and offer no easy way, for example, to quantitatively compare two design options. The aim of this paper is to present a method with related too1& and techniques for engineering the design and development of usable user interfaces for safety-critical applications. The specific application area which we will consider is air traffic control but most of the results will be valid for any application areas with similar requirements.


Original document

The different versions of the original document can be found in:

http://dx.doi.org/10.1007/978-0-387-35175-9_53
https://link.springer.com/chapter/10.1007%2F978-0-387-35175-9_53,
https://core.ac.uk/display/24333621,
https://www.irit.fr/~Remi.Bastide/Research/Publications/bastide_interact_1997.pdf,
https://link.springer.com/content/pdf/10.1007%2F978-0-387-35175-9_53.pdf,
https://academic.microsoft.com/#/detail/1495552337
Back to Top

Document information

Published on 03/06/13
Accepted on 03/06/13
Submitted on 03/06/13

Volume 2013, 2013
DOI: 10.1007/978-0-387-35175-9_53
Licence: CC BY-NC-SA license

Document Score

0

Views 1
Recommendations 0

Share this document

claim authorship

Are you one of the authors of this document?