IKV++

OxidOS

The company develops a secure operating system and development tools for safety-critical automotive electronic control units used by vehicle manufacturers and software developers.

Runtime Verification

This company develops formal verification tools and provides security audits for blockchain protocols and safety-critical embedded systems to ensure software correctness and reliability.

Veecle

This company develops a Rust-based operating system and developer platform for software-defined vehicles, serving automotive manufacturers and industrial hardware suppliers.

CertX SA

This company provides functional safety, cybersecurity and artificial intelligence certification, inspection and training services for industrial, automotive, railway and semiconductor sectors.

Northern Tech Holding

This company provides software for secure over-the-air updates and configuration management of connected devices for enterprise clients in automotive, aviation and manufacturing.

C2A

This company provides automated risk management and compliance software for manufacturers of cyber-physical products in the automotive, medical, and industrial sectors.

ApexAI

This company develops safety-certified software frameworks and middleware for automotive manufacturers and mobility providers to build autonomous driving applications.

Edge Case Research

This company develops safety assurance software for autonomous systems within the automotive, aerospace, and defence sectors.