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