A Logic of Traffic Light Controller Modelled and Analyzed by Statecharts

Abstract:

Article Preview

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 and 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:

$35.00

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

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