|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Second IEEE International Conference on Formal Engineering Methods (ICFEM'98)
A Process Algebra Based Verification of a Production System
Brisbane, Australia
December 09-December 11
ISBN: 0-8186-9198-0
| ASCII Text | x | ||
| J.J.T. Kleijn, M.A. Reniers, J.E. Rooda, "A Process Algebra Based Verification of a Production System," Formal Engineering Methods, International Conference on, pp. 90, Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), 1998. | |||
| BibTex | x | ||
| @article{ 10.1109/ICFEM.1998.730573, author = {J.J.T. Kleijn and M.A. Reniers and J.E. Rooda}, title = {A Process Algebra Based Verification of a Production System}, journal ={Formal Engineering Methods, International Conference on}, volume = {0}, year = {1998}, isbn = {0-8186-9198-0}, pages = {90}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICFEM.1998.730573}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Formal Engineering Methods, International Conference on TI - A Process Algebra Based Verification of a Production System SN - 0-8186-9198-0 SP EP A1 - J.J.T. Kleijn, A1 - M.A. Reniers, A1 - J.E. Rooda, PY - 1998 VL - 0 JA - Formal Engineering Methods, International Conference on ER - | |||
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 $\chi$. The model is translated into a model in the process algebra \ACPtau. This enables us to give a correctness proof of the parameterised model andto study the model in isolation.
Citation:
J.J.T. Kleijn, M.A. Reniers, J.E. Rooda, "A Process Algebra Based Verification of a Production System," icfem, pp.90, Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), 1998
Usage of this product signifies your acceptance of the Terms of Use.