caa a22 4500 477060943 CHVBK 20180405111400.0 cr unu---uuuuu 170330e19960301xx s 000 0 eng 10.1007/BF01200261 doi (NATIONALLICENCE)springer-10.1007/BF01200261 Verification of an active control system using temporal process algebra [Elektronische Daten] [Wael Elseaidy, John Baugh Jr, Rance Cleaveland] In this paper we describe complementary approaches that can be used to ensure the reliability of real-time systems, such as those used in active structural control systems. These approaches include both model-checking and simulation, and are based on a temporal process algebra. We combine these formal methods with a high-level, graphical modeling technique, Modechart, to specify an active structural control system consisting of several processors. Timing requirements on the system are specified and verified with a combination of process algebraic models and modal logic, and various simulation concepts are described for debugging models and for gaining insight into system behavior. Springer-Verlag London Limited, 1996 Active structural control nationallicence Calculus of communicating systems (CCS) nationallicence Concurrency workbench nationallicence Modechart nationallicence Real-time systems nationallicence Simulation nationallicence Temporal CCS nationallicence Elseaidy Wael Department of Civil Engineering, North Carolina State University, 27695, Raleigh, NC, USA aut Baugh Jr John Department of Civil Engineering, North Carolina State University, 27695, Raleigh, NC, USA aut Cleaveland Rance Department of Computer Science, North Carolina State University, Raleigh, USA aut Engineering with Computers Springer-Verlag 12/1(1996-03-01), 46-61 0177-0667 12:1<46 1996 12 366 https://doi.org/10.1007/BF01200261 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF01200261 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Elseaidy Wael Department of Civil Engineering, North Carolina State University, 27695, Raleigh, NC, USA aut NATIONALLICENCE 700 1- Baugh Jr John Department of Civil Engineering, North Carolina State University, 27695, Raleigh, NC, USA aut NATIONALLICENCE 700 1- Cleaveland Rance Department of Computer Science, North Carolina State University, Raleigh, USA aut NATIONALLICENCE 773 0- Engineering with Computers Springer-Verlag 12/1(1996-03-01), 46-61 0177-0667 12:1<46 1996 12 366 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer