1) PROJETO ADVANCE (“Addressing Verification and Validation Challenges in Future Cyber-Physical Systems” )
The research project has started this year with the participation of researchers from Laboratory SEIS, working on the challenges of future cyber-physical systems. See more
2) DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS – DEVASSES
O projeto DEVASSES tem como objetivo avancar no estado da arte do projeto e entrega de sistemas dinamicos de larga escala baseado em servicos. Visa desenvolver metodos e ferrametas tanto para o periodo de projeto quanto de execucao de sistemas criticos.
Instituições envolvidas no projeto:
Universidade de Coimbra
Universidade Estadual de Campinas
Universidade de Florença
Universidade Federal de Alagoas
3) Classificação de Falhas de Redes Móveis em Ambiente de Nuvem
A comunicação entre os diversos servidores em uma nuvem deve ser confiável (ou seja, resiliente a perdas e atrasos de mensagens), robusta (com modo de defeito conhecido e seguro) e necessariamente escalável. Além desses desafios, o uso da comunicação móvel é hoje uma realidade e tem substituído, com algumas vantagens, a cabeada. A proposta do projeto é, de maneira experimental, caracterizar o modelo de falhas e o comportamento da rede móvel em ambiente de nuvem. Como resultado esperado, o projeto trará contribuições para caracterizar as falhas características desse ambiente, o modelo de defeitos e o melhor entendimento do ambiente em presença de falhas. Esse resultado poderá retroalimentar a técnica de injeção de falhas, uma vez que a emulação poderá ser feita de maneira mais realista podendo melhorar a acurácia da emulação de futuros experimentos com base na técnica.