Dr. rer. nat. Marco Aurelio Wehrmeister
© Marco Wehrmeister
Dr. rer. nat. Marco Aurelio Wehrmeister
Visting Professor
Room 217
Einsteinstrasse 62
48149
Tel: +49 251 83-32422
Fax: +49 251 83-32742
wehrmeister@uni-muenster.de
Consultation hours: Tue, Wed, Thu, 10:00 - 11:00 (a.m.) CET

ORCID: 0000-0002-1415-5527

Google Scholar Profile

Scopus Author Profile

Research ID/Publons Profile

Marco Aurélio Wehrmeister received a Ph.D. degree in Computer Science from the Federal University of Rio Grande do Sul (Brazil) and the University of Paderborn (Germany) in 2009 (double-degree).
In 2009, he worked as a Lecturer and Postdoctoral Researcher for the Federal University of Santa Catarina (Brazil).
From 2010 to 2013, he worked as a tenure track Professor with the Department of Computer Science from the Santa Catarina State University (UDESC, Brazil).
Since 2013, he is working as a Professor with the Department of Informatics from the Federal University of Technology - Paraná (UTFPR, Brazil).
From 2014 to 2016, he was the Head of the M.Sc. course on Applied Computing of UTFPR.
In 2015, Prof. Dr. Wehrmeister was a Visiting Fellow (short stay) with the School of Electronic, Electrical, and Systems Engineering from the University of Birmingham (UK).
In 2018, he received a research productivity grant/award from Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico do Estado do Paraná (FAPPR).
Since October 2021, Prof. Dr. Wehrmeister is on a leave from UTFPR and joined the Computer Science Department of the University of Münster (Germany) as a Visiting Research Fellow.
Prof. Dr. Wehrmeister's thesis was selected by the Brazilian Computer Society as one of the six best theses on Computer Science in 2009.
He is a member of the special commission on Computing Systems Engineering (CE-ESC) of the Brazilian Computer Society; from 2018-2020 he was the elected chair of CE-ESC.
Prof. Dr. Wehrmeister is also a member and currently the vice-chair of the IFIP Working Group 10.2 on Embedded Systems.

His research interests are on various topics covering

  • Cyber-Physical Systems and Embedded Real-Time Systems
  • Aerial Robots (Multirotor Unmanned Aerial Vehicle, a.k.a. Drones)
  • Model-Driven Engineering
  • Hardware/Software engineering and co-design

Prof. Dr. Wehrmeister has co-authored many papers and book chapters in international peer-reviewed journals, conference proceedings, and international peer-reviewed books.
He has been a reviewer for various international journals, as well as a member of the technical program committee of various international conferences and symposiums.
Finally, Prof. Dr. Wehrmeister has been involved in various research projects funded by Brazilian Companies and R&D agencies, especially on model-driven engineering of cyber-physical systems and aerial robots targeting search & rescue and industrial applications, as well as assets and equipment inspection.

Research Projects - Theses supervision

Aspect-Oriented Model-Driven Engineering for Real-Time systems (AMoDE-RT)

AMoDE-RT is a Model-Driven Engineering (MDE) approach tailored for embedded and real-time systems. It combines the use of the UML, plus its MARTE profile, along with concepts of the Aspect-Oriented Software Development (AOSD) to deal with the system's crosscutting concerns. A toolset supports AMoDE-RT: (a) an automated code generation tool that supports a flexible and configurable code generation approach. It is possible to transform a UML model into source code for (virtually) any given target execution platform, including both software and hardware (FPGA); (b) an automated testing tool that can execute a set of test cases on the UML model while the specification is still created and is partially completed.

Example topics for Bachelor theses are (not limited to):

  • Automated Code Generation for EV3RT Applications with AMoDE-RT (jointly supervised by Prof. Wehrmeister and Prof. Herber)
  • Modeling Intelligent Autonomous Robots in AMoDE-RT: A case study (jointly supervised by Prof. Wehrmeister and Prof. Herber)
  • Towards Open-Source (re)implementation of AMoDE-RT toolset
  • Automated Python Code Generation from UML/SysML with AMoDE-RT toolset

Example topics for Master theses are (not limited to):

  • Automated Verification of Crosscutting Concerns in AMoDE-RT Models (jointly supervised by Prof. Wehrmeister and Prof. Herber)
  • Automated Verification of Code Generated from AMoDE-RT Models (jointly supervised by Prof. Wehrmeister and Prof. Herber)
  • Automated generation of Digital (and Physical) Twins from UML/SysML model through AMoDE-RT
  • Integrating Artificial Intelligence approaches/methods into AMoDE-RT to design Inteligent Cyber-Physical Systems
  • Automated Verilog/SystemC Code Generation from UML/SysML with AMoDE-RT toolset
  • Using High-Level Models to partition Hardware/Software implementations of complex embedded systems' services through Automated Code Generation

 

 

Autonomous Aerial Robots (Multirotor Unmanned Aerial Vehicles - a.k.a. Drones)

Search and Rescue Applications

This project aims to create a platform composed by many autonomous and intelligent aerial robots (Multirotor Unmanned Aerial Vehicles, also known as Drones), as well as mobile computing devices (e.g. tablets, smartphones), in order to assist rescue teams in the identification of persons needing help. Besides reducing operational costs during natural disaster situations, such a platform will allow recuse teams perform search task without sending their members in loco. This project addresses several problems, such as: (i) robot navigation and collision avoidance; (ii) digital image processing to identify persons needing assistance; (iii) communication between mobile robots (drones) and the base station (computing device); (iv) communication and coordination among many drones; (v) hardware/software co-design and tasks partitioning for drones and the base station; among others.

Industrial Assets Inspection for Oil, Energy, and Manufacturing Industries

The project aims to develop an inspection and evaluation system for high voltage overhead lines based on a small autonomous flying vehicle (UAV). With the development of this system, inspection costs would be greatly reduced, in addition to the need for human and technical resources. The fact that the vehicle navigates autonomously will also bring more safety to its operators and the system, as several collision detections and distance maintenance mechanisms are implemented, preventing the operator from having to rely solely on their ownability to navigate the equipment.

Example topics for Bachelor theses are (not limited to):

  • Developing Digital Twins for Aeria Robots in the context of Industry Applications
  • Digital Twins Online Synchronization for Aeria Robots Using the Robot Operating System (ROS)
  • Developing Real-World Case Studies for Aerial Robots Simulations

Example topics for Master theses are (not limited to):

  • Using Swarm of Aerial Robots for Inspections in the Oil/Gas Industry
  • Using Swarm of Aerial Robots to Assist the Manufacturing Process
  • Monitoring Industrial Assets through a Swarm of Aerial Robots
  • Coordinating a Swarm of Aerial Robots to Perform Complex Missions through Argumentation-based Agents Approach
  • Cooperative Mapping Approach for Indoor Environment using a Swarm of Heterogeneous Robots