@conference {12783, title = {Verifying an intelligent structural control system: a case study}, booktitle = {Real-Time Systems Symposium, 1994., Proceedings.}, year = {1994}, month = {1994/12/07/9}, pages = {271 - 275}, publisher = {IEEE}, organization = {IEEE}, abstract = {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}, keywords = {automatic verification tool, case study, Concurrency Workbench, Distributed computing, Distributed control, distributed processing, finite automata, finite-state processes, formal verification, graphical specification language, high-level design, intelligent control, intelligent structural control system verification, Logic, Modechart, Process algebra, Real time systems, real-time systems, Specification languages, structural engineering computing, temporal logic, temporal process algebra, time-varying systems, Timing, timing properties, visual languages}, isbn = {0-8186-6600-5}, doi = {10.1109/REAL.1994.342708}, author = {Elseaidy,W. M and Cleaveland, Rance and Baugh,J. W.} }