The formal development tool ATELIER B passes 10,000 downloads! Component, R&D, Tools

Atelier B has just passed the 10,000 annual download mark for the first time. The start of the 2024 academic […]

CLEARSY, designer of interlocking solutions to the highest safety standards Component, Railway, Safety

CLEARSY – SIL4 Interlocking Solutions Designer At CLEARSY, we’re committed to enhancing rail safety through innovative solutions. With over 10 […]

CLEARSY’s expertise on RATP line 14 for the 2024 Olympic Games Component, Metro (CBTC), Safety

As part of its partnership with the RATP on software dependability activities, an independent CLEARSY team is in charge of […]

Extension of Line 14 of the Paris Metro: over 25 years of reliability thanks to the B formal method Component, Computer science, Offers, Safety, Tools

“Thanks to the B method, Meteor kept its promise” … “I’d never seen anything like it: the software was almost […]

A CLEARSY soft-cost range of products focus on light rail and tram Component, Offers, Railway

For almost 10 years, CLEARSY has been involved in light rail signaling projects (renovations, extensions, or new lines). As usual, […]

A CLEARSY soft-cost range of products focus on light rail and tram Component, Offers, Railway

For almost 10 years, CLEARSY has been involved in light rail signaling projects (renovations, extensions, or new lines). As usual, […]

CLEARSY Safety Platform’s Starter kit for industry is ready Aeronautics, Automotive, Component, Defense, Energy/nuclear, Railway, Safety

The CLEARSY Safety Platform is now available as a starter kit, which allows to get to know the technology and […]

CLEARSY Safety Platform SK0 est en vente
CLEARSY Safety platform SK0 is on sale Component, Computer science

The first starter kit (SK0) of the CLEARSY safety Platform is on sale at www.clearsy.com. With 5 digital inputs/outputs, the […]