Home Formal Methods

Formal Methods

OCTOBER 2021

HLL language for formal verification of critical software or systems

Systerel publishes a new version of the HLL specification document (HLL LFD) and submits it to the next HLL Forum review in order to converge on the new definition of the language in collaboration with the other actors of the community.

Formal Methods

DECEMBER 2020

SPARK/Ada

Systerel uses SPARK/Ada formal verification technology in developments for its customers in the railway sector (EN 50128 standard).

Formal Methods

NOVEMBER 2020

CEA and Systerel: a new step towards the functional modeling of the interlocking system of the future

The CEA List Institute and Systerel have reached a major milestone in the digitization of railway systems, by delivering a new version of the functional modelling module for new-generation of interlocking systems to SNCF Réseau. They are supporting the growing complexity of these systems with an efficient modelling and validation environment.

Formal Methods

November 2019

A new version of the HLL language

Next HLL Forum meeting of the HLL community is scheduled on November 21 in Paris!

Formal Methods

February 2019

Kick-off of the HLL community

The HLL community, which brings together the main promoters, users and tools suppliers of the HLL language, met for the first time last December in Paris.

Formal Methods

November 2018

First HLL forum

Systerel is participating to the first HLL forum dedicated to the use and the dissemination of the HLL language.