Design, modeling and analysis of ITS using UML and Petri Nets

被引：0
|
作者：
Bonnefoi, Fabien [1 ]
Hillah, Lom Messan [2 ]
Kordon, Fabrice [2 ]
Renault, Xavier [2 ]
机构：
[1] DSO R&D, Cofiroute,6-10 Rue Troyon, F-92310 Sevres, France
[2] Univ Paris 06, Modeling & Verificat Team, Dept Network & Distributed Syst LIP6, F-75252 Paris 05, France
来源：
2007 IEEE INTELLIGENT TRANSPORTATION SYSTEMS CONFERENCE, VOLS 1 AND 2 | 2007年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
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.
引用
收藏
页码：552 / +
页数：2
相关论文
共 50 条
  • [1] Software performance modeling using UML and Petri nets
    Merseguer, J
    Campos, J
    PERFORMANCE TOOLS AND APPLICATIONS TO NETWORKED SYSTEMS, 2004, 2965 : 265 - 289
  • [2] UML and Petri Nets for design and analysis of distributed systems
    Bordbar, B
    Giacomini, L
    Holding, DJ
    PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, 2000, : 610 - 615
  • [3] Modeling of hybrid supervisory systems using UML and Petri nets
    Miyagi, PE
    Villani, E
    Maruyama, N
    ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 149 - 158
  • [4] Modeling UML sequence diagrams using extended Petri nets
    Yang, Nianhua
    Yu, Huiqun
    Sun, Hua
    Qian, Zhilin
    TELECOMMUNICATION SYSTEMS, 2012, 51 (2-3) : 147 - 158
  • [5] Modeling UML sequence diagrams using extended Petri nets
    Nianhua Yang
    Huiqun Yu
    Hua Sun
    Zhilin Qian
    Telecommunication Systems, 2012, 51 : 147 - 158
  • [6] Design of distributed manufacturing systems using UML and Petri nets
    Bordbar, B
    Giacomini, L
    Holding, DJ
    ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 2000, 2000, : 105 - 110
  • [7] Extension of UML and its conversion to Petri nets for semiconductor manufacturing modeling
    Jeng, MD
    Lu, WZ
    2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2002, : 3175 - 3180
  • [8] A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation
    Kerkouche, Elhillali
    Chaoui, Allaoua
    Bourennane, El Bay
    Labbani, Ouassila
    JOURNAL OF OBJECT TECHNOLOGY, 2010, 9 (04): : 25 - 43
  • [9] Modeling UML Object Event Handling with Petri Nets Towards improvement of embedded systems analysis and design
    Szmuc, Wojciech
    Szmuc, Tomasz
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (MIXDES 2016), 2016, : 454 - 457
  • [10] Object Petri nets marking using UML
    Bouabana-Tebibel, Thouraya
    Meziani, Lila
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2013, 47 (2-3) : 162 - 171
12345