Identificação
Identificação pessoal
- Nome completo
- Mário Jorge Rodrigues de Sousa
Nomes de citação
- Sousa, Mário
- de Sousa, Mario
Identificadores de autor
- Ciência ID
- BC10-6494-18F1
- ORCID iD
- 0000-0001-7200-1705
Domínios de atuação
- Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Automação e Sistemas de Controlo
- Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Hardware e Arquitetura de Computadores
- Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Português | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | |
Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | |
Francês | Utilizador elementar (A1) | Utilizador independente (B1) | Utilizador elementar (A1) | Utilizador elementar (A1) |
Formação
Grau | Classificação | |
---|---|---|
2005
Concluído
|
Engenharia Electrotécnica e de Computadores (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
|
|
1996
Concluído
|
Engenharia Eletrotécnica e de Computadores (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
|
|
1992
Concluído
|
Engenharia Electrotécnica e de Computadores (Licenciatura)
Universidade do Porto Faculdade de Engenharia, Portugal
|
17 |
Percurso profissional
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2005 - Atual | Professor Auxiliar (Docente Universitário) | Universidade do Porto, Portugal |
Projetos
Projeto
Designação | Financiadores | |
---|---|---|
1992/09/01 - Atual | CIM Centre of Porto
ESPRIT 5629
Investigador
|
|
2022/10/01 - 2025/09/30 | CONNECT5
PRR - 766
Investigador
Universidade do Porto Faculdade de Engenharia, Portugal
|
Agência para a Competitividade e Inovação IP
Em curso
|
2020/12/01 - 2023/06/30 | MIRAI - Machine intelligence techniques for smart and sustainable planning and operation of IoT and Edge computing applications
POCI-01-0247-FEDER-069522_LISBOA-01-0247-FEDER-069522
Investigador
Universidade do Porto Faculdade de Engenharia, Portugal
|
Concluído
|
2019/04/01 - 2022/09/30 | Safe Cities - Inovação para Construir Cidades Seguras
POCI-01-0247-FEDER-041435
Investigador
|
|
2020/05/20 - 2020/08/31 | R&D related to IEC 61131-3, Beremiz IDE and matiec compiler
FEUP/Smarteh/2020-76761
Investigador responsável
|
|
2017/07/04 - 2018/12/31 | R&D related to IEC 61131-3, Beremiz IDE and matiec compiler
FEUP/EQUA/2017-71331
Investigador responsável
|
|
2017/06/14 - 2017/12/31 | R&D related to IEC 61131-3, Beremiz IDE and matiec compiler
FEUP/Smarteh/2017-71333
Investigador responsável
|
|
2013/10/01 - 2017/03/31 | STAMINA - Robótica Sustentável e Fiável para a Manipulação de Peças em Ambientes Fabris
610917
|
|
2016/10/14 - 2017/01/13 | R&D related to IEC 61131-3, Beremiz IDE and matiec compiler
FEUP/Smarteh/2016-70886
Investigador responsável
|
|
2013/12 - 2016/11 | MEDIS - A Methodology for the Formation of Highly Qualified Engineers at Masters Level in the Design and Development of Advanced
Industrial Informatics Systems
544490-TEMPUS-1-2013-1-ES-TEMPUS-JPCR
Investigador responsável
|
Concluído
|
2013/09/01 - 2015/08/31 | CARLoS - Robô Cooperativo para Produção em Espaços Amplos
606363
|
|
2014/04 - 2015/06 | HIPA - High Integrity Process Automation
EXPL/EEI-AUT/2538/2013
Investigador responsável
|
Concluído
|
2012/01/01 - 2015/04/01 | Serv-CPS: Server-based Real-Time Ethernet Communication Architecture for Cyber-Physical Systems | |
2015/03 - 2015/04 | R&D related to IEC 61131-3, Beremiz IDE and matiec compiler
FEUP/Smarteh/2015-67938
Investigador responsável
|
|
2009/03 - 2012/02 | iLAND -mIddLewAre for deterministic dynamically reconfigurable NetworkeD embedded systems
ARTEMIS/2008/0004
|
|
2008/01 - 2011/12 | ArtistDesign: Network of Excellence on Embedded Systems Design
FP7-ICT-214373
Investigador
|
|
2009 - 2010 | Prosinal
FEUP/EFACEC/2009/04
Investigador responsável
|
|
2007/01 - 2009/12 | SiDETRAil - Embedded Distributed Real-Time Systems for Industrial Automation Applications
CAPES-GRICES, 4.1.3/CAPES/CPLP
|
|
1994 - 1995 | Cime Computing Environment Integrating a Communications Network for Manufacturing Applications (CCE-CNMA)
ESPRIT 7096
|
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Artigo em revista (magazine) |
|
Capítulo de livro |
|
Atividades
Orientação
Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
---|---|---|
2019 - Atual | Flexible Industrial Automation Systems - Microservices Architecture for Industrial Automation Systems
Coorientador
|
|
2019 - Atual | Reverse Engineering of IEC 61131-3 Programs
Orientador
|
|
2020/01 - 2020/08/24 | An LLVM Based Compiler for the IEC 61131-3
Orientador
|
|
2013 - 2020/06/09 | Replicação em Sistemas Distribuídos utilizando a Norma IEC 61499
Orientador
|
|
2019 - 2019/07/16 | Designing a Decision Support System to Improve Urban Mobility
Orientador
|
|
2019 - 2019/02/06 | Uso da stack ELK no Diagnóstico de Problemas em Sistemas SCADA em Produção
Orientador
|
|
2019 - 2019/02/06 | Predicting Stack Use in Embedded Software Applications
Orientador
|
|
2018 - 2018/07/13 | Atualização Automática de sistemas SCADA em produção
Orientador
|
|
2018 - 2018/07/13 | OPC UA support for Beremiz softPLC
Orientador
|
|
2017 - 2017/07/18 | IPBrick- Plataforma de testes automáticos
Orientador
|
|
2017 - 2017/07/13 | Ambiente Integrado de Desenvolvimento IEC 61131-3 para Eclipse
Orientador
|
|
2017 - 2017/07/13 | Converting LD to SFC (IEC 61131-3)
Orientador
|
|
2017 - 2017/02/17 | Compiler Front-end for the IEC 61131-3 v3 Languages
Orientador
|
|
2016 - 2016/07/19 | Mordomo - Sistema de Gestão de Habitação
Orientador
|
|
2016 - 2016/02/19 | Ambiente de desenvolvimento integrado para programação IEC 61131-3
Orientador
|
|
2016 - 2016/02/19 | hronoSim - Critical Software
Orientador
|
|
2015 - 2015/10/13 | Ambiente Integrado em Eclipse para Desenvolvimento de Programas IEC 61131-3
Orientador
|
|
2015 - 2015/07/17 | Automatic inconsistency detection in a logistic world model (european project STAMINA)
Orientador
|
|
2015 - 2015/07/14 | SCADA em Androide
Orientador
|
|
2015 - 2015/07/14 | Low energy communication network for control and supervision of hydroponic farms
Orientador
|
|
2015 - 2015/02/20 | Conversor entre linguagens IEC61131-3
Orientador
|
|
2014 - 2014/09/26 | Impressora 3D com LinuxCNC
Orientador
|
Organização de evento
Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
---|---|---|
2021 - 2021 | 19th IEEE International Conference on Industrial Informatics - INDIN 2021 Track co-chair (2021/07/21 - 2021/07/23)
Conferência (Membro da Comissão Científica)
|
|
2020 - 2020 | 16th IEEE International Conference on Factory Communication Systems - WFCS 2020
Financial co-chair (2020/04/27 - 2020/04/29)
Conferência (Membro da Comissão Organizadora)
|
|
2020 - 2020 | 18th IEEE International Conference on Industrial Informatics - INDIN 2020 Track co-chair (2020/07/20 - 2020/07/23) | |
2019 - 2019 | 17th IEEE International Conference on Industrial Informatics - INDIN 2019
Track co-chair (2019/07/23 - 2019/07/25)
Conferência (Membro da Comissão Científica)
|
|
2018 - 2018 | INDIN 2018: General co-chair and conference organiser
(2018)
Conferência (Presidente da Comissão Organizadora)
|
Júri de grau académico
Tema Tipo de participação |
Nome do candidato (Tipo de grau) Instituição / Organização |
|
---|---|---|
2020/10/16 | Can and Ethernet bus sniffer
Presidente do júri
|
João Francisco Sá Santos (Mestrado) |
2020/10/12 | Opportunist Maintenance Intelligent System for Failures Prediction and Planning Optimization
Presidente do júri
|
Beatriz Correia Araújo (Mestrado) |
2020/07/16 | Gestão avançada de manutenção
Presidente do júri
|
Carlos Daniel Pais Barros (Mestrado) |
2020/07/16 | Implementação de uma ferramenta de cálculo de tempos de processo
Presidente do júri
|
Luís Carlos Gonçalves Oliveira (Mestrado) |
2018/11/06 | Scheduling Parallel Real-Time Tasks in Multiprocessor Platforms | Cláudio Roberto Ribeiro Maia (Doutoramento) |
2018/05/15 | Dynamic Hierarchical Bandwidth Reservations for Switched Ethernet | Zahid Iqbal (Doutoramento) |
2018/04/10 | Aerial Multi-hop Sensor Networks | Luis Miguel Ramos Barbara Cunha Pinto (Doutoramento) |
2017/05/23 | Integrating Dataflow and Non-Dataflow Real-time Application Models on Multi-core Platforms | Hazem Ismail Abdelaziz Ali (Doutoramento) |
2016/07/12 | Schedulability Analysis of Multiprocessor Real-time Systems Using Pruning | Artem Burmyakov (Doutoramento) |
2016/02/16 | A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems | Ricardo Garibay Martínez (Doutoramento) |
2015/04/24 | Many-Core Platforms in the Real-Time Embedded Computing Domain | Borislav Nikolic (Doutoramento) |
2015/04/23 | Real-time Limited Preemptive Scheduling | José Manuel Silva dos Santos Marinho (Doutoramento) |
2014/07/16 | Energy and Temperature Aware Real-Time Systems | Muhammad Ali Awan (Doutoramento) |
2014/04/09 | Timing Analysis of Real-Time Systems Considering the Contention on the Shared Network Interconnection in MultiCores | Dakshina N Dasari (Doutoramento) |
2014/03/11 | Real-Time Scheduling on Heterogeneous Multiprocessors
Vogal
|
Gurulingesh Raravi (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2012/02 | Model-Based Simulation Approach for the Design, Test and Robustness Analysis of Automotive Communication Systems | Candice Muller (Doutoramento)
Università degli Studi di Genova, Itália
|
Arbitragem científica em conferência
Nome da conferência | Local da conferência | |
---|---|---|
2013 - Atual | IEEE Conference on Emerging Technologies and Factory Automation (ETFA) | |
2013 - Atual | IEEE International Conference on Emerging Technologies and Factory Automation - ETFA | |
2012 - Atual | IECON - Annual Conference of the IEEE Industrial Electronics Society (IES) |
Arbitragem científica em revista
Nome da revista (ISSN) | Editora | |
---|---|---|
2020 - Atual | IEEE Transactions on Automation Science and Engineering | IEEE |
2014 - Atual | IEEE Transactions on Industrial Informatics | IEEE |
2012 - Atual | Microprocessors and Microsystems | Elsevier |
2012 - Atual | Computer Standards & Interfaces | Elsevier |
2016 - 2016 | Real-Time Systems (TIME) | |
2015 - 2015 | Control Engineering Practice | Elsevier |
2014 - 2015 | Science of Computing Programming Journal | Elsevier |
2013 - 2013 | International Journal of Computers Communications & Control |
Curso / Disciplina lecionado
Disciplina | Curso (Tipo) | Instituição / Organização | |
---|---|---|---|
2017/12/01 - Atual | Curso de Educação Continua "Programação Avançada de Autómatos - IEC 61131-3", 2 edições anuais desde 2018 | Universidade do Porto Faculdade de Engenharia, Portugal | |
2013/12 - 2013/12 | Introduction to Embedded Real-Time Systems | Panepistemio Patron, Grécia | |
2011 - 2011 | IEC 61131-3 Programming | Efacec Power Solutions, Portugal | |
2010/06 - 2010/06 | Real-Time Application Development on QNX | (Bachelor) | Technische Universität Wien Forschungsbereich Automation Systems, Áustria |
Membro de comissão
Descrição da atividade Tipo de participação |
Instituição / Organização | |
---|---|---|
2008 - Atual | Member of the Technical Committee TC65 at IEP (Portuguese representative in IEC)
Vogal
|