TY - CONF T1 - Verifying an intelligent structural control system: a case study T2 - Real-Time Systems Symposium, 1994., Proceedings. Y1 - 1994 A1 - Elseaidy,W. M A1 - Cleaveland, Rance A1 - Baugh,J. W. KW - automatic verification tool KW - case study KW - Concurrency Workbench KW - Distributed computing KW - Distributed control KW - distributed processing KW - finite automata KW - finite-state processes KW - formal verification KW - graphical specification language KW - high-level design KW - intelligent control KW - intelligent structural control system verification KW - Logic KW - Modechart KW - Process algebra KW - Real time systems KW - real-time systems KW - Specification languages KW - structural engineering computing KW - temporal logic KW - temporal process algebra KW - time-varying systems KW - Timing KW - timing properties KW - visual languages AB - Describes the formal verification of the timing properties of the design of an intelligent structural control system using the Concurrency Workbench, an automatic verification tool for finite-state processes. The high-level design of the system is first given in Modechart, a graphical specification language for real-time systems, and then translated into a temporal process algebra supported by the Workbench. The facilities provided by this tool are then used to analyze the system and ultimately show it to be correct JA - Real-Time Systems Symposium, 1994., Proceedings. PB - IEEE SN - 0-8186-6600-5 M3 - 10.1109/REAL.1994.342708 ER -