É este o teu mestrado.
Os Sistemas Computacionais Críticos (SCC) estão presentes em domínios cada vez mais estratégicos: automóvel (como a condução autónoma), aeroespacial, dispositivos médicos, banca, comércio online, Internet das Coisas (IoT) ou cidades inteligentes. Nestes contextos, a confiabilidade, a segurança e a disponibilidade são fundamentais.
Se queres desenvolver software e sistemas críticos que suportam decisões e operações de elevado impacto, este é o teu mestrado.
O que te dá este mestrado?
-
Frequentas uma formação que te confere competências avançadas para analisar, desenvolver e operar software e sistemas críticos.
-
Beneficias de uma forte ligação a parceiros empresariais, que facilita a integração rápida no mercado de trabalho nacional e internacional.
-
Desenvolves um perfil valorizado em áreas diferenciadoras em termos salariais, ligadas à engenharia de sistemas de alta confiabilidade.
-
Tens a possibilidade de prosseguir para uma carreira académica ou de investigação, em contexto académico ou industrial.
-
Podes candidatar-te a bolsas de investigação em projetos nacionais e internacionais, integrando equipas de ponta.
| Duração: 2 anos / 4 semestres | Horário: |
| Créditos: 120 ECTs | Pós-laboral (18h10 - 23h30) |
Registo Legal
Data inicial: 2025-07-31
Data final: 2031-07-31
Em que áreas podes trabalhar?
-
Sistemas automóveis críticos (condução autónoma, controlo e segurança);
-
Sistemas aeroespaciais e de defesa;
-
Dispositivos médicos e sistemas de saúde digitais;
-
Sistemas financeiros e de banca digital;
-
Plataformas de comércio eletrónico;
-
Sistemas IoT e Cidades Inteligentes;
-
Sistemas Embebidos e de Tempo-Real;
-
Investigação e desenvolvimento em software e engenharia de sistemas críticos.
Dupla Titulação: Embedded Systems Engineering, University of Applied Sciences and Arts, Dortmund
Empresas: Honeywell International; Bosch Research; Critical Software; Critical TechWorks, Embraer; GMV Skysoft; Edisoft; Capgemini Engineering, EFACEC, Armis, entre outras.
Centros de Investigação: CISTER - Research Centre in Embedded & Real-Time Computing Systems, SoftCPS - Software Technologies for Cyber-Physical Systems Laboratory, INESC TEC - Institute for Systems and Computer Engineering, Technology and Science
Posso candidatar-me?
Podes candidatar-te ao mestrado se fores:
-
Titular do grau de licenciado ou equivalente legal.
-
Finalista de licenciatura, mas de forma condicional, devendo apresentar prova de conclusão até ao último dia do prazo de matrícula da fase a que se candidatou, sob pena de exclusão.
-
Titular de grau académico superior estrangeiro conferido após um 1º ciclo de estudos organizado segundo os princípios de Bolonha, por um Estado aderente.
-
Titular de grau académico superior estrangeiro reconhecido pelo Conselho Técnico-Científico (CTC) do ISEP como equivalente a licenciado.
-
Detentor de currículo escolar, científico e profissional reconhecido pelo Conselho Técnico-Científico (CTC) do ISEP como suficiente para aceder ao ciclo de estudos conducente ao grau de Mestre.
Se precisares de reconhecimento pelo Conselho Técnico-Científico (CTC) do ISEP, deves solicitá-lo antecipadamente. Pede informação por email à Divisão Académica ou à direção do mestrado (contacto na página do curso, barra lateral direita).
É também possível pedir o reconhecimento do grau académico através da DGES: https://www.dges.gov.pt/pt/pagina/reconhecimento.
Quando posso candidatar-me?
1.ª Fase – De 03 de junho a 06 de julho de 2026
Vagas incluídas no Edital do Concurso (PT) | Vacancies are listed in the Public Notice (EN)
2.ª Fase – De 1 a 31 de agosto de 2026
3.ª Fase – 28 de setembro a 7 de outubro de 2026
Mapa de vagas
As segunda e terceira fases abrem mediante a disponibilidade de vagas resultantes das fases anteriores.
Depois de ultrapassado o prazo de uma fase, as datas e os documentos públicos partilhados nesta página passam a servir apenas como referência informativa para eventuais candidaturas futuras.
Como posso candidatar-me?
-
Seleciona abaixo o botão “CANDIDATURAS” – botão ativo apenas durante os períodos de candidatura.
-
Se não tens chave de acesso, clica em "OBTER CHAVE DE ACESSO"; se tens chave de acesso, clica em “ENTRAR”.
-
Se tiveres dúvidas no preenchimento do formulário online, podes esclarecê-las, por email, à Divisão Académica ou à direção do mestrado (contactos nesta página, barra lateral direita).
|
|
Apresentações de teses e dissertações
Apresentações intermédias de dissertações, 2025/26
20.05.2026 e 27.05.2026| Online
Língua: Inglês
Clarisse Sousa
Percepta - Middleware for edge and cloud Cyber Physical Systems AI applications
Ricardo Freitas
Data-Act-Compliant Integration of Smart IoT Devices in Smart Grids
Diogo Pereira
Integração de Algoritmos de IA para Gestão de Energia no HomeAssistant
Reinaldo Reis
Comunicação em Tempo Real e Integração de Gémeos Digitais para a Otimização da Produção na Indústria Têxtil
Cláudio Coelho
Implementação de um Sistema de Comunicação Fiável e Seguro entre Dispositivos Médicos e Plataformas de Monitorização
José Pedro Trigo
Avançados de Assistência ao Condutor
Francisco Mendes
Linux-Based Multi-Protocol IoT Gateway
João Pedro Rodrigues
Railway Testing Framework Product Development & Testing
Luis Ribeiro
Plataforma de Co-Simulação Multidimensional para Missões Cooperativas de Veículos Autónomos com Rede IoT
Ângelo Oliveira
Camada de Confiabilidade para Sistemas ROS 2 Marítimos Baseada no Conceito de Black Channel
Jorge Moreira
Algoritmos Inteligentes de Comunicação com Garantia de Qualidade de Serviço para Redes Heterogéneas de Veículos Autónomos e IoT Marítima
Nuno Castro
Autenticação Passiva Multicamadas para Dispositivos IoT/OT: Integração de SDR RF Fingerprinting e Análise Multimodal no Âmbito do Projeto HOMEPOT
André Gonçalves
Extensão e Distribuição de um Ambiente de Co-Simulação ROS2 com Integração Hardware e Software in-the-Loop para Missões Cooperativas Offshore
Filipe Ferreira
Evaluation of Rust implementation of Boost libraries
Filipe Duarte
Rust framework for fine-grained real-time parallel programming
Apresentações intermédias de dissertações, 2024/25
21.05.2026 e 28.05.2026| Online
Língua: Inglês
Daniel Lopes
Definition and Implementation of the KARVEL Digital Twin Demonstrator
Henrique Teixeira
Development of an Intelligent and Efficient System for Monitoring and Optimising Sailboat Performance
Pedro Barbosa
Implementation of a Core Isolation solution on the same processor
Rodrigo Moreira
Leveraging V2X Communication for Enhanced Crash Safety in Autonomous Vehicles
Alexander Paschoaletto
Real-time Schedulers for Space Applications
Cristiano Coelho
Application of Model Checking in the Formal Verification of Requirements for a Speed Control System in Railway
João Moreira
An AI-Driven Approach to Fault Prediction and Prevention in EV Chargers
João Dias
Modernizing Enterprise Virtualization Infrastructure: An Approach to Mitigate Risks and Enhancing Efficiency
Ricardo Mendes
Demand Management for Over-the-air Update based on Usage-Pattern Awareness
Tiago Lemos
Design and development of a FIWARE-based Digital Twin for Predictive Maintenance in the Textile and Clothing Sector
Tiago Costa
Co-simulation of vehicle distributed perception for road safety application
Seminários e ciclos de palestras
Critical Computing Series
Critical Computing in Railway Signalling
Cláudio Sagres - EFACEC
11.11.2025 | 18:30 | Inglês
Supporting Soft Real-Time Tasks in Zephyr with Constant Bandwidth Servers
Alexander Paschoaletto - SoftCPS, ISEP & INESC TEC
19.05.2025 | 18:30 | Inglês
Towards Reliable Distributed Edge-Cloud Applications
Michael Pressler - Bosch Research
Software-defined vehicles are driving a shift toward new HW/SW architectures that combine onboard computing with edge and cloud services, including for latency- and safety-critical applications. Reliable Distributed Systems (RDS) enable this paradigm by reliably integrating data and computation across vehicles, infrastructure, edge, and cloud to support real-time world models, more intelligent decisions, and new applications beyond automotive systems.
02.12.2024 | 18:30 | Inglês | + Info.
Development of safety-critical systems for Railway
João Martins – EFACEC
The seminar will address the development of safety-critical systems in the context of transportation. IT will provide a brief presentation of SIL4 (Safety Integrity Level 4) Railway Signaling products according to railway standards, and analyze the Railway Signaling products’ development and certification processes throughout the development lifecycle: requirements management, design, implementation, verification and validation.
08.11.2024 | 19:00 | Inglês | + Info.
As comunidades de energia renovável como forma de minorar os efeitos de intermitência das energias renováveis
José Luis Malaquias – Cleanwatts
22.10.2024 | 18:30 | Português
Autonomous Driving challenges: how Hardware and Software design impacts the System Architecture
Luciano Sousa, João Ribeiro, Dylan Bicho - Bosch Car Multimédia
Autonomous driving systems will have a direct impact on the functioning of society, and therefore, they will also have to be guided not only by the roads, but by what we consider to be ethical behavior. This presentation will guide us from the level of vehicle sensing (which sensors to use and why) to the level of sensor fusion (how to leverage the advantages of these sensors). Finally, we will give a perspective on the complexity of these systems when placed before a human ethical architecture.
06.12.2023 | 18:30 | Inglês | + Info.
Self-healing baseado numa infraestrutura de comunicação 5G e a virtualização de equipamentos de Proteção, Automação e Controlo
Fernando Gomes, Carlos Arantes, José Ventura – EFACEC
Nos sistemas de transporte e distribuição de energia o self-healing baseado numa infraestrutura de comunicação 5G e a virtualização de equipamentos de Proteção, Automação e Controlo são tópicos de investigação e desenvolvimento que a EFACEC acredita que trará, entre outros aspetos, significativas melhorias na redução de custos e na qualidade de energia elétrica. Nesta palestra a EFACEC apresentar-se-á e demonstrará a sua visão nestas áreas.
29.11.2023 | 18:30 | Português | + Info.
Processo de Engenharia de Software Crítico
Sérgio Lopes e João Rio - Critical Software
Esta sessão propõe uma análise ampla de Engineering Processes e Functional Safety. Aprofundar-se-á nas distintas fases do processo de System Engineering, explorando frameworks de desenvolvimento usadas em projetos Safety-Critical
22.11.2023 | 18:30 | Português | + Info.
Research and Systems @ SwordHealth
Pedro Rodrigues e Pedro SousaSwordHealth
One of the pivotal teams at Sword is the Research and Systems team, which comprises highly skilled and specialized engineers. Through their ingenuity and dedication, this team drives the development of next-generation technologies, pushing the boundaries of what is possible in the realm of digital health.
26.04.2023 | 18:30 | Inglês | + Info
Building Real-Time Software on Linux using SCHED_DEADLINE
Tommaso Cucinotta - Scuola Superiore Sant’Anna
SCHED_DEADLINE is a relatively new scheduling class that was recently added to the Linux kernel for dealing with real-time tasks, in addition to the well-known POSIX-compliant priority-based real-time scheduling class. SCHED_DEADLINE adds a deadline-based scheduler for real-time tasks implementing the well-known Earliest Deadline First (EDF) scheduling policy, configurable as a global, partitioned or clustered EDF scheduler, with the addition of a multi-processor variant of the Constant Bandwidth Server (CBS) algorithm.
02.03.2023 | 18:30 | Inglês | + Info
Is cybersecurity fundamental for critical systems?
Sérgio Loureiro - Outpost24
This talk will focus on the importance of cyber security for critical systems, building upon the personal experience of the speaker in this field. A selected set of key technologies and Outpost24 tools for cyber risk management will also be discussed during the talk.
15.12.2022 | 18:30 | Inglês | + Info
Resiliência como fator competitivo
Pedro Cupertino Miranda - SONAE
Num mundo cada vez mais digital e interconectado, surgem novos riscos e oportunidades. Os ciberataques têm ganho relevância ao nível da gestão de topo por se considerar que podem ter um impacto na reputação e na continuidade do negócio. Nestas situações, as perdas potenciais podem ser enormes, sendo os tempos de resposta disponíveis muito reduzidos e com uma margem de erro praticamente inexistente.
17.11.2022 | 18:30 | Português | + Info
SMARTER, an Arm Research Edge Computing Framework
Alexandre Ferreira - Arm
As part of the SMARTER (Secure Municipal, Agricultural, Rural, and Telco Edge Research) project, Arm has been exploring the use of cloud-native technology and methodologies in edge environments to evaluate their effectiveness at addressing these problems at scale.
28.09.2022| 18:30 | Inglês | + Info
Engenharia de Sistemas Computacionais Críticos
Luis Miguel Pinho – ISEP
Nesta sessão serão brevemente apresentados os desafios dos Sistemas Computacionais Críticos, explicando como é que o Mestrado do ISEP confere as competências para uma rápida integração num mercado de trabalho tecnologicamente avançado e altamente competitivo.
30.06.2022 | 18:00 | Português | + Info
Eventos especiais (Open Day e similares)
Critical Computing Systems Open Day 2023
18.05.2023 | Inglês | Programa | Fotos
|
Contactos
(Diretor de curso)
|




