2002
Journal article  Restricted

Integrated support based on task models for the design, evaluation, and documentation of interactive safety-critical systems: a case study in the air traffic control domain

Paternò F., Santoro C.

Safety-critical systems  Computer Science Applications  Theoretical Computer Science  Control and Systems Engineering 

This paper presents an approach to using task models in both the design and the evaluation phases of interactive safety-critical applications. We explain how it is possible to use information contained in task models for supporting the design and development of effective user interfaces. Moreover, we show how task models can also support a systematic inspection-based usability assessment by examining possible deviations that can occur while users interact with the system, an important issue especially when coping with the peculiar requirements of safety-critical applications. Such evaluation provides useful technical documentation in order to help users achieve an in-depth understanding of the system and its design rationale. Lastly, a description of the application of our approach to a real case study in the air traffic control domain will illustrate the main features of the proposed method. In particular, we discuss examples taken from an application for air traffic controllers in an aerodrome supported by graphical user interfaces for data-link communications with pilots.

Source: International Journal of Systems Science 33 (2002): 513–527. doi:10.1080/00207720210133688

Publisher: Taylor and Francis,, London , Regno Unito


Metrics



Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:43660,
	title = {Integrated support based on task models for the design, evaluation, and documentation of interactive safety-critical systems: a case study in the air traffic control domain},
	author = {Paternò F. and Santoro C.},
	publisher = {Taylor and Francis,, London , Regno Unito},
	doi = {10.1080/00207720210133688},
	journal = {International Journal of Systems Science},
	volume = {33},
	pages = {513–527},
	year = {2002}
}