HLL v.2.7 Modelling Language Specification
Spécification du langage de modélisatoin HLL v.2.7
Résumé
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.
Origine | Publication financée par une institution |
---|