Secções
  Entrada HASLab Projetos LATiCES
Acções do Documento

LATiCES

Linguagens e Ferramentas para Sistemas Críticos de Tempo Real

O objetivo deste projeto é contribuir para uma mudança no atual paradigma de segurança nas infraestruturas de TIC, onde a aplicação e a operação de sistemas críticos exige um reforço ao nível da segurança como processo reativo. Isto implica só não elevados custos de gestão, mas também não fornece garantias de segurança rigorosas.

O projeto pretende desenvolver ferramentas teóricas e tecnológicas que suportem esta mudança, construindo métodos formais avançados que promovam a segurança da informação e fiabilidade e que, de forma independente, são áreas de investigação mais consolidadas.

Data Início: 1 janeiro 2013 

Orçamento: € 437.500

Equipa: José Creissac Campos e Jorge Sousa Pinto

Website do Projeto: LATiCES

destaque.jpg
destaque.jpg
anuncio-site
anuncio-contactos

Contactos

HASLAB +351 22 209 4000