Skip to Main content Skip to Navigation
Conference papers

Modeling Automated Highway Systems with VeriJ

Yan Zhang 1, *
* Corresponding author
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00626197
Contributor : Yan Zhang <>
Submitted on : Friday, September 23, 2011 - 5:54:31 PM
Last modification on : Thursday, March 21, 2019 - 12:59:33 PM
Document(s) archivé(s) le : Saturday, December 24, 2011 - 2:25:58 AM

File

movep2010.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00626197, version 1

Citation

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

Share

Metrics

Record views

293

Files downloads

608