A process algebra based verification of a production system

J.J.T. Kleijn; M.A. Reniers; J.E. Rooda

doi:10.1109/ICFEM.1998.730573

A process algebra based verification of a production system

J.J.T. Kleijn, M.A. Reniers, J.E. Rooda

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

6 Citations (Scopus)

Abstract

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 ACP/sup T/. This enables us to give a correctness proof of the parameterised model and to study the model in isolation

Original language	English
Title of host publication	Proceedings 2nd IEEE International Conference on Formal Engineering Methods (Brisbane, Queensland, Australia, December 9-11, 1998)
Place of Publication	Los Alamitos
Publisher	IEEE Computer Society
Pages	90-99
ISBN (Print)	0-8186-9198-0
DOIs	https://doi.org/10.1109/ICFEM.1998.730573
Publication status	Published - 1998

Access to Document

10.1109/ICFEM.1998.730573

Cite this

@inproceedings{e8c5db721b5f45f3a814eade8265cb09,

title = "A process algebra based verification of a production system",

abstract = "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 ACP/sup T/. This enables us to give a correctness proof of the parameterised model and to study the model in isolation",

author = "J.J.T. Kleijn and M.A. Reniers and J.E. Rooda",

year = "1998",

doi = "10.1109/ICFEM.1998.730573",

language = "English",

isbn = "0-8186-9198-0",

pages = "90--99",

booktitle = "Proceedings 2nd IEEE International Conference on Formal Engineering Methods (Brisbane, Queensland, Australia, December 9-11, 1998)",

publisher = "IEEE Computer Society",

address = "United States",

}

A process algebra based verification of a production system. / Kleijn, J.J.T.; Reniers, M.A.; Rooda, J.E.

Proceedings 2nd IEEE International Conference on Formal Engineering Methods (Brisbane, Queensland, Australia, December 9-11, 1998). Los Alamitos : IEEE Computer Society, 1998. p. 90-99.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A process algebra based verification of a production system

AU - Kleijn, J.J.T.

AU - Reniers, M.A.

AU - Rooda, J.E.

PY - 1998

Y1 - 1998

N2 - 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 ACP/sup T/. This enables us to give a correctness proof of the parameterised model and to study the model in isolation

AB - 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 ACP/sup T/. This enables us to give a correctness proof of the parameterised model and to study the model in isolation

U2 - 10.1109/ICFEM.1998.730573

DO - 10.1109/ICFEM.1998.730573

M3 - Conference contribution

SN - 0-8186-9198-0

SP - 90

EP - 99

BT - Proceedings 2nd IEEE International Conference on Formal Engineering Methods (Brisbane, Queensland, Australia, December 9-11, 1998)

PB - IEEE Computer Society

CY - Los Alamitos

ER -

A process algebra based verification of a production system

Abstract

Access to Document

Fingerprint

Cite this