Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Fechar
  • Menu
Sobre

Sobre

Sou Professor Auxiliar no Departamento de Informática da Universidade do Minho e investigador sénior do HASLab/INESC TEC. Trabalho na aplicação de técnicas e ferramentas formais de engenharia de software à modelação e análise de sistemas interactivos.

Investigação financiada recente inclui: modelação e análise formais de sistemas interactivos (com um foco particular em dispoisitivos médicos); teste de interfaces com o utilizador baseado em modelos; prototipagem de sistemas de computação ubíqua utilziando realidade virtual; e engenharia reversa da cama de interface de aplicações.

Sou membro do grupo de trabalho IFIP WG 2.7/13.4 on User Interface Engineering (a que actualmente presido), do editorial board da revista Proc. of the ACM on HCI e do comité de steering da EICS (ACM SIGCHI Symposium on Engineering Interactive Computer Systems).

 

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    José Creissac Campos
  • Cluster

    Informática
  • Cargo

    Investigador Sénior
  • Desde

    01 novembro 2011
006
Publicações

2019

Formal techniques in the safety analysis of software components of a new dialysis machine

Autores
Harrison, MD; Freitas, L; Drinnan, M; Campos, JC; Masci, P; di Maria, C; Whitaker, M;

Publicação
SCIENCE OF COMPUTER PROGRAMMING

Abstract
The paper is concerned with the practical use of formal techniques to contribute to the risk analysis of a new neonatal dialysis machine. The described formal analysis focuses on the controller component of the software implementation. The controller drives the dialysis cycle and deals with error management. The logic was analysed using model checking techniques and the source code was analysed formally, checking type correctness conditions, use of pointers and shared memory. The analysis provided evidence of the verification of risk control measures relating to the software component. The productive dialogue between the developers of the device, who had no experience or knowledge of formal methods, and the analyst using the formal analysis tools, provided a basis for the development of rationale for the effectiveness of the evidence.

2019

Verification Templates for the Analysis of User Interface Software Design

Autores
Harrison, MD; Masci, P; Campos, JC;

Publicação
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Abstract
The paper describes templates for model-based analysis of usability and safety aspects of user interface software design. The templates crystallize general usability principles commonly addressed in user-centred safety requirements, such as the ability to undo user actions, the visibility of operational modes, and the predictability of user interface behavior. These requirements have standard forms across different application domains, and can be instantiated as properties of specific devices. The modeling and analysis process is carried out using the Prototype Verification System (PVS), and is further facilitated by structuring the specification of the device using a format that is designed to be generic across interactive systems. A concrete case study based on a commercial infusion pump is used to illustrate the approach. A detailed presentation of the automated verification process using PVS shows how failed proof attempts provide precise information about problematic user interface software features.

2019

IVY 2: A model-based analysis tool

Autores
Couto, R; Campos, JC;

Publicação
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019

Abstract
The IVY workbench is a model-based tool that supports the formal verification of interactive computing systems. It adopts a plugin-based architecture to support a flexible development model. Over the years the chosen architectural solution revealed a number of limitations, resulting both from technological deprecation of some of the adopted solutions and a better understanding of the verification process to support. This paper presents the redesign and implementation of the original plugin infrastructure, originating a new version of the tool: IVY 2. It describes the limitations of the original solutions and the new architecture, which resorts to the Java module system in order to solve them. © ACM 2019.

2019

IVY 2

Autores
Couto, R; Campos, JC;

Publicação
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS '19

Abstract

2018

Formal Modelling as a Component of User Centred Design

Autores
Harrison, MD; Masci, P; Campos, JC;

Publicação
Software Technologies: Applications and Foundations - Lecture Notes in Computer Science

Abstract

Teses
supervisionadas

2018

BlockChain as a PKI for Ownership Control of IoT Devices

Autor
Guilherme Vieira Pinto

Instituição
UP-FEUP

2017

A Tabular Editor for MAL Interactors

Autor

Instituição
UM

2017

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

Autor

Instituição
UM

2017

A Library of User Interface Widgets Prototypes for Car Dashboards

Autor

Instituição
UM

2017

Model-based Testing of User Interfaces

Autor

Instituição
UM