The new formal tool Atelier B 4.7 is available. Computer science, R&D, Tools

Atelier B 4.7.1 is available in a Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) and in a Maintenance Edition for owners of a maintenance […]

The CLEARSY Fire Safety System (FSS) Supervisor complies with the American FSS standard NFPA 130. Fire safety, Safety, Tools

A standard analysis was performed to determine if the CLEARSY fire safety system (FSS) supervisor could be used in countries […]

CLEARSY R&D Actions on Formal Verification: 10 years and counting… Computer science, R&D, Tools

Proof automation and support for interactive proof are key components in the application of formal methods for software and system […]

Assigning safe processing to meanings R&D, Safety, Tools

CLEARSY has developed and certified the CLEARSY SAFETY PLATFORM (CSP), a solution to develop safety critical real-time embedded systems certified […]

CLEARSY Safety Platform en tournée fr
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 […]

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

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

Formal Data Validation Tutorial at ABZ 2014, Toulouse Computer science, Exhibitions/conferences, Railway, Tools