Modelagem e Validação de Arquitetura e Requisitos de Sistemas-de-Sistemas

• Processo: 17/15354-3
• Modalidade de apoio: Bolsas no Exterior - Estágio de Pesquisa - Doutorado
• Data de Início da vigência: 15 de outubro de 2017
• Data de Término da vigência: 14 de outubro de 2018
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Elisa Yumi Nakagawa
• Beneficiário: Cristiane Aparecida Lana
• Supervisor: Dieter Rombach
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Instituição Anfitriã: Fraunhofer-Gesellschaft, Alemanha
• Vinculado à bolsa: 15/06195-3 - Framework iterativo para modelagem e validação de requisitos para sistemas-de-sistemas, BP.DR
• Assunto(s): Engenharia de software Arquitetura
• Palavra(s)-Chave do Pesquisador: Architecture | requirements | Requirements Modeling | Requirements Validation | SoS | Systems-of-Systems | Engenharia de Software

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 desta proposta é para avaliar o framework iterativo composto de um método para modelagem e um método para validação formal de requisitos de SoS com especial atenção para requisitos arquiteturais, 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. Durante o estágio, a candidata irá se juntar à maior instituição de pesquisa orientada a aplicação da Europa: a Fraunhofer IESE, na Alemanha. Em particular, durante sua visita, a candidata terá valorosa oportunidade para trabalhar em projetos industriais e conduzir os estudos de caso planejados para seu projeto de doutorado no contexto da indústria. Essa visita certamente irá fortalecer nossas contribuições para os domínios de Engenharia de Requisitos e SoS.