Laboratório de Software Confiável

Sobre o Centro

No Laboratório de Software Confiável (HASLab), melhorando a prática através da teoria, criamos e implementamos software que vai além da funcionalidade: garantimos que é correto, resiliente e seguro contra falhas e ataques. A nossa equipa de investigadores, cientistas e engenheiros tem competências em engenharia de software, onde desenvolvemos métodos e ferramentas para conceber e integrar software robusto; sistemas distribuídos, onde exploramos a distribuição e replicação para garantir escalabilidade e confiabilidade; e segurança da informação, onde considerando também os desafios da cibersegurança, fortalecemos os sistemas com protocolos criptográficos avançados e seguros, minimizando vulnerabilidades. Com uma abordagem multidisciplinar e sustentada por princípios teóricos sólidos, criamos soluções inovadoras para software crítico, infraestruturas cloud seguras e gestão de big data com privacidade, impulsionando avanços científicos, inovação e consultoria de excelência. Além disso, complementamos a nossa expertise em áreas como interação humano-computador, linguagens de programação, matemática de computação e computação quântica - porque acreditamos que o futuro do software confiável se constrói com conhecimento e inovação.

Áreas dos Centros

Segurança da Informação

A nossa investigação em Segurança da Informação alia fundamentos teóricos rigorosos a abordagens práticas inovadoras. Procuramos construir sistemas seguros com garantias formais, ligando o desenvolvimento de protocolos criptográficos à sua implementação eficiente e confiável. No lado teórico, trabalhamos com provas de segurança e criptografia assistida por computador, desenvolvendo técnicas formais que validam automaticamente propriedades de segurança. Na vertente aplicada, focamo-nos em implementações com elevados padrões de desempenho e segurança, assegurando que as garantias teóricas se mantêm desde a especificação até ao código final. Para tal, criamos linguagens específicas de domínio e ferramentas que facilitam o desenvolvimento de software criptográfico de elevada confiança. Também investigamos mecanismos avançados de deteção e resposta a ameaças, fundamentais para preservar continuamente as propriedades de segurança dos sistemas. As nossas soluções aplicam-se, entre outros domínios, a tecnologias de preservação da privacidade, armazenamento seguro de dados e computação na nuvem — áreas críticas para a segurança na era digital.

Sistemas Distribuídos

Em Sistemas Distribuídos, estamos a transformar a forma como os dados são geridos na computação em nuvem, sistemas críticos, infraestruturas de computação avançada e ecossistemas de inteligência artificial. Exploramos novas fronteiras na confiabilidade, replicação e distribuição de dados, desenvolvendo novos protocolos de consenso e abordagens sem conflitos para consistência eventual, garantindo a integridade dos dados com tipos replicados. Otimizamos o processamento de cargas transacionais e analíticas em bases de dados e criamos métodos seguros para tratar dados em ambientes não confiáveis, aumentando a resiliência e segurança dos sistemas. Saiba mais <a href= "mailto:https://dbr-haslab.github.io/" target="_blank">aqui</a>. Desenhamos soluções de armazenamento de dados eficientes, capazes de acompanhar o crescimento acelerado da informação digital. Usamos tecnologias modernas para responder às exigências de desempenho, escalabilidade, confiabilidade, segurança e eficiência energética. Descubra mais <a href="mailto:https://dsr-haslab.github.io/" target="_blank">aqui</a>. Desenvolvemos sistemas de middleware com foco em interoperabilidade semântica, aplicados a casos reais e em data spaces. A nossa missão é construir o futuro da gestão de dados distribuídos, com soluções para a nova geração de serviços digitais.

Engenharia de Software

A área de Engenharia de Software tem como objetivo desenvolver novos métodos, técnicas e ferramentas que avancem a forma como o software é concebido, construído e avaliado. Pretende-se garantir que os resultados da investigação tenham um impacto duradouro nas práticas de desenvolvimento de software e contribuam para melhorar a competitividade da indústria. As principais linhas de investigação são: 1) requisitos, conceção e construção de software: gestão de requisitos, arquitetura e design de software, desenvolvimento orientado por modelos e engenharia de software nativa da cloud; 2) teste de software: testes baseados em modelos, testes em dispositivos móveis, testes de sistemas distribuídos e testes em ambientes de Internet das Coisas (IoT); 3) processos e ferramentas de software: processos ágeis, melhoria de processos, ferramentas para colaboração e gestão de conhecimento; e jogos sérios na educação em engenharia de software. Dentro destas linhas de investigação, procuramos continuar a identificar, compreender na sua essência e documentar aquilo que realmente constitui boas soluções na engenharia de software contemporânea, colaborando de perto com profissionais do setor. Além disso, pretendemos continuar a avançar o estado da arte em técnicas, práticas e ferramentas que possam, de diferentes formas, melhorar a eficácia, eficiência e experiência dos desenvolvedores de software.

Projetos Flagship

CloudDBAppliance

Este projeto tem como objetivo produzir uma plataforma de base de dados a nível europeu que se baseia inteiramente em tecnologias cloud, oferecendo a previsibilidade nos padrões de desempenho, robustez e confiabilidade, tal como encontrada em instalações com arquiteturas centralizadas. Serão para isso desenvolvidas arquiteturas cloud por forma a aumentar a utilização de tecnologia deste tipo, sempre garantindo a confiança, robustez e desempenho exigidos em aplicações que são atualmente consideradas demasiado críticas para serem implementadas nas clouds existentes.

European Cloud In-Memory Database Appliance with Predictable Performance for Critical Applications

Cloud-Setup

O projeto MOG CLOUD SETUP visa o desenvolvimento de ferramentas para pós-produção de conteúdos audiovisuais de alta qualidade para a indústria televisiva que permitam automatizar operações de inserção e/ou substituição de conteúdos na programação e que possam operar quer no interior de uma estação radio-difusora quer num ambiente cloud-based. Este projeto é de extrema importância para a indústria televisiva e dos conteúdos audiovisuais em geral, pois vai permitir por um lado automatizar processos que são hoje em dia extremamente dispendiosos e dessa forma facilitar e agilizar a formatação de conteúdos que devem ser exibidos em múltiplas plataformas de distribuição. Ficha de projeto

PLATAFORMA DE PREPARAÇÃO DE CONTEÚDOS AUDIOVISUAIS PARA INGEST NA CLOUD

Ver mais projetos

Membros da equipa

Líderes de Equipa

Manuel Alcino Pereira da Cunha

Coordenador de Centro

Alcino Cunha é Professor Associado no Departamento de Informático da Universidade do Minho e membro (e atualmente co-coordenador) do Laboratório de Software Confiável, um centro de investigação do laboratório associado INESC TEC. A sua investigação tem por ambição tornar o desenvolvimento formal de software mais acessível para todos os engenheiros de software, tendo sido um dos proponentes da nova versão 6 do acessível método formal Alloy, que adicionou suporte para especificações comportamentais e lógica temporal. Também tem interesse no tópico da qualidade de software robótico, em particular no desenvolvimento de ferramentas de análise formal para software desenvolvido com o popular framework ROS. Publicou mais de 70 artigos, incluindo vários artigos em revistas e conferências relevantes na área da engenharia de software e da robótica, tais como TSE, FSE, ASE, IROS, ou FM.