WHAT MAKES US UNIQUE

Everything you need to know about our technology 

 

A mathematical model

We rely on formal methods to put in equations the whole car. The resolution of these equations guarantees a correct construction of the system including real-time exchanges between software features

A mathematical model

We rely on formal methods to put in equations the whole car. The resolution of these equations guarantees a correct construction of the system including real-time exchanges between software features

A standardization

We leverage on standard market components. The combination of the best products and technologies ensures optimized and efficient electronics

A standardization

We leverage on standard market components. The combination of the best products and technologies ensures optimized and efficient electronics

Euphilia

Euphilia is our software interaction modeling and specification tool. This formal modeling makes it possible to prove the correct software operation for a robust and reliable design

Euphilia

Euphilia is our software interaction modeling and specification tool. This formal modeling makes it possible to prove the correct software operation for a robust and reliable design

Receef

Receef is the embedded software infrastructure for in-situ monitoring of all communications between application software components distributed on the platform. Any deviation is detected, tracked to enable an immediate countermeasure application

Receef

Receef is the embedded software infrastructure for in-situ monitoring of all communications between application software components distributed on the platform. Any deviation is detected, tracked, to enable an immediate countermeasure application