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.
A Logic of Traffic Light Controller Modelled and Analyzed by Statecharts
Key Engineering Materials ; 467-469 ; 1736-1741
2011-02-21
6 pages
Article (Journal)
Electronic Resource
English
A supervisor of traffic light systems using statecharts
Tema Archive | 2007
|Automotive engineering | 2004
|Street traffic analyzed in Chicago
Engineering Index Backfile | 1927
Auto-Coding UML Statecharts for Flight Software
NTRS | 2006
|Formal modeling and analysis of UML statecharts
British Library Online Contents | 2007
|