| 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. | |