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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Logic of Traffic Light Controller Modelled and Analyzed by Statecharts



    Erschienen in:

    Key Engineering Materials ; 467-469 ; 1736-1741


    Erscheinungsdatum :

    21.02.2011


    Format / Umfang :

    6 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    A supervisor of traffic light systems using statecharts

    Huang, Yi-Sheng / Lee, Shung-Shing / Liu, Yung-Kuer | Tema Archiv | 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