Verifying an intelligent structural control system: A case study. Elseaidy, W., Cleaveland, R., & Baugh Jr., J. In Proceedings - Real-Time Systems Symposium, pages 271-275, 1994.
abstract   bibtex   
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. © 1994 IEEE.
@inProceedings{
 title = {Verifying an intelligent structural control system: A case study},
 type = {inProceedings},
 year = {1994},
 identifiers = {[object Object]},
 pages = {271-275},
 id = {1d0e05a9-2eb0-385d-b2b5-901d2b64bc89},
 created = {2016-02-17T15:26:27.000Z},
 file_attached = {false},
 profile_id = {2a520ab8-915c-3c45-ac68-153534007f56},
 last_modified = {2016-02-17T15:26:27.000Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {false},
 hidden = {false},
 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. © 1994 IEEE.},
 bibtype = {inProceedings},
 author = {Elseaidy, W.M. and Cleaveland, R. and Baugh Jr., J.W.},
 booktitle = {Proceedings - Real-Time Systems Symposium}
}

Downloads: 0