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 条
  • [41] Research on the railway safety critical system with Petri nets
    Guo, Jin
    Huang, Zhongzi
    Liu, Mingyuan
    2006 6TH INTERNATIONAL CONFERENCE ON ITS TELECOMMUNICATIONS PROCEEDINGS, 2006, : 118 - +
  • [42] A Framework for Software Safety in Safety-Critical Systems
    Medikonda, Ben Swarup
    Panchumarthy, Seetha Ramaiah
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
  • [43] Safety-critical systems argumentation and validation in computational modeling for drug design
    Ghetiu, Teodor
    Polack, Fiona
    Bown, James
    CURRENT OPINION IN BIOTECHNOLOGY, 2011, 22 : S29 - S29
  • [44] A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology
    Zhou, Jiale
    Hanninen, Kaj
    Lundqvist, Kristina
    2017 43RD EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2017, : 301 - 304
  • [45] Modeling and verification of high-assurance properties of safety-critical systems
    Tsai, JJP
    Juan, EYT
    COMPUTER JOURNAL, 2001, 44 (06): : 504 - 530
  • [46] RBML: A Refined Behavior Modeling Language for Safety-critical Hybrid Systems
    Chen, Zhangtao
    Liu, Jing
    Ding, Xi
    Zhang, Miaomiao
    2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 339 - 346
  • [47] An abnormal situation modeling method to assist operators in safety-critical systems
    Naderpour, Mohsen
    Lu, Jie
    Zhang, Guangquan
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2015, 133 : 33 - 47
  • [48] Modeling and analyzing the effects of periodic inspection on the performance of safety-critical systems
    Bukowski, JV
    IEEE TRANSACTIONS ON RELIABILITY, 2001, 50 (03) : 321 - 329
  • [49] Dependability Analysis of Safety Critical Real-Time Systems by Using Petri Nets
    Singh, Lalit Kumar
    Rajput, Hitesh
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2018, 26 (02) : 415 - 426
  • [50] Design of safety critical and control systems of Nuclear Power Plants using Petri nets
    Singh, Pooja
    Singh, Lalit Kumar
    NUCLEAR ENGINEERING AND TECHNOLOGY, 2019, 51 (05) : 1289 - 1296
12345