Globalplatform card specification v2.1.1 Microelectronics

INRIA’s EVEREST team developed a formal B model of the Globalplatform specifications. You may download this model.

RODIN: a three year Project Computer science

The RODIN project (development of an open platform to design systems that tolerate errors) has begun. The objective of this […]

B4Free Computer science

B4free, the development environment for B models, is available to the scientific community:

SSSI web
Fire supervision in Paris metro stations Fire safety, Railway

CLEARSY in charge of the Signalling and Command Report for the RATP The SYMPHONIE SSI project aims to provide the […]

CLEARSY – industrial solutions editor – CLEARSY Safety Platform coming soon Aeronautics, Automotive, Defense, Energy/nuclear, Railway

CLEARSY company specialised on safety systems provides services all over the world. But with placing on the market of SIL4 […]

CLEARSY meets future users of CLEARSY Safety Platform on a worldwide tour. Tools

The LCHIP collaborative project led by CLEARSY aims to produce a calculation platform able to automate the development of low-cost […]

SIFER 2017 – Come to see us ! Exhibitions/conferences, Railway

CLEARSY participates on SIFER 2017, from 21st till 23rd March 2017, in the Grand Palais in Lille. SIFER, has for […]

CLEARSY vital relay was creating the buzz during Innotrans Railway, Tools

Vital relay certified SIL4 actually exists: CLEARSY introduced it during the global railway conference Innotrans. In September at Innotrans in […]

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!

Filter posts