Since 2001, CLEARSY has promoted and has been developing the B method, a formal method for industrial application. B method is a mathematically based technique for specification, development and verification of systems. Their tool kit software to program in B method, is available on the website for free (www.atelierb.eu).
B formal method is now largely used for industrial application and CLEARSY is famed to be the expert of B formal method. The method is now used by signaling company to develop their Automatic train pilot software and CLEARSY is able to logically demonstrate safety of a system or validate a set of data by using it. One of the company’s significant innovative accomplishments was the system safety verification of the CBTC programed for the line 7 in New York Metro (NYCT). CLEARSY has performed the safety demonstration by using the B formal method.
When it comes to safety, CLEARSY has also designed, developed and put in revenue service critical safety systems and software for transportation authorities (Paris RATP, Sao Paolo, Caracas, Stockholm metro), car manufacturers and signaling companies (Alstom, Bombardier, Hitachi, etc). The company’s strength is to provide turn-key system to their clients: their engineers develop, put in revenue service and also prove safeness of a system to safety agency. In addition, their systems are certified by an external safety agency.
CLEARSY proposes several railway safety certified systems through the trademark FERSIL (www.fersil-railway.com) including platform screen doors control system, axle counter for signaling application, intrusion detection system, berthing system, safety remote I/O network, relays. All of their systems are already in revenue service on some of the busiest transit line all over the world.
The company has set three objectives: Installing its systems, developing new systems and promoting B method for software and system application. That’s why CLEARSY is now targeting north American market.
Its success with NYCT has attracted interests from other railway companies in North America and CLEARSY is strongly committed to answer their expectations. From the north American office, their CLEARSY engineer wants to meet new clients and introduce CLEARSY technologies. Finally, it will facilitate cooperation and project to design new solutions for North American Railway challenges.
For further information, please contact CLEARSY in Connecticut at (860) 920 2249.