CLEARSY: PRODUCTION OF CERTIFIED TURNKEY SAFETY SYSTEMS
CLEARSY assists its customers in the complete management of the safety properties of an electronic system.
This support ranges from system specification to operational implementation (installation, commissioning, operational maintenance….), including certification by certification authorities (TÜV, Bureau Veritas, Certifer, etc.).
This “TURNKEY” solution support allows the client to benefit from the CLEARSY internal design process. This internal CLEARSY process allows, in fact, to deal with dreaded system events with frequencies of occurrence lower than 10-9 occurrences per hour (corresponding to SIL4 level).
Today, CLEARSY’s know-how in the field of electronic safety systems design is widely recognised and appreciated by industrial sectors confronted with dangerous feared events (risk of death of people).
A LABORATORY OF EXCELLENCE IN SAFETY ELECTRONICS
In order to be as close as possible to the rigours of safety system design,
CLEARSY has created a laboratory of excellence in safety electronics, able to address specific needs such as
– Intrinsic safety design
– Design assistance
– Safety evaluation
EVALUATION OF SAFE SOFTWARE
Since its creation, CLEARSY brings its skills and technical feedback in modelling and engineering tools.
CLEARSY’s activity is based on safety and operational constraints. CLEARSY addresses a wide range of interlocutors, from the industrialist to the client, including the certification authorities in charge of developing, validating, approving or certifying their systems and software.
Similarly, CLEARSY’s activities cover both safety management activities (safety plan, safety file) and the safety analyses required for systems or software components.
From the Atelier B tool that it develops and distributes, CLEARSY has acquired a total mastery of formal methods which today gives it an expertise in the highest levels of software safety, as well as the confidence of major clients such as Alstom, Peugeot, the DGA, Cybernetix, CEA…
Within the framework of the high levels of security required by the 61508, 50128 and DO1778 standards, the use of formal methods is highly
Thanks to the use of modelling techniques, CLEARSY innovates in the field of fixed price software development.
To do this, CLEARSY relies on a set of documents provided by the client, expressed in natural language, and including the specifications related to the software product. The formal methods will allow the latter to be modelled while guaranteeing both its conformity and its adaptation to the client’s constraints.
Developing safe software means ensuring that it functions properly and that it does not behave in an unsafe manner. This also implies a complete and rigorous control of their operation.
Thus, CLEARSY uses its know-how to meet the highest software safety requirements through safety prescriptions that are structured, clear, precise, unambiguous, verifiable, testable, maintainable and unambiguous for the users of the documents, at all stages of the development cycle.