NEWS
CLEARSY organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h).
The seminar, entitled “Proven software with B executing on Low Cost High integrity Platform”, is aimed at presenting the latest innovations concerning the use of the B formal method for the development of safety critical systems:
“Atelier B has been heavily used in industry, mainly in the railways, for the development of proven safety critical softwa
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 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.
Atelier B has turned 20
At the occasion of the ABZ 2016 conference (http://www.cdcc.faw.jku.at/ABZ2016/) which took place in Linz (Austria) on May 23-27 2016, CLEARSY was invited to...
Double-Core SIL4 Architecture Presented During Open Source Innovation Spring (Paris)
At the occasion of the seminar entitled "Languages and tools for Software Reliability" (May 12th 2016, Jussieu (Paris)) that will take place during the Open...
Atelier B 4.3.1 is Available for Maintenance Holders
We are pleased to inform you that Atelier B 4.3.1 is available for download. It is exclusively reserved for maintenance holders, and is accessible from the...
Formal Data Validation Tutorial at ABZ 2014, Toulouse
At the occasion of the ABZ 2014 conference, a tutorial on formal data validation is organized at ENSEEIHT together with workshops (see details here). The...