Sciweavers

27
Voted
ICFEM
1998
Springer

A Process Algebra Based Verification of a Production System

13 years 11 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also has some disadvantages. These can be overcome by using formal methods. Formal methods allow a thorough analysis of the possible behaviours of a system, parameterised system analysis and a modular approach to the analysis of systems. We present a case study in which a model of an industrial system is studied in a formal way. For this purpose, the model is first specified and simulated using the CSP-based executable specification language . The model is translated into a model in the process algebra ACP
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where ICFEM
Authors J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
Comments (0)