An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation

Authors:
Karsten Loer;Michael D. Harrison
Affiliations:
Department Strategic Development, Germanischer Lloyd AG--Head Office, Hamburg, Germany 20459;Informatics Research Institute, University of Newcastle Upon Tyne, UK NE1 7RU
Venue:
Automated Software Engineering
Year:
2006

Citing 0
Cited 4

Systematic Analysis of Control Panel Interfaces Using Formal Tools

Interactive Systems. Design, Specification, and Verification
Factoring User Experience into the Design of Ambient and Mobile Systems

Engineering Interactive Systems
Interaction engineering using the IVY tool

Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking

Computational & Mathematical Organization Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper discusses a method for the analysis of dependable interactive systems using model checking, and its support by a tool designed to make it accessible to a broader community. The method and the tool are designed to be of value to system engineers, usability engineers and software engineers. It has been designed to help usability engineers by making those aspects of the analysis relevant to them explicit while concealing those aspects of modelling and model checking that are not relevant. The paper presents the results of a user evaluation of the effectiveness of aspects of the tool and how it supports the proposed method.