Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

I am an assistant professor at the Department of Informatics of the University of Minho and a senior researcher at HASLab - INESC TEC. I mainly work on the application of formal software engineering techniques and tools to the modelling and analysis of interactive system. 

Current and recent funded research includes: formal modelling and analysis of interactive systems (with a particular focus on medical devices); model-based testing of user interfaces; prototyping of ambience intelligence systems using virtual reality simulations; and the reverse engineering of the user interface layer of software systems.

I am a member of IFIP WG 2.7/13.4 on User Interface Engineering (currently chairing the group) and of the steering committee of EICS (the ACM SIGCHI Symposium on Engineering Interactive Computer Systems).

Interest
Topics
Details

Details

  • Name

    José Creissac Campos
  • Cluster

    Computer Science
  • Role

    Senior Researcher
  • Since

    01st November 2011
001
Publications

2017

A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices

Authors
Masci, P; Zhang, Y; Jones, PL; Campos, JC;

Publication
Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

Abstract
Formal methods technologies have the potential to verify the usability and safety of user interface (UI) software design in medical devices, enabling significant reductions in use errors and consequential safety incidents with such devices. This however depends on comprehensive and verifiable safety requirements to leverage these techniques for detecting and preventing flaws in UI software that can induce use errors. This paper presents a hazard analysis method that extends Leveson’s System Theoretic Process Analysis (STPA) with a comprehensive set of causal factor categories, so as to provide developers with clear guidelines for systematic identification of use-related hazards associated with medical devices, their causes embedded in UI software design, and safety requirements for mitigating such hazards. The method is evaluated with a case study on the Gantry-2 radiation therapy system, which demonstrates that (1) as compared to standard STPA, our method allowed us to identify more UI software design issues likely to cause use-related hazards; and (2) the identified UI software design issues facilitated the definition of precise, verifiable safety requirements for UI software, which could be readily formalized in verification tools such as Prototype Verification System (PVS). © Springer International Publishing AG (outside the US) 2017.

2017

Demonstrating that Medical Devices Satisfy User Related Safety Requirements

Authors
Harrison, MD; Masci, P; Campos, JC; Curzon, P;

Publication
Software Engineering in Health Care - 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

Abstract
One way of contributing to a demonstration that a medical device is acceptably safe is to show that the device satisfies a set of requirements known to mitigate hazards. This paper describes experience using formal techniques to model an IV infusion device and to prove that the modelled device captures a set of requirements. The requirements chosen for the study are based on a draft proposal developed by the US Food and Drug Administration (FDA). A major contributor to device related errors are (user) interaction errors. For this reason the chosen models and requirements focus on user interface related issues. © Springer International Publishing AG 2017.

2017

Welcome to the First Issue of PACMHCI EICS

Authors
Calvary, G; Nichols, J; Campos, JC; Nunes, NJ; Campos, PF;

Publication
PACMHCI

Abstract

2017

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices

Authors
Harrison, MD; Masci, P; Campos, JC; Curzon, P;

Publication
IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS

Abstract
One part of demonstrating that a device is acceptably safe, often required by regulatory standards, is to show that it satisfies a set of requirements known to mitigate hazards. This paper is concerned with how to demonstrate that a user interface software design is compliant with use-related safety requirements. A methodology is presented based on the use of formal methods technologies to provide guidance to developers about addressing three key verification challenges: 1) how to validate a model, and show that it is a faithful representation of the device; 2) how to formalize requirements given in natural language, and demonstrate the benefits of the formalization process; and 3) how to prove requirements of a model using readily available formal verification tools. A model of a commercial device is used throughout the paper to demonstrate the methodology. A representative set of requirements are considered. They are based on US Food and Drug Administration (FDA) draft documentation for programmable medical devices, and on best practice in user interface design illustrated in relevant international standards. The methodology aims to demonstrate how to achieve the FDA's agenda of using formal methods to support the approval process for medical devices.

2017

The Specification and Analysis of Use Properties of a Nuclear Control System

Authors
Harrison, MD; Masci, PM; Campos, JC; Curzon, P;

Publication
The Handbook of Formal Methods in Human-Computer Interaction.

Abstract

Supervised
thesis

2017

TOM Framework: Uma ferramenta de testes baseados em modelos para interfaces gráficas web

Author

Institution
UM

2017

A Library of User Interface Widgets Prototypes for Car Dashboards

Author

Institution
UM

2017

Model-based Testing of User Interfaces

Author

Institution
UM

2017

A Tabular Editor for MAL Interactors

Author

Institution
UM

2016

Modelo integrado para avaliação remota de usabilidade em E-learning

Author
Luciana Lopes Freire

Institution
UM