"Embedded Architectures & Systems" Group

Since the 1960s, embedded systems have spread from single-task devices in aeroespacial and military applications to multi-task devices in virtually every application field. For instance, modern vehicles have more than 250 functions implemented with the support of (distributed) embedded devices.
Operating systems are paramount to coordinate the multi-tasking capability, and facilitate the implementation of embedded applications.
Furthermore, with the advent of the Internet of Things and Industry 4.0, the number and diversity of connected embedded devices have been growing rapidly. 
A multitude of devices with different features and requirements are now directly or indirectly connected  through the IoT super-infrastructure.


Embedded Operating Systems

Development, Modeling and Verification of Embedded Operating Systems

Time window: 2014 - Present
Type: Strategic project funded by ITI

Description: This project aims to research and develop operating systems concepts to attend the demand of current and future embedded systems. This goal includes automatic portability, the use of formal methods to assure the correctness of concepts, and solutions for devices with constrained resources and/or with strong dependability requirements, such as maintainability, safety, etc.

Selected publications:

Involved researchers: 

Marcel Baunach
Leandro Batista Riberio
Renata Martins Gomes
Maja Malenko
Tobias Scheipel
Tim Sagaster
Anton Saika
Vignesh Manjunath
Drona Nagarajan
Muhammad Tanveer Ali Ahmad

Embedded Hardware

Embedded Hardware and Reconfigurable Processor Architectures

Time window: 2014 - Present
Type: Strategic project funded by ITI

Description: This project aims to research and develop embedded hardware concepts for the design of current and future embedded systems. This subsumes the research of both dynamic electronics generation approaches as well as reconfigurable processor architecture concepts for resource constrained devices with a special focus on sustainability, long-term maintenance and integration of operating systems awareness.

Selected publications: 

Involved researchers: 

Marcel Baunach
Renata Martins Gomes
Maja Malenko
Tobias Scheipel
Meinhard Kissich
Fabian Mauroner
Peter Brungs
Kristóf Kanics

CompEAS

Compositional Embedded Automotive Systems

Time window: April 2021 – May 2025
Type: Project within the FFG-funded Pro2Future COMET Center (K1)
Cooperation partners: 

  • Elektrobit Automotive GmbH,
  • Infineon AG,
  • Pro2Future GmbH

Description: The aim of CompEAS-BSW is to investigate reliability aspects and the dynamic composition of software and hardware of complex computer platforms or embedded automotive systems (EAS) over the entire system stack. This will bring new and innovative technical concepts into embedded automotive systems, focusing on verification, long-term operation, and maintenance of Classic and Adaptive AUTOSAR environments. This project will address the challenges of transforming conventional automotive software development into a generative approach, formal specification and management of non-functional requirements, modeling of low-level hardware aspects for software verification, transforming validated or tested software into verified software using formal methods and  migration  from monolithic software updates to partial software updates in the field automatic compatibility checks through formal methods before deployment.

Selected publications: 

Involved researchers: 

Marcel Baunach
Leandro Batista Ribeiro
Tobias Scheipel
Vignesh Manjunath
Drona Nagarajan
Muhammad Tanveer Ali Ahmad
Kristóf Kanics

LEAD

Dependable Internet of Things

Time window: January 01, 2016 - March 31, 2022
Type: LEAD research project funded by TU Graz
 

Description: The LEAD Project “Dependable Internet of Things in Adverse Environments” brought together researchers from the departments of Computer Science & Biomedical Engineering and Electrical & Information Engineering at TU Graz in order to provide the scientific foundations for an IoT that works dependably and that is resilient against failures and attacks. The first phase of the project focused on Dependable Computing, while the second phase dealt with Verified Dependability by Design.

Selected publications:

Involved researchers:

Marcel Baunach
Maja Malenko
Anton Saikia

Overview
image/svg+xml
Latest News
image/svg+xml
Scientific publications
image/svg+xml

For a complete list of the scientific publications of our group, click here.

Internal strategic projects
image/svg+xml
Selected cooperation partners
image/svg+xml
EAS Awards
image/svg+xml