A scalable formal method for design and automatic checking of user interfaces
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
Software is increasingly being used to control safety-critical systems. Much research since Levesons fundamental article Software Safety: Why, What, and How (ACM Computing Surveys 18, 2 (1986), pp. 125163) has focused on ways to reduce or avoid software failures. However, the reliability of even the best-engineered software can be undermined by its user interface. Indeed, interface design for safety-critical interactive systems poses special challenges to the human-computer interaction community. This special issue addresses the challenge of analyzing, designing, and building reliable and usable safety-critical interactive systems. From a pragmatic point of view a safety-critical system is a system for which the cost of a failure is more important than the cost of developing the system. Safety-critical interactive systems add the human dimension to a software system by putting control into the hands of a human operator. Prominent examples of such control systems include nuclear power plants, railways systems, airplane cockpits, and military systems. Recent years have seen much effort put into the reengineering of the control system that is well represented in this special issueair traffic control. When compared to office automation systems, human-computer interac-tionfor safety-critical interactive systems is both familiar and different.For instance, the management of a functionality like undo, that can beseen as a usability issue in an office automation system, can become acritical functionality when the user interacts with a safety-critical system. The three articles in this special issue provide three snapshots for how human-computer interaction issues play out in the broader field of safety-critical interactive systems. In the first article, Is Paper Safer? The Role of Flight Strips in Air Traffic Control, Wendy Mackay provides adetailed ethnographic study on how air traffic controllers work. As in Mackays article, the case study entails en-route air traffic control. An important contribution of this article is a method for an integrated analysis of three important methods of this field: task performance, analysis of user deviation and consequent hazard, and cooperation among users. Each of the three articles deals with the analysis and design phases of safety-critical interactive systems. If changes are to be made to large, complex, safety-critical control systems, the changes must be made early in the development lifecycle, where redesign in response to identified problems is feasible.This special issue arose from a CHI98 Workshop organized by Palanque and Paterno´ (“Designing User Interfaces for Safety-Critical Systems&rdquo, SIGCHI Bulletin 30, 4). The three articles included in this special issue were selected from more than a score of papers received. The editors thank and acknowledge their debt to the many qualified external reviewers from several countries who have helped select and improve (through their comments) the contributions in this special issue.