A spiral model of software development and enhancement
ACM SIGSOFT Software Engineering Notes
Human-computer interface development: concepts and systems for its management
ACM Computing Surveys (CSUR)
Designing interaction
Encapsulating knowledge for intelligent automatic interaction objects selection
INTERCHI '93 Proceedings of the INTERCHI '93 conference on Human factors in computing systems
Communications of the ACM
The usability engineering lifecycle: a practitioner's handbook for user interface design
The usability engineering lifecycle: a practitioner's handbook for user interface design
A software model and specification language for non-WIMP user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Coverage criteria for GUI testing
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Safety Critical Computer Systems
Safety Critical Computer Systems
Designing Object-Oriented User Interfaces
Designing Object-Oriented User Interfaces
Human-Computer Interaction
User Centered System Design; New Perspectives on Human-Computer Interaction
User Centered System Design; New Perspectives on Human-Computer Interaction
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Agile Project Management With Scrum
Agile Project Management With Scrum
Life cycle support in the Ada environment
ACM SIGAda Ada Letters
Usability measurement and metrics: A consolidated model
Software Quality Control
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
Optimizing agile user-centred design
CHI '08 Extended Abstracts on Human Factors in Computing Systems
ACM Transactions on Computer-Human Interaction (TOCHI)
ACM Transactions on Computer-Human Interaction (TOCHI)
Investigating Agile User-Centered Design in Practice: A Grounded Theory Perspective
USAB '09 Proceedings of the 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society on HCI and Usability for e-Inclusion
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
DREAMER: a design rationale environment for argumentation, modeling and engineering requirements
Proceedings of the 28th ACM International Conference on Design of Communication
A model-based approach for supporting engineering usability evaluation of interaction techniques
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Model-based training: an approach supporting operability of critical interactive systems
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Structuring and composition mechanisms to address scalability issues in task models
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part III
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Model-based dynamic distribution of user interfaces of critical interactive systems
Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems
Proceedings of the 31st European Conference on Cognitive Ergonomics
Tuning an HCI curriculum for master students to address interactive critical systems aspects
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
International Journal of Human-Computer Studies
Hi-index | 0.00 |
While a significant effort is being undertaken by the Human-Computer Interaction community in order to extend current knowledge about how users interact with computing devices and how to design and evaluate new interaction techniques, very little has been done to improve the reliability of software offering such interaction techniques. However, malfunctions and failures occur in interactive systems leading to incidents or accidents that, in aviation for instance, are [22] 80% of the time attributed to human error demonstrating the inadequacy between the system and its operators. As an error may have a huge impact on human life, strong requirements are usually set both on the final system and on the development process itself. Interactive safety-critical systems have to be designed taking into account on an equal basis several properties including usability, reliability and operability while their associated design process is required to handle issues such as scalability, verification, testing and traceability. However, software development solutions in the area of critical systems are not adequate leading to defects especially when the interactive aspects are considered. Additionally, the training program development is always designed independently from the system development leading to operators trained with inadequate material. In this paper we propose a new iterative design process embedding multiple design and modeling techniques (both formal and informal) advocated by HCI and dependable computing domains. These techniques have been adapted and tuned for interactive systems and are used in a synergistic way in order to support the integration of factors such as usability, dependability and operability and at the same time in order to deal with scalability, verification and traceability.