Framework iterativo para modelagem e validação de requisitos para sistemas-de-sistemas

• Processo: 15/06195-3
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de maio de 2017
• Data de Término da vigência: 02 de março de 2020
• Á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: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
• Pesquisador responsável: Elisa Yumi Nakagawa
• Beneficiário: Cristiane Aparecida Lana
• 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
• Bolsa(s) vinculada(s): 17/15354-3 - Modelagem e Validação de Arquitetura e Requisitos de Sistemas-de-Sistemas, BE.EP.DR
• Palavra(s)-Chave do Pesquisador: Formal Methods | Requirements Engineering | Requirements Modeling | Requirements Validation | SoS | Systems-of-Systems | Esgenharia 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 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. (AU)

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

LANA, CRISTIANE APARECIDA; GUESSI, MILENA; ANTONINO, PABLO OLIVEIRA; ROMBACH, DIETER; NAKAGAWA, ELISA YUMI. A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling. IEEE SYSTEMS JOURNAL, v. 13, n. 3, p. 2201-2212, SEP 2019. (17/22107-2, 17/06195-9, 15/06195-3)

FILISBINO PASSINI, WILLIAM; APARECIDA LANA, CRISTIANE; PFEIFER, VINICIUS; AFFONSO, FRANK JOSE. Design of frameworks for self-adaptive service-oriented applications: A systematic analysis. SOFTWARE-PRACTICE & EXPERIENCE, v. 52, n. 1, JUN 2021. (15/06195-3)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

LANA, Cristiane Aparecida. Análise de requisitos para interoperabilidade técnica dirigida por engenharia de missão. 2020. Tese de Doutorado - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.