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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A supervisor of traffic light systems using statecharts


    Contributors:


    Publication date :

    2007


    Size :

    6 Seiten, 28 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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. | European Patent Office | 2020

    Free access

    Geographical vs. functional modelling by statecharts of interlocking systems

    Banci, Michele / Fantechi, Alessandro | Tema Archive | 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