Design, Modeling and Analysis of ITS using UML and Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

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

Fabien Bonnefoi
  • Fonction : Auteur
  • PersonId : 980625
Lom Messan Hillah
Fabrice Kordon
Xavier Renault
  • Fonction : Auteur
  • PersonId : 980315

Résumé

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.
Fichier non déposé

Dates et versions

hal-01334867 , version 1 (21-06-2016)

Identifiants

Citer

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⟩
105 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More