AI4CS
Agentic AI for Critical System Software Development
Project description
AI4CS introduces agentic AI as both an efficiency driver and a safety guardian. Agents automate verification, bug detection, compliance documentation, and phase synchronization, cutting manual effort and accelerating updates. At the same time, they extend into safety modelling and interface management, interpreting verification results, monitoring runtime behaviour, and ensuring consistency across subsystems. This dual role enables AI4CS to deliver faster, traceable development cycles while reinforcing resilience and trustworthy functionality across complex system of systems.
Austria
g.tec medical engineering GmbH
Austria
NumeriCor GmbH
Austria
Belgium
Canada
EERS 2Live
Canada
Finland
Aalto University
Finland
Gofore Finland Oy
Finland
Mipro Oy
Finland
MVision AI
Finland
Pandatron Oy
Finland
Plugit Finland Oy
Finland
Tampere University
Finland
Vaisto Solutions Oy
Finland
Germany
ETAS GmbH
Germany
FZI Forschungszentrum Informatik
Germany
Nisar Autonomy GmbH
Germany
TWT GmbH Science & Innovation
Germany
Portugal
TWEVO S.A.
Portugal
The Netherlands
Amsterdam UMC
The Netherlands
CORDIS Automation B.V.
The Netherlands
Eindhoven University of Technology
The Netherlands
Imricor B.V.
The Netherlands
Philips Electronics Nederland BV
The Netherlands
Philips Medical Systems Nederland BV
The Netherlands
PS-Tech BV
The Netherlands
Türkiye
United Kingdom
LeanGains
United Kingdom