A distance model for safety-critical systems

被引：0
|
作者：
Szijártó, Miklós [1 ]
Gröger, Dietmár [1 ]
Kallós, Gábor [1 ]
机构：
[1] Department of Computer Science, Széchenyi Istvan University, Egyetem ter 1, H-9026 Györ, Hungary
来源：
Periodica Polytechnica Electrical Engineering | 2001年 / 45卷 / 02期
关键词：
Graph theory - Mathematical models - Probability - Problem solving;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this paper we introduce a new, theoretical model for safety-critical systems in which the distance from the dangerous conditions can be measured. To describe these systems we use besides the graph model Petri nets, too. We illustrate the theoretical discussion with some simple examples.
引用
收藏
页码：109 / 118
相关论文
共 50 条
  • [1] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
  • [2] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    ROBOTICA, 1990, 8 : 184 - 184
  • [3] Designing a B Model for safety-critical software systems
    Taouil-Traverson, S
    Vignes, S
    B'98: RECENT ADVANCES IN THE DEVELOPMENT AND USE OF THE B METHOD, 1998, 1393 : 210 - 225
  • [4] Model checking safety-critical systems using safecharts
    Hsiung, Pao-Ann
    Chen, Yean-Ru
    Lin, Yen-Hung
    IEEE TRANSACTIONS ON COMPUTERS, 2007, 56 (05) : 692 - 705
  • [5] Timing Model for Predictive Simulation of Safety-critical Systems
    Cioroaica, Emilia
    Blanco, Jose Miguel
    Rossi, Bruno
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2022, : 331 - 339
  • [6] Model Proposal for Performance Testing of Safety-Critical Systems
    Spendla, Lukas
    Tanuska, Pavol
    Strbo, Milan
    PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS ENGINEERING (CASE-13), 2013, 45 : 42 - 45
  • [7] Are your systems safety-critical?
    Redmill, F
    IEE REVIEW, 1997, 43 (03): : 93 - &
  • [8] 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
  • [9] Certification of Safety-Critical Systems
    Leveson, Nancy G.
    Thomas, John P.
    COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
  • [10] Safety-critical systems design
    Douglass, BP
    ELECTRONIC ENGINEERING, 1998, 70 (862): : 45 - +
12345