Modeling Automated Highway Systems with VeriJ

Yan Zhang (1)

1 MoVe - Modélisation et Vérification

This paper presents VeriJ, a domain specific language (DSL) which consists of a subset of the Java language, with the aim to help engineers to easily build the state space encoding of a complex system. This language will allow to apply existing verification and control techniques based on a hierarchical variant of Decision Diagrams. The example of an automated highway system is used to present the basic constructs of the language.

Domaines: Automatique

Yan Zhang. Modeling Automated Highway Systems with VeriJ. MOdelling and VErifying parallel Processes (MOVEP), Jun 2010, Aachen, Germany. pp.138-143. ⟨hal-00626197⟩