Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Factos & Números
000
Apresentação

Laboratório de Software Confiável

O HASLab dedica-se à criação e à implementação de sistemas de software confiável, i.e., software correto e resiliente perante falhas e ataques.

De forma a cumprir este grande objetivo, o HASLab opera em três grandes áreas - Cibersegurança, Sistemas Distribuídos e Engenharia de Software.

Engenharia de Software - são explorados métodos, técnicas e ferramentas para o desenvolvimento de software, podendo este ser integrado nas funcionalidades internas de determinados componentes, na sua configuração junto de outros componentes, e também na interação com o utilizador.

Sistemas Distribuídos - com vista a melhorar a confiabilidade e a escalabilidade de software, explorando as propriedades inerentes à distribuição e à replicação de sistemas computacionais.

Cibersegurança - de forma a minimizar a vulnerabilidade dos componentes de software a ataques, com recurso à implementação de estruturas e de protocolos criptográficos com propriedades de segurança formalmente comprovadas.

Através de uma abordagem multidisciplinar que assenta em princípios teóricos comprovados, o HASLab visa disponibilizar soluções - fundamentos teóricos, métodos, linguagens, ferramentas - para o desenvolvimento de sistemas TIC abrangentes, dando garantias aos seus proprietários e utilizadores. Os grandes domínios de aplicação da investigação desenvolvida no HASLab incluem o desenvolvimento de sistemas de software cruciais para garantir a segurança e a proteção, a operacionalização de infraestruturas da nuvem seguras, e a gestão e o tratamento de big data, tendo em conta as questões da privacidade.

Últimas Notícias
Informática

INESC TEC e UMinho analisam impacto da variante Ómicron na eficácia da vacinação

Investigadores do INESC TEC e da Universidade do Minho analisaram o impacto da variante Ómicron na eficácia da proteção conferida pela vacinação contra a infeção pelo vírus SARS-CoV-2. O estudo publicado na conceituada revista Scientific Reports, do grupo Nature, é resultado do trabalho de uma equipa internacional, no âmbito do projeto Coronasurveys.

01 fevereiro 2023

Informática

Investigação INESC TEC melhora técnicas de programação quântica

Investigação recente na área da programação quântica, desenvolvida por Ana Neri e José Nuno Oliveira, investigadores do INESC TEC, em colaboração com Rui Barbosa, Staff Researcher no Laboratório Ibérico Internacional de Nanotecnologia (INL), propõe o conceito de quantamorfismo, um combinador recursivo de circuitos quânticos que enriquece as técnicas de programação quântica.

12 janeiro 2023

Energia

INESC TEC contribui para a criação do Espaço Europeu de Dados Energéticos

Ao longo dos próximos três anos, o projeto ENERSHARE - European commoN EneRgy dataSpace framework enabling data sHaring-driven Across- and beyond- eneRgy sErvices-, do qual o INESC TEC é parceiro, pretende desenvolver uma arquitetura de referência que facilite a partilha de dados no setor energético.

20 dezembro 2022

Informática

Projeto INESC TEC finalista dos Portugal Digital Awards 2022

O projeto SIS^1 (Smart Insurance System), que marca a colaboração entre o INESC TEC e a empresa NAU21, foi um dos finalistas da edição deste ano dos Portugal Digital Awards, na categoria Best Insurance Project. O SIS^1 propõe uma nova gestão colaborativa e transparente dos tradicionais processos de negócio da atividade seguradora.  

19 dezembro 2022

Energia

Instituto português integra projeto para aumentar a flexibilidade do sistema elétrico europeu

Durante os próximos quatro anos, o projeto BeFlexible - Boosting Engagement to Increase Flexibility irá aumentar a flexibilidade do sistema energético, melhorar a cooperação entre os Operadores de Redes de Distribuição (ORD) e os Operadores de Redes de Transporte (ORT) e facilitar a comunicação entre todas as partes interessadas no setor energético. O Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC) é o único parceiro português do projeto, que será financiado pela Comissão Europeia em 10 milhões de euros, através do programa Horizonte Europa.

06 dezembro 2022

047

Projetos Selecionados

fMP

Formação de Introdução à utilização de recursos HPC (Técnicas básicas de Programação Paralela)

2022-2022

AURORA

Deteção de atividade no interior do veículo

2022-2024

NewSpacePortugal

Agenda New Space Portugal

2022-2025

ENERSHARE

European commoN EneRgy dataSpace framework enabling data sHaring-driven Across- and beyond- eneRgy sErvices

2022-2025

Gridsoft

Parecer sobre a implementação de software para redes elétricas inteligentes

2022-2022

PFAI4_3ed

Programa de Formação Avançada Industria 4 - 3a edição

2022-2022

THEIA

Automated Perception Driving

2022-2023

SpecRep

Constraint-based Specification Repair

2022-2023

IBEX

Métodos quantitativos para a programação ciber-física: Uma abordagem precisa para racicionar sobre imprecisões na computação ciber-física

2022-2024

FLEXCOMM

Towards Energy-aware Communications: Connecting the power grid and communication infrastructure

2022-2023

ATE

Alliance for Energy Transition

2022-2025

Sustainable HPC

Computação de elevado desempenho sustentável

2021-2023

CircThread

Building the Digital Thread for Circular Economy Product, Resource & Service Management

2021-2025

PassCert

Investigação do Impacto de Verificação Formal na Adopção de Software para Segurança de Passwords

2021-2022

IoT4Distribuicao

Análise de Requisitos e Especificação Funcional de uma Arquitetura Distribuída baseada em soluções IoT para a Gestão e Controlo da Rede de Distribuição

2021-2023

RISC2

A network for supporting the coordination of High-Performance Computing research between Europe and Latin America

2021-2023

CloudAnalytics4Dams

Gestão de Grandes Quantidades de Dados em Barragens da EDP Produção

2021-2021

PAStor

Programmable and Adaptable Storage for AI-oriented HPC Ecosystems

2020-2021

PFAI4.0

Programa de Formação Avançada Industria 4.0

2020-2021

Collaboration

Collaborative Visual Development

2020-2021

AIDA

Adaptive, Intelligent and Distributed Assurance Platform

2020-2023

BigHPC

A Management Framework for Consolidated Big Data and HPC

2020-2023

SLSNA

Prestação de Serviços no ambito do projeto SKORR

2020-2021

AppOwl

Deteção de Mutações Maliciosas no Browser

2020-2021

InterConnect

Interoperable Solutions Connecting Smart Homes, Buildings and Grids

2019-2024

T4CDTKC

Training 4 Cotec, Digital Transformation Knowledge Challenge - Elaboração de Programa de Formação “CONHECER E COMPREENDER O DESAFIO DAS TECNOLOGIAS DE TRANSFORMAÇÃO DIGITAL”

2019-2021

CLOUD4CANDY

Cloud for CANDY

2019-2019

HADES

Sistemas descentralizados confiáveis e escaláveis suportados por hardware

2018-2022

MaLPIS

Aprendizagem Automática para Deteção de Ataques e Identificação de Perfis Segurança na Internet

2018-2022

SKORR

Advancing the Frontier of Social Media Management Tools

2018-2021

DaVinci

Architecturas distribuídas: variabilidade e interação de sistemas ciber-físicos

2018-2022

SAFER

Verificação de segurança para software robótico

2018-2021

KLEE

Modelação coalgébrica e análise para biologia sintética computacional

2018-2021

InteGrid

Demonstration of INTElligent grid technologies for renewables INTEgration and INTEractive consumer participation enabling INTEroperable market solutions and INTErconnected stakeholders

2017-2020

Lightkone

Lightweight Computation for Networks at the Edge

2017-2019

CloudDBAppliance

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

2016-2019

GSL

GreenSoftwareLab: Computação Verde como uma Disciplina de Engenharia

2016-2019

Cloud-Setup

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

2016-2019

CORAL-TOOLS

CORAL - Sustainable Ocean Exploitation: Tools and Sensors

2016-2018

SafeCloud

Secure and Resilient Cloud Architecture

2015-2018

NanoStima-RL1

NanoSTIMA - Macro-to-Nano Human Sensing Technologies

2015-2019

NanoStima-RL3

NanoSTIMA - Health data infrastructure

2015-2019

SMILES

TEC4Growth - RL SMILES - Smart, Mobile, Intelligent and Large scale Sensing and analytics

2015-2019

UPGRID

Real proven solutions to enable active demand and distributed generation flexible integration, through a fully controllable LOW Voltage and medium voltage distribution grid

2015-2017

LeanBigData

Análise Integrada e Visual de Big Data Ultra-escalável e Ultra-eficiente

2014-2017

Practice

Ferramentas de Preservação de Privacidade na Cloud

2013-2016

CoherentPaaS

PaaS Rica e Coerente com um Modelo de Programação Comum

2013-2016

Equipa
001

Laboratório

CLOUDinha

Publicações

HASLab Publicações

Ler todas as publicações

2022

Framing Program Repair as Code Completion

Autores
Ribeiro, F; Abreu, R; Saraiva, J;

Publicação
INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR (APR 2022)

Abstract

2022

Branching Pomsets for Choreographies

Autores
Edixhoven, L; Jongmans, SS; Proença, J; Cledou, G;

Publicação
Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022.

Abstract

2022

Verification of railway network models with EVEREST

Autores
Martins, J; Fonseca, JM; Costa, R; Campos, JC; Cunha, A; Macedo, N; Oliveira, JN;

Publicação
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022

Abstract
Models-at different levels of abstraction and pertaining to different engineering views-are central in the design of railway networks, in particular signalling systems. The design of such systems must follow numerous strict rules, which may vary from project to project and require information from different views. This renders manual verification of railway networks costly and error-prone. This paper presents EVEREST, a tool for automating the verification of railway network models that preserves the loosely coupled nature of the design process. To achieve this goal, EVEREST first combines two different views of a railway network model-the topology provided in signalling diagrams containing the functional infrastructure, and the precise coordinates of the elements provided in technical drawings (CAD)-in a unified model stored in the railML standard format. This railML model is then verified against a set of user-defined infrastructure rules, written in a custom modal logic that simplifies the specification of spatial constraints in the network. The violated rules can be visualized both in the signalling diagrams and technical drawings, where the element(s) responsible for the violation are highlighted. EVEREST is integrated in a long-term effort of EFACEC to implement industry-strong tools to automate and formally verify the design of railway solutions. © 2022 ACM.

2022

A Logic for Paraconsistent Transition Systems

Autores
Cruz, A; Madeira, A; Barbosa, LS;

Publicação
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Lódz, Poland, 14-18 March 2022.

Abstract

2022

Extending EcoAndroid with Automated Detection of Resource Leaks

Autores
Pereira, RB; Ferreira, JF; Mendes, A; Abreu, R;

Publicação
9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022

Abstract

Teses Orientadas

2021

Customer Lifetime Value – uma aplicação à Gestão das Vendas no Retalho Automóvel

Autor
Ricardo André Fernandes da Silva

Instituição
UP-FEP

2021

Determinar o estado e a gestão da relação entre os marketers e os gestores comerciais de médias e grandes empresas a operar em Portugal

Autor
Sofia de Castro Vieira Cardoso

Instituição
UP-FEP

2021

O Papel da Comunicação Promocional nas Compras por Impulso Online

Autor
Ana Rita Pereira Mendes

Instituição
UP-FEP

2021

Application of Intelligent Systems to the Energy Area

Autor
Daniel Carlos do Vale Ramos

Instituição
UP-FEP

2021

Advanced Control of the Switched Reluctance Motor

Autor
Manuel Fernando Sequeira Pereira

Instituição
UP-FEUP

Factos & Números

14Artigos em conferências indexadas

2020

16Docentes do Ensino Superior

2020

1Contratados de I&D

2020

Contactos