Modeling complex systems with VeriJ

Abstract : This paper presents VeriJ, a language designed for modeling complex supervisory control problems. VeriJ is based on a subset of the Java language with some supervisory control specific constructs added; this allows to use industrial strength integrated development environments such as Eclipse to build VeriJ models and to directly use a Java debugger to execute (simulate) these models. With the aim to perform controller synthesis in a further step, VeriJ models are translated into hierarchical finite state machines (HFSM) representing the control flow graph, using modern model transformation techniques and tools. The semantics of these HFSM is then given as a pushdown system, leading to a concise and expressive representation of the underlying discrete event system. We illustrate our modeling and transformation approach with a VeriJ model of the Nim game, for which finding a winning strategy for a player can be seen as a control problem.
Type de document :
Communication dans un congrès
5th Verification and Evaluation of Computer and Communication System (VECOS), Sep 2011, Tunis, Tunisia. British Informatics Society Ltd, 5th Verification and Evaluation of Computer and Communication System (VECOS), pp.34-45
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01288126
Contributeur : Lip6 Publications <>
Soumis le : lundi 14 mars 2016 - 16:26:04
Dernière modification le : jeudi 22 novembre 2018 - 14:11:14

Identifiants

  • HAL Id : hal-01288126, version 1

Collections

Citation

Yan Zhang, Béatrice Bérard, Lom Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg. Modeling complex systems with VeriJ. 5th Verification and Evaluation of Computer and Communication System (VECOS), Sep 2011, Tunis, Tunisia. British Informatics Society Ltd, 5th Verification and Evaluation of Computer and Communication System (VECOS), pp.34-45. 〈hal-01288126〉

Partager

Métriques

Consultations de la notice

106