Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

 

Academic Degrees:

  • PhD in Electrical and Computer Engineering, University of Porto, 2005.

Main interests and research areas:

  • Industrial Automation and Informatics
  • Industrial Networks
  • Distributed, Embedded, and Real-Time Systems.
  • Safety-related applications

Current Position:

  • Professor at the University of Porto's Engineering Faculty, Department of Electrical and Computer Engineering
  • Researcher at INESC-TEC, Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência

Open source Projects:

  • Main author and maintainer of the matiec compiler for the IEC 61131-3 programming languages. (http://bitbucket.org/mjsousa/matiec)

Selected Research Projects:

  • Researcher for DALÍ – Dynamic logics for cyber physical systems: towards contract based design, (PTDC/EEI-CTP/4836/2014), from Jul 2016 to Jun 2019
  • Consultant to several international companies working with the matiec compiler.
  • Researcher for SAFER – Safety Verification of Robotic Software, (PTDC/EEI-CTP/4675/2014), from 2015 to 2018
  • Coordinator HIPA - High Integrity Process Automation, (EXPL/EEI-AUT/2538/2013), from April 2014 to June 2015.
  • Local Coordinator for 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), from Dec 2013 to Nov 2016 (ongoing)
  • Researcher for Serv-CPS: Server-based Real-Time Ethernet Communication Architecture for Cyber-Physical Systems (PTDC/EEA-AUT/122362/2010) from Feb 2012 to April 2015

Recent Lecturing Activities:

  • Industrial Informatics (Master Program), course re-organization, lectures, lab classes
  • Real-Time Embedded Systems (PhD program), lectures
  • Industrial Computing Architectures, lab classes
  • Embedded Systems, course organization, lectures and lab classes (shared)
  • Systems and Automation, lectures, lab classes
  • Automation, lab classes
  • Concurrent and Reliable Software (PhD program), lectures(shared)
  • Critical Systems (PhD program), lectures (shared)
  • Critical Systems (Masters program), lectures (shared)

Book Chapters:

  • "Programming with the IEC 61131-3 Languages and the MatPLC", Mario de Sousa, Adriano de Carvalho, in “The Industrial Information Technology Handbook”, CRC Press, FL., 2005, ISBN 0-8493-1985-4.
  • “IEC 61499”, Valeriy Vyatkin, Alois Zoitl, Mário de Sousa, in “Industrial Eloectronics Handbook, Part 3 – Industrial Communication Systems”, Bogdan M. Wilamowski (Editor), J. David Irwin (Editor), CRC Press, February 28, 2011 (2 edition), ISBN-13: 978-1439802816
  • “Modbus”, Mário de Sousa, Paulo Portugal, in “Industrial Eloectronics Handbook, Part 3 – Industrial Communication Systems”, Bogdan M. Wilamowski (Editor), J. David Irwin (Editor), CRC Press, February 28, 2011 (2 edition), ISBN-13: 978-1439802816
  • “Fault-Tolerant IEC 61499 Applications”, Mário de Sousa, in “Distributed Control Applications: Guidelines, Design Patterns, and Application Examples with the IEC 61499”, Thomas Strasser, Alois Zoitl (editors), CRC Press, Dec 2015, ISBN 9781482259056

 


Interest
Topics
Details

Details

001
Publications

2017

Nash equilibrium for Proactive Anti-jamming in IEEE 802.15.4e (Emerging wireless sensor actuator technologies for 14.0)

Authors
Homay, A; de Sousa, M; Almeida, L;

Publication
2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)

Abstract
An emerging trend in industry 4.0 is to use wireless communication infrastructure and mesh networks in applications requiring high reliability and safety. Although not a typical industrial production process, railway vehicular networks are also an industrial application which come with stringent reliability and safety requirements. Current research is focusing on using vehicular networks as an enabling technology to actively control the separation between two consecutive vehicles, enforcing a safe distance which is nevertheless much shorter than currently used to maintain vehicle separation. In this respect, we analyze a hopping strategy for Time-Slotted Channel-Hopping (TSCH), which was introduced in the IEEE 802.15.4e amendment with a view of improving the reliability of IEEE 802.15.4 networks. We define a probability framework to estimate the chance of successful hopping assuming two previously merged vehicles, and we design a zero-sum game and propose a payoff function to always place communicating nodes in a Nash equilibrium by choosing whether to hop or not, and therefore maximizing the communication throughput by mitigating jamming signals.

2015

Multiply and Conquer: A Replication Framework for Building Fault Tolerant Industrial Applications

Authors
de Sousa, M; Chrysoulas, C; Homay, AE;

Publication
PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)

Abstract
TIEC 61499 defines an execution model for distributed industrial control applications, i.e. a single application distributed among several devices. In such an environment partial failures are likely to occur. In order to avoid probable system malfunctions and breakdowns due to partial failures, the authors have previously proposed a framework where the concept of replication may be applied to the IEC 61499 execution model. This paper focuses on describing an implementation of this replication framework on the FORTE IEC 61499 execution platform, along with the results of the first tests of the implementation. A set-up for the full validation of the approach is also described.

2015

Ambiguities in IEC 61131-3 ST and IL Expression Semantics

Authors
de Sousa, M;

Publication
PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)

Abstract
One of the aspects that affects the reliability of a software application is the programming language used for its development. In industrial automation applications, the most commonly used languages are those defined in the IEC 61131-3 standard. This work contains an analysis of the semantics of ST and IL expressions, and highlights ambiguities in the standard that might lead to seemingly correct code being executed and evaluated differently in distinct IEC 61131-3 execution environments. Examples of code that may be evaluated to different results are given, and an evaluation of several commercially available IEC 61131-3 compilers is made and compared. A static code analyzer was developed capable of identifying legal IEC 61131-3 code that may result in ambiguous behavior, and this analyzer was used to test source code currently in use in real-world control applications.

2015

Exploiting Voting Strategies in Partially Replicated IEC 61499 Applications

Authors
de Sousa, M; Chrysoulas, C; Homay, AE;

Publication
2015 IEEE WORLD CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS)

Abstract
In a modern industrial environment control programs are distributed among several devices. This raises new issues and challenges especially in failure modes. Building fault tolerant applications can be the solution in order a failure of one sub-component not to jeopardize the execution of the whole application. The authors have proposed a framework to support replicated IEC 61499 applications. In this paper we augment this framework with the support for different voting strategies, propose an extension of the replication communication protocol, and analyse the resulting fault-tolerance semantics. A limited implementation of the framework is also described.

2014

Towards certifiable adaptive reservations for hypervisor-based virtualization

Authors
Groesbrink, S; Almeida, L; De Sousa, M; Petters, SM;

Publication
Real-Time Technology and Applications - Proceedings

Abstract
Hypervisor-based virtualization provides a natural way to integrate formerly distinct systems into a single mixed-criticality multicore system by consolidating in separated virtual machines. We propose an adaptive computation bandwidth management for such architectures, which is compatible with a potential certification based on the guarantee of specified bandwidth minimums and the isolation of overruns of virtual machines. This management uses periodic servers and an elastic task model to combine analyzability at design time with adaptability at runtime. Mode changes or early termination of VMs trigger a resource redistribution that reassigns spare capacity. In this paper we focus on the integration of an adaptive reservation policy into a virtualization software stack and the co-design of hypervisor and paravirtualized guest operating system. In a concrete implementation on a PowerPC 405, the bandwidth distribution policy incurred in a memory footprint below 2.7KB and a worst-case execution time for the redistribution function below 4 microseconds for realistic low numbers of VMs. Simulations over synthetically generated sets of VMs with random mode changes showed a gain of 13% of computation bandwidth when compared to an approach with fixed partitions and provided a relative error of allocated bandwidth to desired bandwidth 4 times lower. © 2014 IEEE.

Supervised
thesis

2017

Ambiente Integrado de Desenvolvimento IEC 61131-3 para Eclipse

Author
Mário David Correia Mendonça

Institution
UP-FEUP

2017

Converting LD to SFC (IEC 61131-3)

Author
Vitor Emanuel Esteves Lopes

Institution
UP-FEUP

2017

Compiler Front-end for the IEC 61131-3 v3 Languages

Author
Bruno Gonçalves Silva

Institution
UP-FEUP

2016

KhronoSim - Critical Software

Author
Catarina Acciaioli Mendes Horta Santos

Institution
UP-FEUP

2016

Mordomo - Sistema de Gestão de Habitação

Author
Emanuel Barbosa da Silva Tiago

Institution
UP-FEUP