IVEX is a software company developing technology to guarantee and validate safety-critical decisions taken by autonomous vehicles.

Our vision is to reduce traffic victims to zero by 2030. To achieve this IVEX is developing the best safety co-pilot for autonomous cars. We are passionate about using our skills to save lives.









Software for autonomous multi-agent vehicles is getting very complex. How do you guarantee safety in every possible state of your vehicle? Specifying every state of a vehicle is unscalable with conventional programming methods and is unsafe with data driven probabilistic algorithms.

That makes the development time consuming, hard to guarantee safety, hard to test and error prone.

IVEX brings a solution that enables the developer to guarantee the outcome of its autonomous system according to the specified safety rules.



SAFETY CO-PILOT

SAFETY CO-PILOT

IVEX has designed a safety co-pilot that enables autonomous cars to be safe-by-design and reliable in every possible scenario.


Read more



THE TUMATO TOOL

THE TUMATO TOOL

IVEX provides software tools that automatically generates all possible test vectors, directly from the specification for testing and validation.


Read more







Do you want to know more?

We can give you an online or face-to-face presentation of our solutions. Contact us and we come back to you.

Contact Us