Analysis of an industrial system

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

doi:10.1023/A:1022901312673

Analysis of an industrial system

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

Research output: Contribution to journal › Article › Academic › peer-review

6 Citations (Scopus)

171 Downloads (Pure)

Abstract

Studying industrial systems by simulation enables the designer to study their dynamic behaviour and to determine 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 mu CRL. This enables us to give a correctness proof of the parameterised model and to study the model in isolation.

Original language	English
Pages (from-to)	249-282
Journal	Formal Methods in System Design
Volume	22
Issue number	3
DOIs	https://doi.org/10.1023/A:1022901312673
Publication status	Published - 2003

Access to Document

10.1023/A:1022901312673

604708Final published version, 189 KB

Cite this

@article{da0f2f41509b49e8a605db0c5e8f21f9,

title = "Analysis of an industrial system",

abstract = "Studying industrial systems by simulation enables the designer to study their dynamic behaviour and to determine 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 mu CRL. 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 = "2003",

doi = "10.1023/A:1022901312673",

language = "English",

volume = "22",

pages = "249--282",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer",

number = "3",

}

TY - JOUR

T1 - Analysis of an industrial system

AU - Kleijn, J.J.T.

AU - Reniers, M.A.

AU - Rooda, J.E.

PY - 2003

Y1 - 2003

N2 - Studying industrial systems by simulation enables the designer to study their dynamic behaviour and to determine 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 mu CRL. 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 their dynamic behaviour and to determine 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 mu CRL. This enables us to give a correctness proof of the parameterised model and to study the model in isolation.

U2 - 10.1023/A:1022901312673

DO - 10.1023/A:1022901312673

M3 - Article

SN - 0925-9856

VL - 22

SP - 249

EP - 282

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 3

ER -

Analysis of an industrial system

Abstract

Access to Document

Fingerprint

Cite this