English

CIn - Centro de Informática UFPE




Eventos Relacionados

Defesa de Dissertação de Mestrado Nº1.720: "A Process for Sound Conformance Testing of Cyber-Physical Systems"

O aluno Hugo Leonardo da Silva Araujo irá defender sua pesquisa no dia 17 de agosto, às 14h, no Anfiteatro Início: 17/08/2017 às 14:00 Término: 17/08/2017 às 16:00 Local: Anfiteatro do CIn

Pós-Graduação em Ciência da Computação – UFPE
Defesa de Dissertação de Mestrado Nº  1.720

Aluno: Hugo Leonardo da Silva Araujo
Orientador: Prof. Augusto Cesar Alves Sampaio
Co-orientador: Prof. Gustavo Henrique Porto de Carvalho
Título: A Process for Sound Conformance Testing of Cyber-Physical Systems
Data: 17/08/2017
Hora/Local: 14h – Centro de Informática - Anfiteatro
Banca Examinadora:
Prof. Carlos Alexandre Barros Melo (UFPE / Centro de Informática)
Prof. Marcel Vinicius Medeiros de Oliveira (UFRN / DIMAp)
Prof. Gustavo Henrique Porto de Carvalho (UFPE / Centro de Informática)

ABSTRACT:

In literature, Cyber-Physical Systems (CPS) represent a combination of discrete and continuous dynamics, often found in systems where a digital controller unit (discrete) is connected with a physical system (continuous). In this context, Model-based testing  is a relatively recent subject in literature and still being actively researched and developed.

In this work, we propose a process for sound conformance testing of Cyber-Physical Systems. The goal behind this process is to develop a practical approach that provides a semi-automatic sound solution for our testing strategy. Furthermore, a prototype tool was developed combining aspects from different subject areas such as computer science, physics and control theory.

Keywords: formal methods, software testing, conformance testing, hybrid systems, cyber-physical systems

---------------------------------------------------------------------------------------------------------------

Título: Um processo para teste de conformidade de Sistemas Ciber-Físicos

Resumo:

Na literatura moderna, o termo Sistema Híbrido é usado para descrever sistemas que combinam elementos contínuos e discretos. Um exemplo particular, é um sistema em que um controlador digital (elemento discreto) está conectado à um sistema físico (elemento contínuo). Sistemas dese tipo, que envolvem componentes físicos e digitais altamente integrados e que lidam com métricas temporais e espaciais, são conhecidos como sistemas ciber-físicos (SCF).

Nesse contexto, o uso de técnicas que aplicam o método de Teste Baseado em Modelo (do inglês, Model Based Testing - MBT) em sistemas ciber-físicos é um assunto relativamente recente e está sendo ativamente pesquisado e desenvolvido. A análise de SCFs é de alta complexidade devido à multi-disciplinaridade de tais sistemas, que combina aspectos de diversas áreas como ciência da computação, física e sistemas de controle.

Nesse trabalho, nós propomos um processo para teste de conformidade de sistemas ciber-físicos que seja considerado sound. O objetivo desse processo é oferecer uma abordagem prática que provê uma solução semi-automática para a nossa estratégia de teste. Certas etapas do processo foram mecanizadas através do uso de um protótipo de ferramenta que desenvolvemos. O processo é composto por 5 etapas, que vai da análise dos modelos de entrada até o ajuste dos resultados obtidos.

Palavras-chave: Sistemas Ciber-Físicos, Teste de Conformidade, Teste Baseado em Modelo, Sistemas Híbridos
  • © Centro de Informática UFPE - Todos os direitos reservados
    Tel +55 81 2126.8430 - Cidade Universitária - 50740-560 - Recife/PE
Plano4 Consultoria Web