| Processo: | 17/17448-5 |
| Modalidade de apoio: | Bolsas no Brasil - Iniciação Científica |
| Data de Início da vigência: | 01 de novembro de 2017 |
| Data de Término da vigência: | 31 de outubro de 2018 |
| Área de conhecimento: | Ciências Exatas e da Terra - Ciência da Computação - Sistemas de 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): | Arquitetura de software Engenharia de software |
| Palavra(s)-Chave do Pesquisador: | Arquitetura de Software | Engenharia de Software Baseada em Modelos | Simulação de Arquitetura de Software | sistema-de-sistemas | Engenharia de Software |
Resumo Nos últimos anos, houve um aumento substancial na dependência da sociedade por serviços providos por sistemas de software e na necessidade de soluções cada vez mais complexas. Sistemas isolados não têm sido bem-sucedidos para atender a essas demandas. Nesse cenário, Sistemas-de-Sistemas (do inglês, Systems-of-Systems ou SoS) têm surgido como o resultado da interoperabilidade de diversos sistemas independentes tanto operacionalmente quanto gerencialmente, provendo soluções mais complexas que não poderiam ser realizadas por nenhum sistema de forma isolada. SoS frequentemente dão suporte às missões críticas que podem, muitas vezes, trazer ameaças à integridade humana. SoS devem também oferecer mecanismos como a chamada arquitetura dinâmica, que permita a reconfiguração de seus constituintes em tempo de execução de modo a continuar em operação independentemente de intempéries que ameacem seu funcionamento. Entretanto, essa propriedade dinâmica não é passível de validação em especificações estáticas de arquitetura de software de SoS. Desse modo, considerando o alto custo e as ameaças de implementar um SoS sem a devida validação de suas propriedades dinâmicas, este projeto de iniciação científica tem como principal objetivo projetar e implementar um mecanismo para a transformação de arquiteturas estáticas de SoS em modelos de simulação. Tal transformação permite que propriedades dinâmicas sejam validadas durante o projeto arquitetural do SoS, antecipando problemas e possíveis falhas. (AU) | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |