Verificação estatística de arquiteturas de software de sistemas-de-sistemas

• Processo: 18/21517-5
• Linha de fomento: Bolsas no Brasil - Iniciação Científica
• Vigência (Início): 01 de dezembro de 2018
• Vigência (Término): 30 de novembro de 2019
• Área do 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: Wallace Alves Esteves Manzano
• 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
• Assunto(s): Engenharia de software Arquitetura de software Interoperabilidade Simulação de sistemas Infraestrutura de desenvolvimento de software Sistema de sistemas

Resumo

Cada vez mais a sociedade vem dependendo de serviços providos por sistemas de software. Esse serviço tem se tornado cada vez mais complexos, de modo que uns sistemas isolados não têm sido bem-sucedidos em atender tais demandas. Nesse cenário, Sistemas-de-Sistemas (do inglês, Systems-of-Systems ou SoS) têm surgido como resultado da interoperabilidade de sistemas independentes tanto operacionalmente quanto gerencialmente para fornecer soluções mais complexas que nenhum sistema conseguiria prove de forma isolada. Devido à independência dos sistemas constituintes do SoS, esses constituintes podem sair e entrar no SoS a qualquer momento, resultando em uma arquitetura altamente dinâmica. SoS são frequentemente encontrados realizando tarefas críticas, ou seja, que podem trazer ameaças à integridade humana. Desse modo, os SoS devem garantir que certas propriedades sejam satisfeitas por sua arquitetura de software para que o SoS possa oferecer um serviço confiável e sem apresentar falhas. Entretanto, devido ao não-determinismo gerado pela arquitetura dinâmica, é necessário usar simulação junto a um verificador estatístico para conseguir verificar formalmente tais propriedades. Considerando o alto custo e as ameaças de implementar um SoS sem a devida verificação de sua arquitetura, este projeto de iniciação científica tem como objetivo desenvolver uma infraestrutura para possibilitar a verificação estatística e formal de propriedades em arquitetura de software de SoS. Para isso, será desenvolvida uma comunicação entre processos para conseguir interoperar o simulador MS4ME junto ao verificador estatístico PLASMA. Tal verificação estatística possibilitará que propriedades de SoS sejam verificadas durante o projeto arquitetural do SoS, antecipando eventuais problemas e falhas. Como resultado, espera-se contribuir tanto para o avanço do estado da arte em Engenharia de Software para SoS quanto para um projeto de pesquisa regular maior que aborda o projeto arquitetural de SoS.