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:

• A Formal Modeling Approach for Portable Low-Level OS Functionality, SEFM'20
• Towards Automatic SW Integration in Dependable Embedded Systems, EWSN'20
• SmartOS: An OS Architecture for Sustainable Embedded Systems, FG BS'22
• A Co-Designed RTOS and MCU Concept for Dynamically Composed Embedded Systems, OSPERT'17
• Protection and Relocation Extension for RISC-V, CARRV'22
• Verifying Liveness and Real-Time of OS-Based Embedded Software, DSD'22
• Smart mobility of the future – a challenge for embedded automotive systems, E&L Magazine'18

Involved researchers: 

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: 

• mosartMCU: Multi-Core Operating-System-Aware Real-Time Microcontroller, MECO'18
• papagenoPCB: An Automated Printed Circuit Board Generation Approach for Embedded Systems Prototyping, ICONS'19
• papagenoX: Generation of Electronics and Logic for Embedded Systems from Application Software, SENSORNETS'20
• moreMCU: A Runtime-reconfigurable RISC-V Platform for Sustainable Embedded Systems, DSD'22

Involved researchers: 

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: 

• Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation, GI FB'22
• Opening statement by Marcel Baunach, STS'22

Involved researchers: 

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:

• Real-Time and Security Requirements for the Internet of Things Operating Systems, ECHTZEIT'16.
• TIMBER-V: Tag-Isolated Memory Bringing Fine-grained Enclaves to RISC-V, NDSS'19.
• XTENSTORE: Fast Shielded In-memory Key-Value Store on a Hybrid x86-FPGA System, DATE'22
• Protection and Relocation Extension for RISC-V, CARRV'22

Involved researchers: