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. In this paper, we try to describe the behavioral of the traffic lights by using Statecharts. We use Boolean function to make the traffic light controller behavior in a certain way. This paper used Boolean function to analyze the models which are modeled by using Statecharts. Their formalism provides a clear means for presenting control logic. Finally, an example of traffic light controller system is examined successfully.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A Logic of Traffic Light Controller Modelled and Analyzed by Statecharts



    Published in:

    Key Engineering Materials ; 467-469 ; 1736-1741


    Publication date :

    2011-02-21


    Size :

    6 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    A supervisor of traffic light systems using statecharts

    Huang, Yi-Sheng / Lee, Shung-Shing / Liu, Yung-Kuer | Tema Archive | 2007



    Street traffic analyzed in Chicago

    Engineering Index Backfile | 1927


    Auto-Coding UML Statecharts for Flight Software

    Benowitz, Edward G / Clark, Ken / Watney, Garth J. | NTRS | 2006


    Formal modeling and analysis of UML statecharts

    Shuzhen, Y. / Maozhong, J. | British Library Online Contents | 2007