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
Sobre

Sobre

Luis Miguel Pinho é Professor Coordenador do Departamento de Engenharia Informática do Instituto Superior de Engenharia do Porto (ISEP), sendo Diretor do Mestrado em Engenharia de Sistemas Computacionais Críticos do ISEP. É Doutor em Engenharia Electrotécnica e de Computadores (2001) e Agregado em Engenharia Informática (2023) pela Universidade do Porto.

Luis Miguel Pinho lidera investigação em áreas como software embebido e de tempo real, linguagens de programação, concorrência e paralelismo, com foco particular na integração de computação de alto desempenho em sistemas embebidos de tempo real.


Foi responsável por vários projetos de I&D, entre os quais o projeto FP7 P-SOCRATES, tendo coordenando atividades em mais de 25 projetos, desde projetos de investigação fundamental até transferência de tecnologia financiada pela indústria, incluindo projetos individuais e em consórcio. Publicou mais de 150 artigos em conferências e revistas internacionais na área de sistemas de tempo real, embebidos e ciber-físicos. Foi Conference Chair das conferências Ada-Europe 2006 e ARCS 2015, Keynote Speaker na conferência RTCSA 2010 e Program Chair das conferências Ada-Europe 2006, Ada-Europe 2012 e RTNS 2016. Foi editor da publicação Ada User Journal, de 2007 a 2019, e é atualmente editor da publicação ACM Ada Letters. É membro da ISO/IEC JTC1/SC22/WG9 (Linguagem Ada), sendo um dos autores do modelo de programação paralela da linguagem Ada 2022.


Foi Pró-Presidente para a Investigação e Inovação do Instituto Politécnico do Porto de 2018 a 2022, e Diretor Executivo do PORTIC (Porto Research, Technology & Innovation Center), estrutura de Investigação, Inovação e Empreendedorismo do Politécnico do Porto.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Luis Miguel Pinho
  • Cargo

    Investigador Sénior
  • Desde

    14 dezembro 2022
002
Publicações

2025

Energy Monitoring Systems Analysis and Development: A Case Study for Graph-Based Modelling

Autores
Carvalho, T; Müller, T; Reiter, S; Pinho, LM; Oliveira, A;

Publicação
International Conference on Model-Driven Engineering and Software Development

Abstract
The Internet of Things (IoT) enables everyday objects to connect and communicate remotely, transforming areas such as smart homes and industrial automation. IoT systems can be standalone or interconnected in a System of Systems, where multiple devices work together towards a common goal. A key application is Energy Monitoring Systems (EMS), which track energy use within communities, using energy production and consumption. Designing this type of IoT systems remains complex and requires careful consideration of heterogeneous devices, their limitations, software, communication protocols, data management, and security. This paper presents a design approach for EMS communities, with a focus on house-level IoT systems. We introduce a model-driven development methodology, a holistic and flexible framework for designing IoT systems across the development and operations lifecycle. Especially, the concept of projectors enables an easy shift between domain assets and provide automation support. The approach is validated with a real-life use case, for which an analysis phase was developed, showing the benefits of using our approach for managing EMS and the automation of the analysis configuration. © 2025 by SCITEPRESS - Science and Technology Publications, Lda.

2025

Supporting Soft Real-Time Tasks in Zephyr With Constant Bandwidth Servers

Autores
Paschoaletto, A; Sousa, P; Pinho, LM; Carvalho, T;

Publicação
2025 28th International Symposium on Real-Time Distributed Computing (ISORC)

Abstract
The Constant Bandwidth Server (CBS) is a mechanism used in real-time systems to enable aperiodic soft realtime tasks with unknown execution parameters to run under a dynamic scheduling policy such as Earliest Deadline First (EDF), while still ensuring schedulability by using a bandwidth reservation strategy. This paper proposes an approach to extend the Zephyr open-source real-time operating system, currently maintained by the Linux Foundation, to support aperiodic tasks with CBS. The paper provides the proposed architecture and the design and implementation of the CBS mechanisms in the operating system, which are then evaluated in two test cases in an embedded platform. © 2025 Elsevier B.V., All rights reserved.

2024

Time-predictable task-to-thread mapping in multi-core processors

Autores
Samadi, M; Royuela, S; Pinho, LM; Carvalho, T; Quinones, E;

Publicação
JOURNAL OF SYSTEMS ARCHITECTURE

Abstract
The performance of time-predictable systems can be improved in multi-core processors using parallel programming models (e.g., OpenMP). However, schedulability analysis of parallel applications is a big challenge due to their sophisticated structure. The common drawbacks of current task-to-thread mapping approaches in OpenMP are that they (i) utilize a global queue in the mapping process, which may increase contention, (ii) do not apply heuristic techniques, which may reduce the predictability and performance of the system, and (iii) use basic analytical techniques, which may cause notable pessimism in the temporal conditions. Accordingly, this paper proposes a task-to-thread mapping method in multi-core processors based on the OpenMP framework. The mapping process is carried out through two phases: allocation and dispatching. Each thread has an allocation queue in order to minimize contention, and the allocation and dispatching processes are performed using several heuristic algorithms to enhance predictability. In the allocation phase, each task-part from the OpenMP DAG is allocated to one of the allocation queues, which includes both sibling and child task-parts. A suitable thread (i.e., allocation queue) is selected using one of the suggested heuristic allocation algorithms. In the dispatching phase, when a thread is idle, a task-part is selected from its allocation queue using one of the suggested heuristic dispatching algorithms and then dispatched to and executed by the thread. The performance of the proposed method is evaluated under different conditions (e.g., varying the number of tasks and the number of threads) in terms of application response time and overhead of the mapping process. The simulation results show that the proposed method surpasses the other methods, especially in the scenario that includes overhead of the mapping. In addition, a prototype implementation of the main heuristics is evaluated using two kernels from real-world applications, showing that the methods work better than LLVM's default scheduler in most of the configurations.

2024

Real-Time Parallel Programming for Homogeneous Multicores

Autores
Pinho, LM;

Publicação
2024 IEEE 14TH INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, SIES

Abstract
Developing real-time systems applications requires programming paradigms that can handle the specification of concurrent activities and timing constraints, and controlling execution on a particular platform. The increasing need for high-performance, and the use of fine-grained parallel execution, makes this an even more challenging task. This paper explores the state-of-the-art and challenges in real-time parallel application development, focusing on two research directions: one from the high- performance domain (using OpenMP) and another from the real-time and critical systems field (based on Ada). The paper reviews the features of each approach and highlights remaining open issues.

2023

A Scalable Clustered Architecture for Cyber-Physical Systems

Autores
Cabral, B; Costa, P; Fonseca, T; Ferreira, LL; Pinho, LM; Ribeiro, P;

Publicação
2023 IEEE 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, INDIN

Abstract
Developing distributed and scalable Cyber-Physical Systems (CPS) that can handle large amounts of data at high data rates at the edge, remains a challenging task. Also, the limited availability of open-source solutions makes it difficult for developers and researchers to experiment with and deploy CPSs on a larger scale. This work introduces Edge4CPS, an open-source multi-architecture solution built over Kubernetes that aims to enable an easy to use, efficient and scalable solution for the deployment of applications on edge-like distributed computing clusters. To verify the successful real-world implementation of the introduced architecture, the system was tested in a railway scenario, derived from the Ferrovia 4.0 project, which highlights its functionalities.