Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Factos & Números
000
Apresentação

Laboratório de Software Confiável

No HASLab, o nosso trabalho incide sobre o desenho e a implementação de sistemas de software confiável: softwarecorrect by design, resiliente perante falhas e ataques maliciosos. Com vista a cumprir a nossa missão, operamos no cluster das Ciências da Computação, e as nossas atividades de investigação seguem uma abordagem concreta a três grandes áreas: Engenharia de Software, Sistemas Distribuídos, e Criptografia e Segurança da Informação.

Os principais contributos do HASLab nas dimensões acima referidas vão desde a investigação fundamental em métodos e algoritmos formais, até a investigação aplicada ao desenvolvimento de ferramentas e middleware, com vista a responder aos principais desafios do mundo atual, decorrentes da colaboração, a longo prazo, com a indústria.

Engenharia de Software - exploramos métodos, técnicas e ferramentas para o desenvolvimento de software, podendo este ser introduzido nas funcionalidades internas de certos componentes, na sua configuração junto de outros componentes, e também na interação com o usuário.

Sistemas Distribuídos – um dos nossos objetivos é aperfeiçoar a confiabilidade e escalabilidade de software, explorando propriedades inerentes à distribuição e replicação de sistemas computacionais.

Criptografia e Segurança da Informação - visamos minimizar a vulnerabilidade dos componentes de software a ataques maliciosos, através da implementação de estruturas e protocolos criptográficos, cujas propriedades de segurança são formalmente comprovadas.

Através de uma abordagem multidisciplinar, assente em princípios teóricos comprovados, pretendemos disponibilizar soluções – fundamentos teóricos, métodos, linguagens, ferramentas, etc. - para o desenvolvimento de sistemas TIC integrais, com garantias concretas aos seus proprietários e utilizadores. As principais áreas de aplicação da investigação levada a cabo no HASLab incluem o desenvolvimento de sistemas de software essenciais para garantir a segurança e a proteção, a operacionalização de infraestruturas da nuvem, e a gestão e o processamento de BigData, preservando a sua privacidade.

Últimas Notícias
Informática

“Best Paper Award” na área da Computação atribuído a trabalho de investigadores do INESC TEC

O artigo “ASPAS: As Secure as Possible Available Systems”, escrito em coautoria por Houssam Yactine, Ali Shoker, e George Younes, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, recebeu o prémio Best Paper Award na 16ª edição da International Federated Conference on Distributed Computing Techniques (DisCoTec2021).  

15 julho 2021

Informática

INESC TEC participa em projeto de desenvolvimento de gestor de passwords seguro

O projeto PassCert, Investigação do Impacto de Verificação Formal na Adoção de Software para Segurança de Passwords, arrancou em fevereiro e vai permitir criar um gestor de passwords que, através do uso de verificação formal, garante propriedades de segurança sobre o armazenamento de dados e geração de passwords.  

31 maio 2021

Informática

INESC TEC ajuda marcas a melhorar influência nas redes sociais através da IA

Medir, monitorizar e melhorar a presença, posição social e influência de empresas e indivíduos nas redes sociais.

26 maio 2021

Informática

INESC TEC coorganiza workshop sobre Inteligência Artificial aplicada a testes de software

O INESC TEC coorganizou o workshop AIST 2021 – International Workshop on Artificial Intelligence in Software Testing, no âmbito da IEEE International Conference on Software Testing (ICST 2021), e dedicado à Inteligência Artificial para testes de software. O evento decorreu online, no dia 12 de abril, e contou com mais de 20 participantes.  

07 maio 2021

Informática

Projeto INESC TEC vence Prémio IN3+

O projeto IDINA – Identidade Digital Inclusiva Não Autoritativa, liderado pelo Laboratório de Software Confiável (HASLAb) do INESC TEC, é o vencedor do Prémio IN3+, promovido pela Imprensa Nacional – Casa da Moeda S.A. (INCM), no valor de 600 mil euros. O IDINA pretende criar uma plataforma de identificação do cidadão eficaz e inclusiva, em países que não possuem sistemas centrais de identificação (infraestruturas de registo civil), para todos os cidadãos.

30 março 2021

Tópicos de Interesse
035

Projetos Selecionados

CircThread

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

2021-2025

PassCert

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-2021

RISC2

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

2021-2023

IDigitalEIDPT

Estudo Identidade Digital

2020-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-2022

BigHPC

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-2023

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

2021

Hubs for VirtuosoNext: Online verification of real-time coordinators

Autores
Cledou, G; Proenca, J; Sputh, BHC; Verhulst, E;

Publicação
Science of Computer Programming

Abstract

2021

Experiences on teaching alloy with an automated assessment platform

Autores
Macedo, N; Cunha, A; Pereira, J; Carvalho, R; Silva, R; Paiva, AC; Sozinho Ramalho, M; Silva, D;

Publicação
Science of Computer Programming

Abstract

2021

Secure Conflict-free Replicated Data Types

Autores
Barbosa, M; Ferreira, B; Marques, JC; Portela, B; Preguiça, NM;

Publicação
ICDCN '21: International Conference on Distributed Computing and Networking, Virtual Event, Nara, Japan, January 5-8, 2021.

Abstract

2021

GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices

Autores
Pereira, R; Matalonga, H; Couto, M; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM; Fernandes, JP;

Publicação
EMPIRICAL SOFTWARE ENGINEERING

Abstract
Context The development of solutions to improve battery life in Android smartphones and the energy efficiency of apps running on them is hindered by diversity. There are more than 24k Android smartphone models in the world. Moreover, there are multiple active operating system versions, and a myriad application usage profiles. Objective In such a high-diversity scenario, profiling for energy has only limited applicability. One would need to obtain information about energy use in real usage scenarios to make informed, effective decisions about energy optimization. The goal of our work is to understand how Android usage, apps, operating systems, hardware, and user habits influence battery lifespan. Method We leverage crowdsourcing to collect information about energy in real-world usage scenarios. This data is collected by a mobile app, which we developed and made available to the public through Google Play store, and periodically uploaded to a centralized server and made publicly available to researchers, app developers, and smartphone manufacturers through multiple channels (SQL, REST API, zipped CSV/Parquet dump). Results This paper presents the results of a wide analysis of the tendency several smart-phone characteristics have on the battery charge/discharge rate, such as the different models, brands, networks, settings, applications, and even countries. Our analysis was performed over the crowdsourced data, and we have presented findings such as which applications tend to be around when battery consumption is the highest, do users from different countries have the same battery usage, and even showcase methods to help developers find and improve energy inefficient processes. The dataset we considered is sizable; it comprises 23+ million (anonymous) data samples stemming from a large number of installations of the mobile app. Moreover, it includes 700+ million data points pertaining to processes running on these devices. In addition, the dataset is diverse. It covers 1.6k+ device brands, 11.8k+ smartphone models, and more than 50 Android versions. We have been using this dataset to perform multiple analyses. For example, we studied what are the most common apps running on these smartphones and related the presence of those apps in memory with the battery discharge rate of these devices. We have also used this dataset in teaching, having had students practicing data analysis and machine learning techniques for relating energy consumption/charging rates with many other hardware and software qualities, attributes and user behaviors. Conclusions The dataset we considered can support studies with a wide range of research goals, be those energy efficiency or not. It opens the opportunity to inform and reshape user habits, and even influence the development of both hardware (manufacturers) and software (developers) for mobile devices. Our analysis also shows results which go outside of the common perception of what impacts battery consumption in real-world usage, while exposing new varied, complex, and promising research avenues.

2021

Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems

Autores
Ameur, YA; Bowen, J; Campos, JC; Palanque, PA; Weyers, B;

Publicação
Interact. Comput.

Abstract

Teses Orientadas

2020

Extending Conflict Free Replicated Data Types Fault Models

Autor
Houssam Ahmad Yactine

Instituição
UP-FCUP

2020

Peer-production and Technology-enhanced Collaborative Teaching and Learning (Models, Methods and Framework)

Autor
sara dos Santos Fernandes

Instituição
UP-FCUP

2020

TrustZone based Attestation in Secure Runtime Verification for Embbeded Systems

Autor
Miguel Miranda Quaresma

Instituição
UM

2020

Suporte ao desenvolvimento de aplicações críticas em sistemas embebidos

Autor
Lisandra Maria Pereira da Silva

Instituição
UM

2020

Prototipagem de Interfaces

Autor
Rafael Braga Gomes da Costa

Instituição
UM

Factos & Números

4Artigos em revistas indexadas

2020

1Contratados de I&D

2020

68Investigadores

2016

Contactos