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
{"_id":"u7A9nxNmGqPi3F3qJ","bibbaseid":"elseaidy-cleaveland-baughjr-verifyinganintelligentstructuralcontrolsystemacasestudy-1994","downloads":0,"creationDate":"2016-08-28T20:45:19.574Z","title":"Verifying an intelligent structural control system: A case study","author_short":["Elseaidy, W.","Cleaveland, R.","Baugh Jr., J."],"year":1994,"bibtype":"inProceedings","biburl":null,"bibdata":{"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","bibtex":"@inProceedings{\n title = {Verifying an intelligent structural control system: A case study},\n type = {inProceedings},\n year = {1994},\n identifiers = {[object Object]},\n pages = {271-275},\n id = {1d0e05a9-2eb0-385d-b2b5-901d2b64bc89},\n created = {2016-02-17T15:26:27.000Z},\n file_attached = {false},\n profile_id = {2a520ab8-915c-3c45-ac68-153534007f56},\n last_modified = {2016-02-17T15:26:27.000Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {false},\n hidden = {false},\n 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.},\n bibtype = {inProceedings},\n author = {Elseaidy, W.M. and Cleaveland, R. and Baugh Jr., J.W.},\n booktitle = {Proceedings - Real-Time Systems Symposium}\n}","author_short":["Elseaidy, W.","Cleaveland, R.","Baugh Jr., J."],"bibbaseid":"elseaidy-cleaveland-baughjr-verifyinganintelligentstructuralcontrolsystemacasestudy-1994","role":"author","urls":{},"downloads":0},"search_terms":["verifying","intelligent","structural","control","system","case","study","elseaidy","cleaveland","baugh jr."],"keywords":[],"authorIDs":[]}