CISTER/INESC TEC cria programa científico para conferência de renome

Luís Miguel Pinho, investigador do Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real (CISTER) do INESC TEC, foi um dos investigadores responsáveis pelo programa científico da 17ª edição da International Conference on Reliable Software Technologies (Ada-Europe), que se realizou entre os dias 11 e 15 de junho, em Estocolmo, na Suécia.

O programa desta edição, a cargo de Luís Miguel Pinho e de Mats Brorsson (Professor no KTH Royal Institute of Technology, Suécia), abordou um conjunto de temas de interesse no âmbito geral dos sistemas de software confiáveis. Dois temas importantes foram a conclusão do trabalho técnico do processo de revisão da norma ISO da linguagem Ada (Ada 2012), e os desafios apresentados para o desenvolvimento de software confiável pela necessidade de evolução para modelos de programação multicore.

Trata-se de um fórum internacional de sucesso em tecnologias de software confiáveis, ilustrando trabalhos na teoria e prática do projeto, desenvolvimento e manutenção de longa duração de sistemas de software de alta qualidade para uma variedade de domínios de aplicação.

A conferência contou ainda com um programa rico em termos de artigos científicos,e ainda em termos de apresentações industriais e painéis de discussão. O evento atraiu diversos membros da academia e indústria provenientes de 17 países, que trabalham na área dos sistemas cofiáveis.