Toggle Main Menu Toggle Search

Open Access padlockePrints

A framework and supporting tool for the model-based analysis for dependable interactive systems in the context of industrial design

Lookup NU author(s): Professor Michael HarrisonORCiD



This paper describes a tool to support model checking of interactive systems within an industrial environment. The paper introduces the proposed design framework and the tool that is designed to bridge between those familiar with company practice and the less familiar approach based on model cheking. The tool was developed to be used in an avionics design setting. It is currently at a prototype stage. The paper describes the experience of a dmall sample of designers and the design implications arising from their comments.

Publication metadata

Author(s): Loer K, Harrison MD

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2004

Pages: 25

Print publication date: 01/11/2004

Source Publication Date: November 2004

Report Number: 873

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne