Busca avançada
Ano de início
Entree

Especificação formal de requisitos de sistemas críticos baseada na linguagem spectra: um estudo de caso no domínio de dispositivos médicos

Processo: 18/17592-1
Linha de fomento:Bolsas no Exterior - Pesquisa
Vigência (Início): 20 de dezembro de 2018
Vigência (Término): 17 de março de 2019
Área do conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
Convênio/Acordo: European Research Council
Pesquisador responsável:Luiz Eduardo Galvão Martins
Beneficiário:Luiz Eduardo Galvão Martins
Anfitrião: Shahar Maoz
Instituição-sede: Instituto de Ciência e Tecnologia (ICT). Universidade Federal de São Paulo (UNIFESP). Campus São José dos Campos. São José dos Campos, SP, Brasil
Local de pesquisa : Tel Aviv University, Israel  
Assunto(s):Engenharia de software

Resumo

Sistemas Críticos (SC) estão se tornando cada vez mais presentes no cotidiano das sociedades modernas, aumentando a dependência das pessoas em relação a eles. Os SC atuais estão fortemente baseados em tecnologia computacional; eventuais falhas no funcionamento desses sistemas podem acarretar acidentes e colocar em risco a vida humana, ou trazer danos ao meio ambiente e à propriedade. SC estão presentes em muitos domínios, como em sistemas de aviação, sistemas automotivos, controle de plantas industriais (químicas, petrolíferas e nucleares), dispositivos médicos, controle de ferrovias, sistemas de defesa e aeroespaciais, entre outros. A especificação dos requisitos de qualquer sistema é crucial para o correto desenvolvimento do mesmo, e torna-se ainda mais relevante no desenvolvimento de SC. O objetivo geral desta proposta é investigar o processo de transformação de especificações de requisitos de SC, escritas em linguagem natural, para especificações de requisitos escritas em linguagem SPECTRA. SPECTRA é uma linguagem formal construída para especificar sistemas reativos. O estudo de caso a ser realizado nesta proposta tem como foco a especificação de requisitos de uma bomba de infusão de insulina de baixo custo. Os requisitos serão especificados inicialmente em linguagem natural, e posteriormente transformados em linguagem SPECTRA. Durante processo de transformação, verificaremos o potencial de uso da linguagem SPECTRA na etapa de especificação de requisitos de SC, identificando as dificuldades no processo de transformação e as vantagens obtidas. A linguagem SPECTRA está sendo desenvolvida dentro do contexto do projeto ERC - SYNTECH.