Communications of the ACM
Low vs. high-fidelity prototyping debate
interactions
The “prince” technique: Fitts' law and selection using area cursors
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
WSC '96 Proceedings of the 28th conference on Winter simulation
A software model and specification language for non-WIMP user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Extreme programming explained: embrace change
Extreme programming explained: embrace change
InTml: a description language for VR applications
Proceedings of the seventh international conference on 3D Web technology
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Prototyping Pre-implementation Designs of Virtual Environment Behaviour
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
ACM '69 Proceedings of the 1969 24th national conference
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Proceedings of the 4th Nordic conference on Human-computer interaction: changing roles
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
Towards a formal, model-based framework for control systems interaction prototyping
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
DREAMER: a design rationale environment for argumentation, modeling and engineering requirements
Proceedings of the 28th ACM International Conference on Design of Communication
Model-based training: an approach supporting operability of critical interactive systems
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Prototypage basé sur les modèles de tâches: une étude pilote
23rd French Speaking Conference on Human-Computer Interaction
Exploiting gaming research and practice for engineering interactive critical systems
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
Formal tasks and systems models as a tool for specifying and assessing automation designs
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
Engineering animations in user interfaces
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Formal description of multi-touch interactions
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting 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 to, for example, quantitatively compare two design options. The aim of this paper is to present a method, with supporting tools and techniques, for engineering the design and development of usable user interfaces for safety-critical applications. More precisely we present the Petshop environment which is a Petri net based tool for the design specification, prototyping and validation of interactive software. In this environment models of the interactive application can be interactively modified and executed. This is used to support prototyping phases (when the models and the interactive application evolve significantly to meet late user requirements for instance) as well as in the operation phase (after the system is deployed). The use of the description technique (the ICO formalism) supported by PetShop is presented on a multimodal ground segment application for satellite control and more precisely how prototyping can be performed at the various levels of the architecture of interactive systems.