Design, Modeling and Analysis of ITS using UML and Petri Nets

Fabien Bonnefoi 1 Lom Messan Hillah 1 Fabrice Kordon 1 Xavier Renault 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : This paper is about the application of formal methods to model and analyze complex systems in the context of Intelligent Transport Systems (ITS). It suggests a specification methodology based on a set of UML diagrams to generate a complete analyzable formal model. The methodology integrates the requirements of incremental and modular development for complex systems. The analysis made on the formal model is carried out through qualitative criteria, verified by model checking tools. The proposed guidelines are illustrated by a case study which considers cars in traffic situations, exchanging information about their states to reach consistency among their driving decisions.
Document type :
Conference papers
Complete list of metadatas
Contributor : Lip6 Publications <>
Submitted on : Tuesday, June 21, 2016 - 2:32:00 PM
Last modification on : Thursday, March 21, 2019 - 2:39:38 PM



Fabien Bonnefoi, Lom Messan Hillah, Fabrice Kordon, Xavier Renault. Design, Modeling and Analysis of ITS using UML and Petri Nets. 10th International IEEE Conference on Intelligent Transportation Systems, Sep 2007, Seattle, WA, United States. pp.314-319, ⟨10.1109/ITSC.2007.4357718⟩. ⟨hal-01334867⟩



Record views