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
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 20 de dezembro de 2018
• Data de Término da vigência: 17 de março de 2019
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Acordo de Cooperação: European Research Council
• Pesquisador responsável: Luiz Eduardo Galvão Martins
• Beneficiário: Luiz Eduardo Galvão Martins
• Pesquisador 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
• Instituição Anfitriã: Tel Aviv University, Israel
• Assunto(s): Engenharia de software
• Palavra(s)-Chave do Pesquisador: Especificação de Requisitos de Software | Especificação Formal | Spectra | 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.