CISTER/INESC TEC participa em projeto de validação de sistemas críticos
O Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real (CISTER) do INESC TEC é um dos parceiros do projeto V-SIS (Validation of Critical Systems), que propõe abordar o desafio da validação de sistemas críticos através da criação de um centro de competências que irá lidar com as mudanças e a evolução dos sistemas críticos provocadas por evoluções normativas.
O V-SIS vai trabalhar dois vetores fundamentais: a segurança funcional e a validação de sistemas críticos. A equipa do CISTER, composta pelos investigadores Miguel Pinho, Eduardo Tovar, Vincent Nelis, David Pereira, entre outros, trabalhará na parte que diz respeito aos sistemas embebidos e de tempo-real, particularmente procurará dar resposta aos desafios apresentados pelas novas plataformas multicore.
Recentemente aprovado no âmbito do Quadro de Referência Estratégica Nacional, o projeto é liderado pela Critical Software e envolve, além do CISTER, o Centro de Informática e Sistemas da Universidade de Coimbra (CISUC). Tem data prevista de conclusão junho de 2015.
Os investigadores com ligação ao INESC TEC referidos nesta notícia têm vínculo à seguinte entidade parceira do Laboratório Associado: ISEP.
