ISSN:
1435-5663
Keywords:
Active structural control
;
Calculus of communicating systems (CCS)
;
Concurrency workbench
;
Modechart
;
Real-time systems
;
Simulation
;
Temporal CCS
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
,
Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
,
Technology
Notes:
Abstract 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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01200261
Permalink