With this new logo CLEARSY affirms its positioning in designing safety solutions. Bringing together high-level engineers and doctors, design and technicality are at the heart of its DNA.
The application of the B Formal method, based on mathematics and proof, are key elements: the system’s safety reasoning is mathematically demonstrated, as the software embedded in the system is.
In a complex world, in which an operator cannot afford to choose between user safety and service availability, CLEARSY creates dedicated solutions: availability and safety are only possible with tailor-made solutions.
The complexity and interactions between systems and individuals are increasing. In a world where the future that is taking shape will be marked by increasing automation through artificial intelligence, solutions based on formal reasoning allow CLEARSY to promise everyone a safer world.