AI4CS
Agentic AI for Critical System Software Development
Project description
AI4CS tackles a key European challenge: accelerating the development of safety-critical software while ensuring strict compliance with standards in the transportation, medical, and industrial automation sectors, as well as the EU AI Act. Current processes, which rely heavily on manual verification and rigid workflows, slow down innovation and competitiveness. AI4CS introduces intelligent AI agents that act as both efficiency boosters and safety guardians, automating checks, detecting bugs, managing documentation, and keeping development stages in sync. This dual role enables faster, traceable development cycles and builds trust across complex, interconnected 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
FZI Forschungszentrum Informatik
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