Design of elevator control systems using statecharts

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. This paper employs the application of statechart to design an elevator control system, whose system behavior involves aggregating complexity of state descriptions, and imposition of underlying control policy. Based on the rules of an elevator, we derive the associated statechart model by looking into the inherent hierarchical structure of the elevator.