Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Professor Michael HarrisonORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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. © Springer Science + Business Media, LLC 2006.

Publication metadata

Author(s): Loer K, Harrison MD

Publication type: Article

Publication status: Published

Journal: Automated Software Engineering

Year: 2006

Volume: 13

Issue: 4

Pages: 469-496

ISSN (print): 0928-8910

ISSN (electronic): 1573-7535

Publisher: Springer Netherlands


DOI: 10.1007/s10515-006-7999-y


Altmetrics provided by Altmetric