Affiliation:
1. National Defense University
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.
Publisher
Trans Tech Publications, Ltd.
Subject
Mechanical Engineering,Mechanics of Materials,General Materials Science
Reference10 articles.
1. D. Harel, : Comput. Program., Vol. 8 (1987) pp.231-274, Jul.
2. D. Drusinsky. and D. Harel, : IEEE Trans. Comput. -Aided Des., Vol. 8(1989) pp.798-807.
3. D. Drusinsky, : Ph.D. thesis, Dep. Of Appl. Math. Comp., The Weizmann Inst. of Sci. (1988).
4. D. Drusinsky, and D. Harel, : Lecture Notes in Computer Science, Vol. 335, (1988) pp.74-103, Springer-Verlag. New York.
5. J. D. Ullman, Computational Aspects of VLSI New York: Computer Science, (1984).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献