Modeling safety-critical systems with Z and Petri nets

被引：0
|
作者：
Heiner, M [1 ]
Heisel, M
机构：
[1] Brandenburg Tech Univ Cottbus, Inst Informat, D-03013 Cottbus, Germany
[2] Otto Von Guericke Univ, Fak Informat, Inst Verteilte Syst, D-39016 Magdeburg, Germany
来源：
COMPUTER SAFETY, RELIABILITY AND SECURITY | 1999年 / 1698卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We show how to combine the specification notation Z with Petri nets for modeling safety-critical systems. The combination preserves the strengths of the two formalisms, while ameliorating their drawbacks. We illustrate our approach by modeling a part of a production cell and validating that model with respect to safety-related properties.
引用
收藏
页码：361 / 374
页数：14
相关论文
共 50 条
  • [21] Compositional Modeling and Control for Safety-Critical Manufacturing Systems
    Uygur, Guerkan
    Sattler, Sebastian M.
    2012 2ND INTERNATIONAL ELECTRIC DRIVES PRODUCTION CONFERENCE (EDPC), 2012,
  • [22] Performance measurement of safety-critical systems based on ordinary differential equations and Petri nets: A case study of nuclear power plant
    Jyotish, Nand Kumar
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    NUCLEAR ENGINEERING AND TECHNOLOGY, 2023, 55 (03) : 861 - 869
  • [23] A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems
    Jaidka, Sapna
    Reeves, Steve
    Bowen, Judy
    2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 347 - 354
  • [24] Specifying safety-critical embedded systems with statecharts and Z:: A case study
    Büssow, R
    Geisler, R
    Klar, M
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 71 - 87
  • [25] Modeling of economic systems with Petri nets
    Skorodumov, P. V.
    ECONOMIC AND SOCIAL CHANGES-FACTS TRENDS FORECAST, 2014, 34 (04) : 253 - 259
  • [26] Modeling of Hybrid Systems with Petri Nets
    Drighiciu, Mircea Adrian
    Cismaru, Daniel Cristian
    2019 INTERNATIONAL CONFERENCE ON ELECTROMECHANICAL AND ENERGY SYSTEMS (SIELMEN), 2019,
  • [27] Are your systems safety-critical?
    Redmill, F
    IEE REVIEW, 1997, 43 (03): : 93 - &
  • [28] Dependability of safety-critical systems
    Buja, G
    Castellan, S
    Menis, R
    Zuccollo, A
    2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566
  • [29] Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
    Yang, Zhibin
    Bao, Yang
    Yang, Yongqiang
    Huang, Zhiqiu
    Bodeveix, Jean-Paul
    Filali, Mamoun
    Gu, Zonghua
    FORMAL ASPECTS OF COMPUTING, 2021, 33 (03) : 343 - 384
  • [30] Modeling Hybrid Systems with Petri Nets
    Bera, Debjyoti
    van Hee, Kees
    Nijmeijer, Henk
    SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS, SIMULTECH 2014, 2015, 402 : 17 - 42
12345