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 条
  • [41] Explaining Safety Violations in Real-Time Systems
    Mari, Thomas
    Dang, Thao
    Gossler, Gregor
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2021, 2021, 12860 : 100 - 116
  • [42] Scenario driven requirements specification of safety-critical real-time systems
    Lin, JJ
    Kung, DC
    Hsia, P
    [J]. COMPUTERS AND THEIR APPLICATIONS - PROCEEDINGS OF THE ISCA 11TH INTERNATIONAL CONFERENCE, 1996, : 284 - 287
  • [43] Certification of software for real-time safety-critical systems: state of the art
    Kornecki, Andrew
    Zalewski, Janusz
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (02) : 149 - 161
  • [44] A Safety-Critical Real-Time Network Protocol
    Wang, Zhanjie
    Wang, Hailong
    He, Kai
    Sun, Dexin
    Chen, Xiaobin
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, VOLS 1 AND 2, 2008, : 628 - +
  • [45] DEMO ABSTRACT - Run-Time Monitoring Environments for Real-Time and Safety Critical Systems
    Nelissen, Geoffrey
    Carvalho, Humberto
    Pereira, David
    Tovar, Eduardo
    [J]. 2016 IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), 2016,
  • [46] TIME-DEPENDENT DISTRIBUTED SYSTEMS - PROVING SAFETY, LIVENESS AND REAL-TIME PROPERTIES
    SHANKAR, AU
    LAM, SS
    [J]. DISTRIBUTED COMPUTING, 1987, 2 (02) : 61 - 79
  • [47] SPECIAL ISSUE ON RELIABILITY AND SAFETY IN REAL-TIME PROCESS-CONTROL - FORWARD - RELIABILITY AND SAFETY IN REAL-TIME SYSTEMS
    BOLOGNA, S
    LEVESON, NG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 877 - 878
  • [48] Real-time and safety critical systems specification: a Z-based specification environment
    Bruel, JM
    France, RB
    Benzekri, A
    [J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 1996, : 44 - 47
  • [49] Developing safety-critical real-time systems with SDL design patterns and components
    Fliege, I
    Geraldy, A
    Gotzhein, R
    Kuhn, T
    Webel, C
    [J]. COMPUTER NETWORKS, 2005, 49 (05) : 689 - 706
  • [50] Experimental evaluation of software development tools for safety-critical real-time systems
    Kornecki, Andrew J.
    Zalewski, Janusz
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2005, 1 (02) : 176 - 188
12345