Evaluation of safety software
Ever since it was founded, ClearSy has applied its skills and technical expertise in modeling and engineering tools.
ClearSy’s activity centers on the constraints of operational safety. ClearSy aims at a wide range of partners, from industry to contractors as well as certification agencies responsible for specifiying, confirming, probating, or certifying their systems and software.
At the same time, ClearSy’s activities also involve safety management (safety plan, safety file) as well as the required safety analysis for systems or the component software.
From the Atelier B tool which it develops and distributes, ClearSy has acquired a complete masterty of formal methods which today provide it with an expertise in the highest level of software safety as well as the confidence of large contractors such as Alstom, Peugeot, DGA, Cybernetix, CEA, etc.
In the framework of the high safety levels required by the 61508, 50128, and DO178 standards, the use of formal methods is highly recommended.
Development of safety software:
Due to the use of modeling technique, ClearSy is innovative in the development of software packages.
To accomplish this, ClearSy bases its approach on the entire set of documents provided by the customer, expressed in natural language and including the specifications related to the software product. The formal methods allow the Company to model the latter while guaranteeing its conformity while also adapting it as much as possible for the constraints of the contractor.
Developing safety software involves ensuring its proper operation and the impossibility of its executing dangerous actions. It also implies a thorough and rigorous mastery of their operation.
Therefore, ClearSy uses its knowledge to meet the highest requirements of safety software through safety instructions developed in a structured, clear, unequivocal, verifiable, testable, and maintainable manner, completely unambiguous for the document users at all stages of the development cycle.