HLL Forum

HLL Forum

The community for us who use High-Level Language (HLL).

The community for us who use High-Level Language (HLL).

Forum

Welcome to join the HLL Forum!

The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.

As it has started to become a de facto standard, we want to make sure that the language develops in a controlled way to meet the demands of the future.

The HLL Forum was formed in a first meeting in Paris on December 4th 2018. Since then, tool providers have been working together to merge their different dialects of HLL into one uniform language that we aim eventually to publish as the official next version of HLL. Equally important are the members using HLL and the tools in the market, such as signalling suppliers, infra structure managers and engineering firms. Users and providers working together to create safe and cost efficient rail control systems.

By joining the community you ensure that your voice is heard.

Please get in touch with us at info@prover.com.

HLL Forum

Meetings so far:

2018 December 4, at NOVOTEL Les Halles, Paris: Founding meeting
2019 March 22, Language development group meeting (Prover,
Systerel, SafeRiver, Ansys, RATP) at RATP: language proposal
2019 November 21: Specification process proposal and next steps

News

Latest news, stories and upcoming events from the railway industry.

View all
  • Categories: Guide

    A Guide on CENELEC EN 50716

    In the realm of railway software development, adhering to industrial standards is not just a matter of compliance; it’s a cornerstone of ensuring safe, reliable, and efficient railway systems. The latest milestone along this journey is the introduction of the CENELEC standard EN 50716:2023.

View all