Safety properties ensured by the OASIS model for safety critical real-time systems

被引：0
|
作者：
David, V [1 ]
Delcoigne, J
Leret, E
Ourghanlian, A
Hilsenkopf, P
Paris, P
机构：
[1] LETI, CEA, Adv Technol, DEIN, F-91191 Gif Sur Yvette, France
[2] EDF, DER 6, F-78401 Chatou, France
[3] Framatome IT, LA Tour Framatome, F-92400 Courbevoie, France
来源：
COMPUTER SAFETY, RELIABILITY AND SECURITY | 1998年 / 1516卷
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques to model both real-time tasks and to ensure determinism and dependability concerns when tasks are executed in parallel. By this approach we will show some formal aspects of our real-time task model and also how this result is used to ensure that the timeliness property and the sizing can be achieved on a safety critical real-time study case.
引用
收藏
页码：45 / 59
页数：15
相关论文
共 50 条
  • [1] SaveCCM -: a component model for safety-critical real-time systems
    Hansson, H
    Åkerholm, M
    Crnkovic, I
    Törngren, M
    [J]. PROCEEDINGS OF THE 30TH EUROMICRO CONFERENCE, 2004, : 627 - 635
  • [2] Decomposition in real-time safety-critical systems
    Mukherjee, P
    Stavridou, V
    [J]. REAL-TIME SYSTEMS, 1998, 14 (02) : 183 - 202
  • [3] Guaranteeing timeliness in safety critical real-time systems
    Aussagues, C
    David, V
    [J]. DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998, 1999, : 83 - 89
  • [4] Decomposition in Real-Time Safety-Critical Systems
    Paul Mukherjee
    Victoria Stavridou
    [J]. Real-Time Systems, 1998, 14 : 183 - 202
  • [5] A method and a technique to model and ensure timeliness in safety critical real-time systems
    Aussagues, C
    David, V
    [J]. FOURTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS - PROCEEDINGS, 1998, : 2 - 12
  • [6] SAFETY ANALYSIS OF TIMING PROPERTIES IN REAL-TIME SYSTEMS
    JAHANIAN, F
    MOK, AK
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 890 - 904
  • [7] EXPERT SYSTEMS TECHNOLOGY FOR SAFETY-CRITICAL REAL-TIME SYSTEMS
    THEURETZBACHER, N
    [J]. ELECTRICAL COMMUNICATION, 1986, 60 (02): : 147 - 153
  • [8] Special section on real-time safety-critical systems
    Zalewski, Janusz
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (02) : 95 - 96
  • [9] The Shift to Multicores in Real-Time and Safety-Critical Systems
    Saidi, Selina
    Ernst, Rolf
    Uhrig, Sascha
    Theiling, Henrik
    de Dinechin, Benoit Dupont
    [J]. 2015 INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS (CODES+ISSS), 2015, : 220 - 229
  • [10] Hardware Certification for Safety-Critical Real-Time Systems
    Kornecki, Andrew J.
    Zalewski, Janusz
    [J]. IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 1 - 12
12345