%0 Conference Paper %B Real-Time Systems Symposium, 1994., Proceedings. %D 1994 %T Verifying an intelligent structural control system: a case study %A Elseaidy,W. M %A Cleaveland, Rance %A Baugh,J. W. %K automatic verification tool %K case study %K Concurrency Workbench %K Distributed computing %K Distributed control %K distributed processing %K finite automata %K finite-state processes %K formal verification %K graphical specification language %K high-level design %K intelligent control %K intelligent structural control system verification %K Logic %K Modechart %K Process algebra %K Real time systems %K real-time systems %K Specification languages %K structural engineering computing %K temporal logic %K temporal process algebra %K time-varying systems %K Timing %K timing properties %K visual languages %X 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 %B Real-Time Systems Symposium, 1994., Proceedings. %I IEEE %P 271 - 275 %8 1994/12/07/9 %@ 0-8186-6600-5 %G eng %R 10.1109/REAL.1994.342708