???global.info.a_carregar???
Identification

Personal identification

Full name
Mário Jorge Rodrigues de Sousa

Citation names

  • Sousa, Mário
  • de Sousa, Mario

Author identifiers

Ciência ID
BC10-6494-18F1
ORCID iD
0000-0001-7200-1705

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Automation and Control Systems
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Computer Hardware and Architecture
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Beginner (A1) Intermediate (B1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2005
Concluded
 Engenharia Electrotécnica e de Computadores (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
1996
Concluded
 Engenharia Eletrotécnica e de Computadores (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
1992
Concluded
 Engenharia Electrotécnica e de Computadores (Licenciatura)
Universidade do Porto Faculdade de Engenharia, Portugal
 17
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2005 - Current Assistant Professor (University Teacher) Universidade do Porto, Portugal
Projects

Contract

Designation Funders
1992/09/01 - Current CIM Centre of Porto
ESPRIT 5629
Researcher
2022/10/01 - 2025/09/30 CONNECT5
PRR - 766
Researcher
Universidade do Porto Faculdade de Engenharia, Portugal
 Agência para a Competitividade e Inovação IP
Ongoing
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
Researcher
Universidade do Porto Faculdade de Engenharia, Portugal
Concluded
2019/04/01 - 2022/09/30 Safe Cities - Inovação para Construir Cidades Seguras
POCI-01-0247-FEDER-041435
Researcher
2020/05/20 - 2020/08/31 R&D related to IEC 61131-3, Beremiz IDE and matiec compiler
FEUP/Smarteh/2020-76761
Principal investigator
2017/07/04 - 2018/12/31 R&D related to IEC 61131-3, Beremiz IDE and matiec compiler
FEUP/EQUA/2017-71331
Principal investigator
2017/06/14 - 2017/12/31 R&D related to IEC 61131-3, Beremiz IDE and matiec compiler
FEUP/Smarteh/2017-71333
Principal investigator
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
Principal investigator
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
Principal investigator
Concluded
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
Principal investigator
Concluded
2012/01/01 - 2015/04/01 Serv-CPS: Server-based Real-Time Ethernet Communication Architecture for Cyber-Physical Systems
PTDC/EEA-AUT/122362/2010
2015/03 - 2015/04 R&D related to IEC 61131-3, Beremiz IDE and matiec compiler
FEUP/Smarteh/2015-67938
Principal investigator
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
Researcher
2009 - 2010 Prosinal
FEUP/EFACEC/2009/04
Principal investigator
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
Outputs

Publications

Book chapter
  1. de Sousa, Mario. "Fault-Tolerant IEC 61499 Applications". In Distributed Control Applications: Guidelines, Design Patterns, and Application Examples with the IEC 61499, 161-185. CRC Press, 2017.
    Published
  2. de Sousa, Mario; Portugal, Paulo. "Modbus". In The Industrial Electronics Handbook, 35-1-35-16. CRC Press, 2011.
  3. de Sousa, Mario; Vyatkin, Valeriy; Zoitl, Alois. "Communication Aspects of IEC 61499 Architecture". 54-1-54-22. 2011.
  4. de Sousa, Mario; Carvalho, Adriano. "Programming with the IEC 61131-3 Languages and the MatPLC". In The Industrial Information Technology Handbook, 65-1-65-21. 2004.
Conference paper
  1. Homay, Aydin; de Sousa, Mario; Zoitl, Alois; Wollschlaeger, Martin. "Coupling and Decoupling in IEC 61499 and IEC 61131-3 Applications". Stuttgart, 2022.
    Published • 10.1109/etfa52439.2022.9921472
  2. Homay, Aydin; Wollschlaeger, Martin; de Sousa, Mario; Zoitl, Alois. "Impact of Modularization and Coupling on the Complexity of Industrial Control and Automation Systems". Stuttgart, 2022.
    Published • 10.1109/etfa52439.2022.9921695
  3. Catalao, Tiago; de Sousa, Mario. "IEC 61131-3 Front-End for the LLVM Compiler Family". Vienna, 2020.
    Published • 10.1109/etfa46521.2020.9211921
  4. Homay, Aydin; de Sousa, Mario; Zoitl, Alois; Wollschlaeger, Martin. "Service Granularity in Industrial Automation and Control Systems". 2020.
    10.1109/etfa46521.2020.9212048
  5. Homay, Aydin; Chrysoulas, Christos; de Sousa, Mario. "Authentication Layer for IEC 61113-3 Applications". 2019.
    10.1109/ntms.2019.8763839
  6. de Sousa, Mario. "The Beremiz PLC: Adding Support for Industrial Communication Protocols". 2019.
    10.1109/etfa.2019.8869526
  7. Homay, Aydin; Zoitl, Alois; de Sousa, Mario; Wollschlaeger, Martin. "A Survey: Microservices Architecture in Advanced Manufacturing Systems". 2019.
    10.1109/indin41052.2019.8972079
  8. Santos, Adriano A.; de Sousa, Mario. "Replication Strategies for Distributed IEC 61499 Applications". 2018.
    10.1109/iecon.2018.8592737
  9. Santos, Adriano A.; Silva, Antonio F.; de Sousa, Mario; Magalhaes, Pessoa. "An IEC 61499 Replication for Distributed Control Applications". 2018.
    10.1109/indin.2018.8471958
  10. de Sousa, Mario. ""Multi-agent based uncoordinated channel hopping in the IEEE 802.15.4e"". Paper presented in 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017, 2017.
  11. Lopes, Vitor; de Sousa, Mario. "Algorithm and tool for LD to SFC conversion with state-space method". 2017.
    10.1109/indin.2017.8104834
  12. Homay, Aydin; de Sousa, Mario; Almeida, Luis. "Nash equilibrium for proactive anti-jamming in IEEE 802.15.4e (Emerging wireless sensor actuator technologies for I4.0)". 2017.
    10.1109/indin.2017.8104764
  13. Silva, Bruno Goncalves; de Sousa, Mario. "Internal inconsistencies in the third edition of the IEC 61131-3 international standard". 2016.
    10.1109/etfa.2016.7733649
  14. Homay, Aydin; de Sousa, Mario. "Multi-cast authentication framework for distributed control systems based on IEC 61499". 2016.
    10.1109/etfa.2016.7733666
  15. Homay, Aydin; Martins, Antonio Pina; de Sousa, Mario; Kashefi, Fred. "Message security for automation and control applications based on IEC61131-3". 2016.
    10.1109/ftc.2016.7821724
  16. de Sousa, Mario. ""Instruction Authenticator Framework for Distributed Control Systems based on IEC 61131-3"". Paper presented in 26th International Conference on Flexible Automation and Intelligent Manufacturing (FAIM 2016), 2016.
  17. de Sousa, Mario. ""Designing a Flexible and Inexpensive Laboratory for Teaching Industrial Communication Systems"". Paper presented in EDULEARN16 Conference, 2016.
  18. de Sousa, Mario. ""Building Fault Tolerant Industrial Applications Based on IEC 61499"". Paper presented in International Conference on Flexible Automation and Intelligent Manufacturing (FAIM 2015), 2015.
  19. de Sousa, Mario. ""Tolerating Partial Failures on IEC 61499 Applications"". Paper presented in APRES 2015 - 7th Workshop on Adaptive and Reconfigurable Embedded Systems, 2015.
  20. de Sousa, Mario; Chrysoulas, Christos; Homay, Aydin E.. "Exploiting voting strategies in partially replicated IEC 61499 applications". 2015.
    10.1109/wfcs.2015.7160589
  21. de Sousa, Mario; Chrysoulas, Christos; Homay, Aydin E.. "Multiply and conquer: A replication framework for building fault tolerant industrial applications". 2015.
    10.1109/indin.2015.7281930
  22. de Sousa, Mario. "Ambiguities in IEC 61131-3 ST and IL expression semantics". 2015.
    10.1109/indin.2015.7281925
  23. de Sousa, Mario. "Guaranteeing replica determinism on IEC 61499". 2014.
    10.1109/etfa.2014.7005199
  24. Groesbrink, Stefan; Almeida, Luis; de Sousa, Mario; Petters, Stefan M.. "Towards certifiable adaptive reservations for hypervisor-based virtualization". 2014.
    10.1109/rtas.2014.6925987
  25. de Sousa, Mario. ""On analysing the semantics of IEC61131-3 ST and IL applications"". Paper presented in 23th International Conference on Flexible Automation and Intelligent Manufacturing, FAIM 2013, 2013.
  26. de Sousa, Mario. ""Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality ScopeExportar publicação no formato APA"". Paper presented in APRES 2013 - 5th Workshop on Adaptive and Reconfigurable Embedded Systems, 2013.
  27. de Sousa, Mario; Sobreira, Heber. "On adding IEC61131-3 support to ROS based robots". 2013.
    10.1109/etfa.2013.6648142
  28. de Sousa, Mario. ""A Real-Time Resource Manager for Linux-based Distributed Systems"". Paper presented in IEEE Real-Time Systems Symposium, 2011 (RTSS'2011), 2011.
  29. Marau, R; Almeida, L; Sousa, M; Pedreiras, P. "A middleware to support dynamic reconfiguration of real-time networks". 2010.
    10.1109/etfa.2010.5641306
  30. de Sousa, M. "Analyzing the compatibility between ISA 88 and IEC 61499". 2010.
    10.1109/etfa.2010.5641308
  31. de Sousa, Mario. ""The real-time MatPLC"". Paper presented in International Conference on Real-Time and Networked Systems (RTNS 2006), 2006.
  32. de Sousa, Mario. ""On Adding Support for Real-Time and Distributed Applications to the MatPLCExportar publicação no formato APA"". Paper presented in 11th IFAC Symposium on Information Control Problems in Manufacturing - INCOM 2004, 2004.
  33. de Sousa, M.; Carvalho, A.. "An IEC 61131-3 compiler for the MatPLC". 2003.
    10.1109/etfa.2003.1247746
  34. de Sousa, Mario. ""Open Control Systems"". Paper presented in 3rd Real-Time Linux Workshop, 2001.
  35. de Sousa, Mario. ""Mapping Synchronisation Protocols onto Real-Time CORBA"". Paper presented in International Symposium on Distributed Objects and Applications, 2000.
  36. de Sousa, Mario. ""Synchronisation issues of RT CORBA threadsExportar publicação no formato APA"". Paper presented in International Conference on Parallel and Distributed Processing Techniques - PDPTA'99, 1999.
  37. de Sousa, Mario. "" Distributed Architectures for Integration of manufacturing Control Applications"". Paper presented in Controlo 96, 2th Portuguese Conference on Automatic Control, 1996.
  38. Carvalho, A.; Sousa, M.; Portugal, P.; Tovar, E.; Oliveira, J.; Alves, M.. "Towards CIM by integrating manufacturing applications and legacy subsystems in an heterogeneous environment". 1996.
    10.1109/iecon.1996.570607
Journal article
  1. De Sousa, M.. "Data-type checking of IEC61131-3 ST and IL applications". IEEE Symposium on Emerging Technologies and Factory Automation, ETFA (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84876376941&partnerID=MN8TOARS.
    10.1109/ETFA.2012.6489534
  2. Santos, A.A.; De Sousa, M.. "Replication in distributed systems using IEC 61499 standard". Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010 (2010): http://www.scopus.com/inward/record.url?eid=2-s2.0-78650542346&partnerID=MN8TOARS.
    10.1109/ETFA.2010.5641331
  3. De Sousa, M.. "Analyzing the compatibility between ISA 88 and IEC 61499". Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010 (2010): http://www.scopus.com/inward/record.url?eid=2-s2.0-78650539607&partnerID=MN8TOARS.
    10.1109/ETFA.2010.5641308
  4. De Sousa, M.. "Proposed corrections to the IEC 61131-3 standard". Computer Standards and Interfaces 32 5-6 (2010): 312-320. http://www.scopus.com/inward/record.url?eid=2-s2.0-77955329014&partnerID=MN8TOARS.
    10.1016/j.csi.2010.03.006
  5. Restivo, A.; De Sousa, M.. "Simulator and scale model of an industrial manufacturing cell". IECON Proceedings (Industrial Electronics Conference) (2009): 2488-2493. http://www.scopus.com/inward/record.url?eid=2-s2.0-77951528573&partnerID=MN8TOARS.
    10.1109/IECON.2009.5415225
  6. De Sousa, M.. "Restricting IEC 61131-3 programming languages for use on high integrity applications". IEEE Symposium on Emerging Technologies and Factory Automation, ETFA (2008): 361-368. http://www.scopus.com/inward/record.url?eid=2-s2.0-56349109497&partnerID=MN8TOARS.
    10.1109/ETFA.2008.4638419
  7. Santos, A.A.; De Sousa, M.. "Framework for management of replicated IEC 61499 applications". IEEE Symposium on Emerging Technologies and Factory Automation, ETFA (2008): 200-206. http://www.scopus.com/inward/record.url?eid=2-s2.0-56349124707&partnerID=MN8TOARS.
    10.1109/ETFA.2008.4638393
  8. Tisserant, E.; Bessard, L.; De Sousa, M.. "An open source IEC 61131-3 integrated development environment". IEEE International Conference on Industrial Informatics (INDIN) 1 (2007): 183-187. http://www.scopus.com/inward/record.url?eid=2-s2.0-39749116876&partnerID=MN8TOARS.
    10.1109/INDIN.2007.4384753
  9. De Sousa, M.; Santos, A.A.. "Management of replicated IEC 61499 applications". IEEE International Conference on Industrial Informatics (INDIN) 1 (2007): 231-236. http://www.scopus.com/inward/record.url?eid=2-s2.0-39749096008&partnerID=MN8TOARS.
    10.1109/INDIN.2007.4384761
  10. De Sousa, M.; Carvalho, A.; Ferreira, R.. "Embedding the MatPLC". IEEE Symposium on Emerging Technologies and Factory Automation, ETFA 2 2 OF 2 V (2005): 917-922. http://www.scopus.com/inward/record.url?eid=2-s2.0-33847321227&partnerID=MN8TOARS.
  11. De Sousa, M.. "MatPLC - The truly open automation controller". IECON Proceedings (Industrial Electronics Conference) 3 (2002): 2278-2283. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036957043&partnerID=MN8TOARS.
    10.1109/IECON.2002.1185327
  12. Carvalho, A.S.; de Sousa, M.J.. "Development of an ORB for distributed manufacturing applications". IEEE International Workshop on Factory Communication Systems, WPCS, Proceedings, (1997): 255-260. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031362250&partnerID=MN8TOARS.
Magazine article
  1. de Sousa, Mario. "Linux-Based PLC for Industrial ControlExportar publicação no formato APA", Embedded Linux Journal, 2001
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2019 - Current Flexible Industrial Automation Systems - Microservices Architecture for Industrial Automation Systems
Co-supervisor
2019 - Current Reverse Engineering of IEC 61131-3 Programs
Supervisor
2020/01 - 2020/08/24 An LLVM Based Compiler for the IEC 61131-3
Supervisor
2013 - 2020/06/09 Replicação em Sistemas Distribuídos utilizando a Norma IEC 61499
Supervisor
2019 - 2019/07/16 Designing a Decision Support System to Improve Urban Mobility
Supervisor
2019 - 2019/02/06 Uso da stack ELK no Diagnóstico de Problemas em Sistemas SCADA em Produção
Supervisor
2019 - 2019/02/06 Predicting Stack Use in Embedded Software Applications
Supervisor
2018 - 2018/07/13 Atualização Automática de sistemas SCADA em produção
Supervisor
2018 - 2018/07/13 OPC UA support for Beremiz softPLC
Supervisor
2017 - 2017/07/18 IPBrick- Plataforma de testes automáticos
Supervisor
2017 - 2017/07/13 Ambiente Integrado de Desenvolvimento IEC 61131-3 para Eclipse
Supervisor
2017 - 2017/07/13 Converting LD to SFC (IEC 61131-3)
Supervisor
2017 - 2017/02/17 Compiler Front-end for the IEC 61131-3 v3 Languages
Supervisor
2016 - 2016/07/19 Mordomo - Sistema de Gestão de Habitação
Supervisor
2016 - 2016/02/19 Ambiente de desenvolvimento integrado para programação IEC 61131-3
Supervisor
2016 - 2016/02/19 hronoSim - Critical Software
Supervisor
2015 - 2015/10/13 Ambiente Integrado em Eclipse para Desenvolvimento de Programas IEC 61131-3
Supervisor
2015 - 2015/07/17 Automatic inconsistency detection in a logistic world model (european project STAMINA)
Supervisor
2015 - 2015/07/14 SCADA em Androide
Supervisor
2015 - 2015/07/14 Low energy communication network for control and supervision of hydroponic farms
Supervisor
2015 - 2015/02/20 Conversor entre linguagens IEC61131-3
Supervisor
2014 - 2014/09/26 Impressora 3D com LinuxCNC
Supervisor

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2021 - 2021 19th IEEE International Conference on Industrial Informatics - INDIN 2021 Track co-chair (2021/07/21 - 2021/07/23)
Conference (Member of the Scientific Committee)
2020 - 2020 16th IEEE International Conference on Factory Communication Systems - WFCS 2020 Financial co-chair (2020/04/27 - 2020/04/29)
Conference (Member of the Organising Committee)
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)
Conference (Member of the Scientific Committee)
2018 - 2018 INDIN 2018: General co-chair and conference organiser (2018)
Conference (President of the Organising Committee)

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2020/10/16 Can and Ethernet bus sniffer
President of the jury
 João Francisco Sá Santos (Master)
2020/10/12 Opportunist Maintenance Intelligent System for Failures Prediction and Planning Optimization
President of the jury
 Beatriz Correia Araújo (Master)
2020/07/16 Gestão avançada de manutenção
President of the jury
 Carlos Daniel Pais Barros (Master)
2020/07/16 Implementação de uma ferramenta de cálculo de tempos de processo
President of the jury
 Luís Carlos Gonçalves Oliveira (Master)
2018/11/06 Scheduling Parallel Real-Time Tasks in Multiprocessor Platforms Cláudio Roberto Ribeiro Maia (PhD)
2018/05/15 Dynamic Hierarchical Bandwidth Reservations for Switched Ethernet Zahid Iqbal (PhD)
2018/04/10 Aerial Multi-hop Sensor Networks Luis Miguel Ramos Barbara Cunha Pinto (PhD)
2017/05/23 Integrating Dataflow and Non-Dataflow Real-time Application Models on Multi-core Platforms Hazem Ismail Abdelaziz Ali (PhD)
2016/07/12 Schedulability Analysis of Multiprocessor Real-time Systems Using Pruning Artem Burmyakov (PhD)
2016/02/16 A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems Ricardo Garibay Martínez (PhD)
2015/04/24 Many-Core Platforms in the Real-Time Embedded Computing Domain Borislav Nikolic (PhD)
2015/04/23 Real-time Limited Preemptive Scheduling José Manuel Silva dos Santos Marinho (PhD)
2014/07/16 Energy and Temperature Aware Real-Time Systems Muhammad Ali Awan (PhD)
2014/04/09 Timing Analysis of Real-Time Systems Considering the Contention on the Shared Network Interconnection in MultiCores Dakshina N Dasari (PhD)
2014/03/11 Real-Time Scheduling on Heterogeneous Multiprocessors
Thesis Member
 Gurulingesh Raravi (PhD)
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 (PhD)
Università degli Studi di Genova, Italy

Committee member

Activity description
Role 		Institution / Organization
2008 - Current Member of the Technical Committee TC65 at IEP (Portuguese representative in IEC)
Member

Conference scientific committee

Conference name Conference host
2013 - Current IEEE Conference on Emerging Technologies and Factory Automation (ETFA)
2013 - Current IEEE International Conference on Emerging Technologies and Factory Automation - ETFA
2012 - Current IECON - Annual Conference of the IEEE Industrial Electronics Society (IES)

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2017/12/01 - Current 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, Greece
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, Austria

Journal scientific committee

Journal title (ISSN) Publisher
2020 - Current IEEE Transactions on Automation Science and Engineering IEEE
2014 - Current IEEE Transactions on Industrial Informatics IEEE
2012 - Current Microprocessors and Microsystems Elsevier
2012 - Current 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