This picture depicts the cockpit of a self-driving car. The person sitting in the driving seat is reading a journal while the car is driving autonomously.

Research

The image represents an humanoid that thinks to take automatically a decision.

Autonomous decision-making

This image contains two self-driving cars with mathematical equations on the side that is a symbol for modeling requirements.

Automated Requirement Engineering

[A dynamic depiction of self-driving cars being tested in a digital twin environment, focusing on scenario-based testing.] Text generated by ChatGPT4

Testing Autonomous Cyber-Physical Systems

This picture depict a high-tech system with a locker in the center, that is a symbol for safety and security.

Dependability and Reliability

[A conceptual illustration depicting the verification and testing of machine learning and AI components. The image should portray a high-tech laboratory] Text generated by ChatGPT4

Verification and testing of AI and machine learning components

[A detailed representation of the design processes for Safety Critical Autonomous Systems. The image should depict a professional and high-tech design.] Text generated by ChatGPT4

Design Processes for Safety-Critical Autonomous Systems

[A visual depiction of continuous integration and continuous development (CI_CD) in the context of autonomous cyber-physical systems.] Text generated by ChatGPT4

Continuous Development and Continuous Integration

[A detailed image showcasing time-predictable hardware architectures in a high-tech environment. ] Text generated by ChatGPT4

Time-predictable Hardware Architectures

[A conceptual image showcasing formal methods in computer science, with a focus on a detailed diagram of a state machine drawn on a blackboard.] Text generated by ChatGPT4

Automated Reasoning

[A conceptual representation of Sustainable Energy-Aware Cyber-Physical Systems. The image should depict an advanced, eco-friendly technological environment.] Text generated by ChatGPT4

Energy-Aware Cyber-Physical Systems

[An illustration showcasing embedded machine learning or TinyML. The image features a miniature computer board embedded with various electronic components]. Text generated with ChatGPT4

Ultra-low power Embedded Machine Learning (TinyML)

[A conceptual illustration of ethical-sensitive autonomous cyber-physical systems. The image portrays a futuristic scene with advanced robotics and humans interacting in an ethical way.] Text generated by ChatGPT4

Ethically-sensitive Autonomous Cyber-Physical Systems