A Case Study: Logical Operators and Statecharts for Level Crossing Traffic Control Systems
Yi Sheng Huang, Tso Hsien Liao · Applied Mechanics and Materials · 2011
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 a behavioral logical operations language by using Statecharts. The logical operation is a data structure that is used to represent by a Boolean function. This paper used them to analyze the models which are modeled by using Statecharts. Their formalism provides a concept of propositional logic for presenting control strategy. Finally, an example of level crossing traffic control systems is examined successfully.