Construction and Verification of State Invariant Method in Modelling of Traffic Lights Interaction Systems by Using Statecharts

• Main Authors: Liao, Tso-Hsien, 廖作賢
• Other Authors: Huang, Yi-Sheng
• Format: Others
• Language: zh-TW
• Published: 2011
• Online Access: http://ndltd.ncl.edu.tw/handle/43746641011802092877

博士 === 國防大學理工學院 === 國防科學研究所 === 99 === Statechart has been utilized as a visual formalism for the modeling of complex and interactive systems for its illuminating features on describing properties of causality, concurrency, and synchronization. A complex system can be beneficially described in this statechart, because of the exponentially growing multitude of states have solution. This paper derives a State Invariant Method to look into the inherent hierarchical structure in statechart modelling. The advantage of the proposed approach is the clear presentation of statecharts modelling behavior in terms of states that cause the transitions in system dynamics. It presents the application of statechart to the modeling, design and implementation of a parallel railroad level crossing control systems. The resulting models allow one to identify and thus avoid critical scenarios in such systems by conditions and events of the model that control the phase of traffic light alternations. Moreover, we applications to Equivalent Function and urban traffic light are illustrated and thus avoid state explode in such complex system. According to our knowledge, this is the first work that employs novel modeling method of statechart to model a parallel railroad level crossing system and to solve urban traffic light using logic operate. This helps to advance the state-of-the-art technology in traffic safety related to the intersection of railroads and roadways.