Com mais de 20 anos de atuação, CIn-TRUST possui colaboradores nacionais e internacionais
Coordenado pelos professores Augusto Sampaio e Alexandre Mota, o grupo de pesquisa CIn-TRUST é um centro de excelência para pesquisa, ensino e prática de Métodos Formais (Formal Methods). Com projetos finalizados desde 1997, seu objetivo é investigar e desenvolver ferramentas, técnicas e processos para melhorar a confiabilidade (trustworthiness) de sistemas. O foco é no desenvolvimento de processos sistemáticos, ancorados em métodos e ferramentas, que são aplicáveis em sistemas reais para a produção de softwares corretos, robustos e extensíveis.
O CIn-TRUST faz parte do Centro de Informática da UFPE, localizado em Recife (PE), e possui colaboradores nacionais e internacionais, tanto da academia, quanto da indústria. Entre os países de colaboradores e ex-colaboradores estão Bélgica, Canadá, Alemanha, Japão, Singapura, Reino Unido e Estados Unidos. As principais áreas de pesquisa do grupo são: notações formais, verificação automática de modelos, teste de software, processo de desenvolvimento de softwares, dentre outras.
Dentre os seis projetos em andamento, cabe destacar o “Robotic@ – Information and communication technology for robotics and applications”, que tem como principal objetivo a criação de um método sistemático e rigoroso para especificar, verificar, projetar e implementar aplicações robóticas. Esse projeto faz parte da RobStar Initiative (Centro de Excelência em Engenharia de Software para Robótica) e do INES (Instituto Nacional de Ciência e Tecnologia em Engenharia de Software). Além dele, também é importante ressaltar o projeto “Formal analysis of blockchain components”, que estuda diferentes aplicações da análise formal no contexto dos sistemas de blockchain e é fruto da cooperação entre CIn-UFPE e TBTL em Oxford no Reino Unido.
Para mais informações, acesse o site do CIn-TRUST.
Comentários desativados