Verificação Estatística de Arquiteturas de Software de Sistemas-de-Sistemas

Resumo

Cada vez mais a sociedade vem dependendo de serviços providos por sistemas de software. Esse serviços tem se tornado cada vez mais complexos, de modo que um sistema isolado não têm sido bem-sucedido 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.