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
    [J]. SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
  • [2] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    [J]. ROBOTICA, 1990, 8 : 184 - 184
  • [3] Designing a B Model for safety-critical software systems
    Taouil-Traverson, S
    Vignes, S
    [J]. 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
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2007, 56 (05) : 692 - 705
  • [5] Model Proposal for Performance Testing of Safety-Critical Systems
    Spendla, Lukas
    Tanuska, Pavol
    Strbo, Milan
    [J]. PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS ENGINEERING (CASE-13), 2013, 45 : 42 - 45
  • [6] Timing Model for Predictive Simulation of Safety-critical Systems
    Cioroaica, Emilia
    Blanco, Jose Miguel
    Rossi, Bruno
    [J]. PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2022, : 331 - 339
  • [7] Are your systems safety-critical?
    Redmill, F
    [J]. IEE REVIEW, 1997, 43 (03): : 93 - &
  • [8] Dependability of safety-critical systems
    Buja, G
    Castellan, S
    Menis, R
    Zuccollo, A
    [J]. 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.
    [J]. COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
  • [10] Safety-critical systems design
    Douglass, BP
    [J]. ELECTRONIC ENGINEERING, 1998, 70 (862): : 45 - +
12345