How machine delays change user strategies
ACM SIGCHI Bulletin
Formal specification of CORBA services: experience and lessons learned
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The keystroke-level model for user performance time with interactive systems
Communications of the ACM
A model-based tool for interactive prototyping of highly interactive applications
CHI '02 Extended Abstracts on Human Factors in Computing Systems
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
Structuring interactive systems specifications for executability and prototypability
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
A model-based approach for real-time embedded multimodal systems in military aircrafts
Proceedings of the 6th international conference on Multimodal interfaces
Formal description of a multimodal interaction technique in an immersive virtual reality application
IHM 2003 Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine
EACE '05 Proceedings of the 2005 annual conference on European association of cognitive ergonomics
Understanding User Centred Design (UCD) for People with Special Needs
ICCHP '08 Proceedings of the 11th international conference on Computers Helping People with Special Needs
Combining Human Error Verification and Timing Analysis
Engineering Interactive Systems
Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs
Proceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine
Towards model checking stochastic aspects of the thinkteam user interface
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Using complementary models-based approaches for representing and analysing ATM systems' variability
Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems
Action graphs and user performance analysis
International Journal of Human-Computer Studies
Hi-index | 0.00 |
While research in the field of HCI seems to focus on usability issues real-time safety critical systems deals with specific requirements that make usability only one of the main factors that designers of such systems have to deal with. Indeed, reliability and efficiency are also to be taken into account. This paper presents extensions to previous work done in the field of formal description techniques for interactive systems by adding temporal elements to the ICO formalisms. These temporal elements are used for evaluating in a quantitative way the relative efficiency of different designs. Such results are aimed at supporting design decisions in the design process of safety critical interactive systems.