SAFE SOFTWARE AND SYSTEMS
CLEARSY is a recognised player in the field of formal methods and for the rigour of its applications.
THE COMPANY OFFERS SOMETHING DIFFERENT FROM ITS COMPETITORS,
BECAUSE OF THE APPLICATION OF FORMAL METHODS TO DEVELOP PROVEN SAFE SYSTEMS.
SAFETY SYSTEMS ADAPTED TO YOUR PROJECT
The project management of the control and command system for the platform screen doors, installed on line 13 of the Paris metro, is the proof of CLEARSY’s ability to develop a safe industrial system.
“Thus, CLEARSY is becoming a player in the realization of high-end security systems: SIL2, SIL3, SIL4 according to the industrial standards, category B and C according to nuclear standards. “
RELIABLE SOFTWARE DEVELOPED USING FORMAL METHOD
CLEARSY innovates in the field of fixed-price software development by its ability to guarantee both the conformity of the software product and the specifications to the client’s needs. This guarantee is possible thanks to the use of modelling techniques which allow, from the initial documents and exchanges, to produce specifications verified by a formal method and expressed in natural language.
This phase makes it possible to eliminate the fuzziness of the expression of an operational need, which is too often considered to be an evolution, and gives a result that is perfectly consistent with the need. These specifications are then the basis of the development, which is carried out using techniques adapted to the execution constraints of the software product.
CLEARSY contractually backs up its guarantee with a commitment to take responsibility for all software modifications linked to a problem in the development of the code and modifications to its specifications if the problem is linked to an inconsistency or vagueness in the latter. This method is now successfully used in the automotive, banking, space and nuclear fields.
COMPLIANCE WITH RELIABILITY CRITERIA AND STANDARDS
CLEARSY’s safe software developments meet the SIL2, SIL3, SIL4 reliability criteria of IEC61508, EN50126, EN50128, EN50129 and are compliant with the I&C system classes 1, 2 and 3 of IEC 61513, 60880 and 62138 standards:
– Project management for the development of critical systems;
– Integration, validation, verification of systems and software;
– Technical assistance in the fields of software, hardware and system safety;
– Fixed price studies: hardware, software and safety systems.
EXAMPLES OF CLEARSY’S ACHIEVEMENTS IN CRITICAL SYSTEMS AND RELIABLE SOFTWARE
– Development of safety software for the Val de Roissy using the B method
– Coppilot: safety system for the control of platform screen doors