NEWS

The new version 4.4.2 of the AtelierB

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

The new version 4.4.2 of the AtelierB

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

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...