HLL v.2.7 Modelling Language Specification - Archive ouverte HAL
Reports Year : 2018

HLL v.2.7 Modelling Language Specification

Spécification du langage de modélisatoin HLL v.2.7

Abstract

This RATP document, based on an original document from Prover Technology, details the syntax and semantics of the formal modelling language " High Level Language " (HLL). HLL is used for several years by RATP and some other companies (e.g. SYSTEREL, Prover Technology) to perform formal verification on CBTC and interlocking safety critical software.
Ce document RATP, basé sur un document original de Prover Technology, détaille la syntaxe ainsi que la sémantique du langage de modélisation formelle HLL (pour High Level Language). HLL est utilisé depuis plusieurs années à la RATP et par d'autres acteurs tels que SYSTEREL ou Prover Technology pour réaliser des vérifications formelles sur les logiciels critiques des CBTC et postes de signalisation.
Fichier principal
Vignette du fichier
RATP-STF-16-01805_Publication_HLL_v.2.7.pdf (866.91 Ko) Télécharger le fichier
Origin Publication funded by an institution

Dates and versions

hal-01799749 , version 1 (06-06-2018)

Identifiers

  • HAL Id : hal-01799749 , version 1

Cite

Julien Ordioni, Nicolas Breton, Jean-Louis Colaço. HLL v.2.7 Modelling Language Specification. [0] STF-16-01805, RATP. 2018. ⟨hal-01799749⟩

Collections

LARA
1351 View
1665 Download

Share

More