![Logo-RailMetro-China-2017](https://www.clearsy.com/wp-content/uploads/2017/11/Logo-RailMetro-China-2017-2.png)
CLEARSY sera sur le salon Rail+Metro 2017 à Shanghai. Venez nous retrouver sur notre stand E7S159 du 21 au 23 […]
![Tutorial conference RSSR 2017](https://www.clearsy.com/wp-content/uploads/2017/11/tuto-pistoia-1.jpg)
Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification La conférence RSSR 2017 était organisée le 14 […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Adaptées pour l’industrie, les méthodes formelles sont utilisées sur des projets ferroviaires d’envergure et permettent de démontrer la sureté de […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/UITP-logo-Montreal-HD-850x325-1.jpg)
Venez nous retrouver sur le salon UITP de Montréal du 15 au 17 mai 2017. Ce salon et congrès mondial […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/visue-news-sifer-620x325-1.jpg)
CLEARSY participe au salon SIFER 2017, qui se tiendra du 21 au 23 mars 2017, au Grand Palais à Lille. […]
![](https://www.clearsy.com/wp-content/uploads/2020/03/relais-sil4-e1621583933932.jpg)
Le relais de sécurité de niveau SIL 4 est une réalité : CLEARSY en a fait la présentation au salon international […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/PLCHI-1-645x325-1.jpg)
LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level. LCHIP platform is a combination of a B method (formal method) Integrated Development Environment and a secured runtime platform able to execute software in real-time. The IDE generates and mathematically proves critical software source code in an automated process. When it comes to simple algorithms, the IDE extends functionalities of Atelier B (software to develop in B method). The low cost runtime platform, which runs software from the IDE, is secured in real-time in order to provide an optimum safety. “Such a combination reduces ten times the cost of the secured platform” Thierry Lecomte, expert in Atelier B at ClearSy explains.
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY participera à InnoTrans, le rendez-vous mondial des acteurs du Transports, qui se tiendra au Parc des Expositions de Berlin […]