In this paper, we propose a methodology to model a traffic light system with eight-phase. The modeling tool is called statechart. Statechart has been utilized as a visual formalism for the modeling of complex systems. It illuminates the features on describing properties of causality, concurrency, and synchronization. This paper focuses on the use of statecharts to model an eight-phase traffic lights control system. The advantage of the proposed approach is the clear presentation of traffic lights' behaviors in terms of conditions and events that cause the phases alternations. Moreover, the paper also proposes a new modeling methodology, called concurrent state graphs, that allows us to present all the concurrent states in complex statecharts. The analysis of the control models is performed to demonstrate how the models enforce the lights' transitions by reachability tree method. And then the reachability and reversibility properties of the control statecharts will be obtained.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A supervisor of traffic light systems using statecharts


    Beteiligte:
    Huang, Yi-Sheng (Autor:in) / Lee, Shung-Shing (Autor:in) / Liu, Yung-Kuer (Autor:in)


    Erscheinungsdatum :

    2007


    Format / Umfang :

    6 Seiten, 28 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    A Logic of Traffic Light Controller Modelled and Analyzed by Statecharts

    Liao, Tso Hsien ;Huang, Yi Sheng | Trans Tech Publications | 2011


    Intelligent traffic supervisor based on computer vision

    ZHU JINXIN / SHAO JUN / SUN JIU et al. | Europäisches Patentamt | 2020

    Freier Zugriff

    Geographical vs. functional modelling by statecharts of interlocking systems

    Banci, Michele / Fantechi, Alessandro | Tema Archiv | 2004


    Maximally permissive supervisor of marine canal traffic system

    Kezic, F.D. / Vujovic, S.I. / Kuzmanic, T.I. | IEEE | 2006


    ECSS - A Tool using Adaptive Statecharts for Evaluation of Critical Systems Specifications

    de Almeida, J. R. / Camargo, J. B. / System Safety Society | British Library Conference Proceedings | 1999