Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Article title
Reusing models and properties in the analysis of similar interactive devices
Type
D - Journal article
Title of journal
Innovations in Systems and Software Engineering
Article number
n/a
Volume number
n/a
Issue number
-
First page of article
-
ISSN of journal
1614-5054
Year of publication
2013
Number of additional authors
2
Additional information
<20>Describes the application of the IVY tool to two widely used medical devices, comparing their interactive behaviour systematically and rigorously. The work is part of an on-going programme, now funded by EPRSC (CHI+MED), involving Braga, Portugal, QMUL and Swansea and feeding into FDA exploration of new regulatory processes. On-going research is directly linked with FDA and is dealing with scale by systematically combining model checking and theorem proving. The paper was published in a special edition concerned with formal methods in interactive systems.
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Dependability
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-