AFIS 2006 Conference Exhibitions/conferences

Coppilot was presented on the occasion of the AFIS 2006 Conference (Association of French System Engineering) in Toulouse on May […]

AFADL’06 Exhibitions/conferences

CLEARSY participated in AFADL’06 (March 15, 16 and 17, 2006). Demonstration of a new support tool for system specifications: CompoSys.

Verification of the Coherence of the UML – ENST PA Exhibitions/conferences

Presentation by CLEARSY on the verification of Statecharts with the B Method.

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: B4Free.com

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 […]

Need a custom-made system ?

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

Filter posts