A process algebra based verification of a production system

被引：4
|
作者：
Kleijn, JJT [1 ]
Rooda, JE [1 ]
Reniers, MA [1 ]
机构：
[1] Eindhoven Univ Technol, Syst Engn Grp, NL-5600 MB Eindhoven, Netherlands
来源：
SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS | 1998年
关键词：
D O I：
10.1109/ICFEM.1998.730573
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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 anal? sis of systems. We present a case study in which a model of all 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(tau). This enables us to give a correctness proof of the parameterised model and to study the model in isolation.
引用
收藏
页码：90 / 99
页数：10
相关论文
共 50 条
  • [1] Modeling and Verification of Reconfigurable Printing System Based on Process Algebra
    Luo, Rubai
    Gao, Shasha
    Li, Huailin
    Zhou, Shisheng
    [J]. MATHEMATICAL PROBLEMS IN ENGINEERING, 2018, 2018
  • [2] Verification of an active control system using temporal process algebra
    Elseaidy, WM
    Baugh, JW
    Cleaveland, R
    [J]. ENGINEERING WITH COMPUTERS, 1996, 12 (01) : 46 - 61
  • [3] Compositional software verification based on game semantics and process algebra
    Dimovski A.
    Lazić R.
    [J]. International Journal on Software Tools for Technology Transfer, 2007, 9 (1) : 37 - 51
  • [4] COMBINING INTERACTION AND AUTOMATION IN PROCESS ALGEBRA VERIFICATION
    CAMILLERI, A
    INVERARDI, P
    NESI, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 494 : 283 - 296
  • [5] Specifications and verification of network protocols by process algebra
    Ciobanu, G
    Sridhar, KN
    [J]. SEVENTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2005, : 250 - 258
  • [6] Automatic verification of distributed systems: The process algebra approach
    Inverardi, P
    Priami, C
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (01) : 7 - 38
  • [7] VERIFICATION OF AN ALTERNATING BIT PROTOCOL BY MEANS OF PROCESS ALGEBRA
    BERGSTRA, JA
    KLOP, JW
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 215 : 9 - 23
  • [8] Formal verification of a leader election protocol in process algebra
    Fredlund, LA
    Groote, JF
    Korver, H
    [J]. THEORETICAL COMPUTER SCIENCE, 1997, 177 (02) : 459 - 486
  • [9] A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra
    Li, Zhen
    Cao, Zining
    Wang, Fujun
    Xing, Chao
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2024, 34 (01) : 49 - 89
  • [10] VERIFICATION OF LINEAR ALGEBRA PROGRAMS IN THE SPEKTR SYSTEM
    NEPOMNYASHCHII, VA
    SULIMOV, AA
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 1992, 28 (05) : 766 - 774
12345