Departamento de Engenharia de Automação e Sistemas

Durante todo o mês de agosto o DAS receberá a visita do Prof. Pierre-Emmanuel Hladik, do grupo  Vérification de Systèmes Temporisés Critiques – VERTICS do LAAS-CNRS de Toulouse. Ele está vindo com recursos do projeto de P&D com a Petrobras “Validação de sistemas de controle e automação na Indústria do Petróleo e Gás utilizando métodos de teste, verificação e síntese de programas”,  no contexto de uma cooperação internacional sobre verificação formal de sistemas instrumentados de segurança. Esse projeto é coordenado pelo Prof. Max Queiroz do DAS. As principais linhas de atuação do Prof. Hladik são: uso de pesquisa operacional no projeto de software para sistemas embarcados sob restrições temporais; métodos para validar e verificar arquiteturas de tempo real; e casos de uso industrial, especialmente nos campos aviônicos e automotivos.