Empresa CLEARSY visita INESC TEC

Thierry Lecomte, Diretor de Projetos de Investigação e Desenvolvimento da CLEARSY Systems Engineering, visitou o Laboratório de Software Confiável (HASLab) do INESC TEC, em Braga, e a sede do Instituto, no Porto, nos dias 6 e 7 de março.

A CLEARSY Systems Engineering é uma empresa na área da aplicação de métodos formais a sistemas de segurança crítica, em particular, nos veículos ferroviários autónomos. As suas soluções passam por hardware certificado e software verificado usando o método formal B, que é usado na especificação e desenvolvimento de APIs (Application Programming Interface).

No primeiro dia, a visita de Thierry Lecomte ficou marcada pela realização de um workshop “hands-on” no HASLab, intitulado “Safety Critical Application Development with Secure Hardware and Formal Methods”, onde foi apresentada a CLEARSY Safety Platform, uma plataforma que pretende facilitar o desenvolvimento e a implementação de aplicações de segurança crítica. Todos os participantes tiveram a oportunidade de experimentar o hardware e praticar no ambiente de desenvolvimento. No final, Thierry Lecomte visitou ainda as equipas de investigação do HASLab.

Já na sua visita ao INESC TEC, no Porto, e que teve lugar no dia 7 de março, Thierry Lecomte dirigiu uma palestra sobre “Formal Methods Software Development and Safety Critical Systems”, que contou com a presença de vários investigadores da instituição, seguida também de uma visita a alguns dos seus centros de investigação.