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 条
  • [1] Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets
    Ali, Nazakat
    Punnekkat, Sasikumar
    Rauf, Abdul
    JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 210
  • [2] Reliability Analysis of Safety-Critical Systems using Optimized Petri Nets
    Mamdikar, Mohan Rao
    Kumar, Vinay
    Bharti, Sharda
    Singh, Pooja
    PROGRESS IN NUCLEAR ENERGY, 2023, 164
  • [3] Combining fault trees and Petri nets to model safety-critical systems
    Buchacker, K
    PROCEEDINGS OF THE HIGH PERFORMANCE COMPUTING SYMPOSIUM - HPC '99, 1999, : 439 - 444
  • [4] Petri Nets-based method to elicit component-interaction related safety requirements in safety-critical systems
    Zhu, Danjiang
    Tan, Huobin
    Yao, Shuzhen
    COMPUTERS & ELECTRICAL ENGINEERING, 2018, 71 : 162 - 172
  • [5] Modeling and Prediction of Performability of safety critical Computer Based Systems using Petri Nets
    Singh, Lalit Kumar
    Vinod, Gopika
    Tripathi, A. K.
    23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSRE 2012), 2012, : 85 - 94
  • [6] Reliability and Performance Measurement of Safety-Critical Systems Based on Petri Nets: A Case Study of Nuclear Power Plant
    Jyotish, Nand Kumar
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    Singh, Pooja
    IEEE TRANSACTIONS ON RELIABILITY, 2023, 72 (04) : 1523 - 1539
  • [7] Platform modeling in safety-critical embedded systems
    Huber, Bernhard
    Obermaisser, Roman
    Lecture Notes in Electrical Engineering, 2009, 38 : 145 - 158
  • [8] Traceable Threat Modeling for Safety-critical Systems
    Geismann, Johannes
    2018 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2018), 2018, : 41 - 42
  • [9] Object-oriented petri nets for reliability assessment and sensitivity analysis of safety-critical nuclear power plant systems
    Behera, Kabiratna
    Kumar, Vinay
    Singh, Binod Kumar
    ANNALS OF NUCLEAR ENERGY, 2025, 217
  • [10] A Methodology for Modeling Software Safety in Safety-Critical Computing Systems
    Kumar, S. Phani
    Ramaiah, P. Seetha
    Khanaa, V.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (07): : 185 - 193
12345