Paper Title:
A Logic of Traffic Light Controller Modelled and Analyzed by Statecharts
  Abstract

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.

  Info
Periodical
Key Engineering Materials (Volumes 467-469)
Edited by
Dehuai Zeng
Pages
1736-1741
DOI
10.4028/www.scientific.net/KEM.467-469.1736
Citation
T. H. Liao, Y. S. Huang, "A Logic of Traffic Light Controller Modelled and Analyzed by Statecharts", Key Engineering Materials, Vols. 467-469, pp. 1736-1741, 2011
Online since
February 2011
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Xiao Ming Qian, Dun Bing Tang
Abstract:A product structure model for Rapid Product Design (RPD) is discussed. It is composed of Assembly Topology Tree (ATT) that describes the...
601
Authors: Yi Sheng Huang, Tso Hsien Liao
Reverse Engineering
Abstract:Statechart has been utilized as a visual formalism for the modeling of complex systems. It illuminates the features on describing properties...
1582
Authors: Jin Feng Dong, Wei Yu Zhang, Guo Xiong Zhang
Abstract:A difference-frequency mixer based on exclusive-or gates with a filter at the output, which processes a variable frequency input signal and a...
1846
Authors: Kandula Suresh, Bahniman Ghosh
Chapter 4: Mechanical and Electronic Engineering
Abstract:Quantum-dot Cellular Automata (QCA) is a very recent technology which can be used for developing new digital circuits which use very less...
531