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

Julien Ordioni
  • Function : Author
  • PersonId : 1032364
RATP - Département ING/STF/QS [Fontenay-sous-Bois] (RATP)
Régie Autonome des Transports Parisiens
Nicolas Breton
  • Function : Author
Jean-Louis Colaço
  • Function : Author

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.

Domains

Computation and Language [cs.CL]
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

Julien ORDIONI  : Connect in order to contact the contributor

https://hal.science/hal-01799749

Submitted on : Wednesday, June 6, 2018-2:09:14 PM

Last modification on : Thursday, October 27, 2022-1:45:02 PM

Long-term archiving on : Friday, September 7, 2018-12:29:11 PM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LARA
1306 View
1626 Download

Share

More