Browsing School of Electronic Engineering and Computer Science by Author "Campos, JC"
Now showing items 1-6 of 6
-
Demonstrating that Medical Devices Satisfy User Related Safety Requirements
Harrison, MD; Masci, P; Campos, JC; Curzon, P (2017) -
Don't go in there! using the APEX framework in the design of ambient assisted living systems
Campos, JC; Abade, T; Silva, JL; Harrison, MD (2017-08) -
Modelling information resources and their salience in medical device design
Harrison, M; Campos, JC; Ruksenas, R; Curzon, P; Engineering Interactive Computing Systems 2016 (ACM, 2016-06)The paper describes a model that includes an explicit description of the information resources that are assumed to guide use, enabling a focus on properties of “plausible interactions”. The information resources supported ... -
The specification and analysis of use properties of a nuclear control system
Harrison, MD; Masci, P; Campos, JC; CURZON, P -
Templates as heuristics for proving properties of medical devices
Harrison, M; Campos, JC; Masci, P; CURZON, P (ACM, 2015-12-22)This paper briefly describes how property templates have been used to analyse and explore the interactive behaviour of a specific medical device (an IV infusion pump). It is proposed that interactive devices that satisfy ... -
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices
Harrison, MD; Masci, P; Campos, JC; Curzon, P (2017-12)