Framework Iterativo para Modelagem e Validação de Requisitos para Sistemas-de-Sistemas

Resumo

Sistemas-de-Sistemas (SoS) são sistemas grandes, complexos e intensivos em software, sendo resultado da interoperabilidade entre sistemas constituintes independentes e heterogêneos. A principal propósito de SoS é realizar tarefas que não poderiam que realizadas por esses constituintes separadamente. Em paralelo, Engenharia de Requisitos (ER) tem sido extensivamente pesquisada e várias propostas (por exemplo, processos, métodos, técnicas e ferramentas) têm sido construídas e de fato adotadas, inclusive pela indústria. Nesse cenário, o principal problema que tem motivado a condução deste projeto de doutorado é a evolução inerente e contínua dos SoS, muitas vezes, como resultado de novas missões que surgem em tempo de execução, mudanças nos constituintes ou mesmo no próprio ambiente. Como consequência, novos requisitos surgem e precisam ser elicitados, analisados, modelados, validados, projetados, implementados e incorporados no SoS. Além disso, problemas nesses requisitos, quando não tratados adequadamente, podem ser fatais para a vida humana e/ou levar a grandes perdas de valores de ativos físicos ou monetários, considerando que os SoS têm operado em domínios de aplicações críticos. Mudanças continuas impactam diretamente os requisitos de ambos SoS e seus constituintes e também os estágios subsequentes do desenvolvimento de SoS. Nesse contexto, o principal objetivo deste projeto de doutorado é estabelecer um framework iterativo composto de um método para modelagem e um método para validação de requisitos de SoS, principalmente abordando as novas missões não previamente previstas em tempo de projeto. Para avaliar esse framework, serão conduzidos surveys com especialistas e estudos de caso. Como resultado, espera-se contribuir para o desenvolvimento de SoS, fornecendo um meio para adequadamente lidar com requisitos que são inerentemente diversos, interconectados e sofrem constantes mudanças. Palavras-chave: Métodos Formais, Engenharia de Requisitos, Modelagem de requisitos, Validação de Requisitos, Sistemas-de-Sistemas, SoS.