LARIS(ID:5683/lar005)

for LAnguage for Railway Interlocking Specifications

Textual version of EURIS, railway specification language
Related languages
Euris => LARIS   Adaptation of
References:
  • Fokkink, Wan; Groote, Jan Friso; Hollenberg, Marco; van Vlijmen, Bas "LARIS 1.0 -- LAnguage for Railway Interlocking Specifications" CWI, 2000 view details Abstract: The increasing use of computerized railway control requires a change in the ways these have been developed for the last decades. Peter Middelraad and his co-workers developed a visionary graphical specification language for control systems, called EURIS, together with a tool set to animate such specifications. EURIS was used to specify the control of several Dutch railway yards. To enter a next phase in the use, tooling, and development of EURIS, in this tract we put forward a textual version of EURIS, called LARIS. We present intuition and motivation for LARIS, together with a thorough treatment of its syntax and semantics. A detailed exemplifying LARIS specification is given of the railway yard at Driebergen.