ISSN:
1435-5663
Schlagwort(e):
Active structural control
;
Calculus of communicating systems (CCS)
;
Concurrency workbench
;
Modechart
;
Real-time systems
;
Simulation
;
Temporal CCS
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Informatik
,
Maschinenbau
,
Technik allgemein
Notizen:
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.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1007/BF01200261
Permalink