Theme 2 – Trustworthy Software Certification Methods

“Trustworthy Software Certification Methods” researches certification for mobility software products contributing to the societal challenges of climate change and AI revolution. Theme 2 therefore goes beyond the current state of the art, which primarily certifies processes, to provide dependable software for autonomous vehicles.

Certification is the basis for verifiable trust in software systems. The objective of Theme 2 is to develop technically and formally checked dependability and resilience analyses that can support regulated certification and thereby increase trust in and sovereignty of future Mobility systems. The Theme’s methods will also help translate privacy obligations from digital society into checkable architectural requirements and concrete architectural design advice, ensuring that confidentiality demands can be systematically implemented and verified.

The scientific challenge of Theme 2 is that, formal analyses are currently often too costly or technically infeasible for software-intensive systems. Mobility systems with millions of lines of code, AI components, and multi-vendor supply chains exceed what current certification can handle. Theme 2 will address this with AI-assisted generation and compositional verification, enabling formal yet feasible certification.