Guaranteeing timeliness in safety critical real-time systems

被引：0

作者：

Aussagues, C ^{[1
]}

David, V ^{[1
]}

机构：

[1] LETI, CEA Adv Technol, F-91191 Gif Sur Yvette, France

来源：

DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998 | 1999年

关键词：

complex systems; safety-critical; real-time systems; timeliness; parallelism;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A method to guarantee the timeliness property of a set of real-time tasks is introduced. The approach is based on a model for real-time tasks and on the definition of the parallel composition of tasks, i.e. the synchronized product operator. The operator composes the state-transition diagrams of the casks in order to represent their interactions together with the associated set of timeliness constraints. For analyzing the schedulability of tasks executed in parallel, we then generate thanks to the use of the synchronized product a set of linear constraints that has to be solved. This work is done in the framework of the OASIS(1) project for the design of more reliable and safer nuclear plant control systems. Copyright (C) 1998 IFAC.

引用

页码：83 / 89

页数：7

共 50 条

[21] EXPERT SYSTEMS TECHNOLOGY FOR SAFETY-CRITICAL REAL-TIME SYSTEMS.
Theuretzbacher, N.
Electrical communication, 1986, 60 (02): : 147 - 153
[22] ON GUARANTEEING HARD REAL-TIME TASKS
MORON, CE
ZEDAN, H
MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 485 - 490
[23] Systematic security and timeliness tradeoffs in real-time embedded systems
Kang, Kyoung-Don
Son, Sang H.
12TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2006, : 183 - +
[24] Introducing a component technology for safety critical embedded real-time systems
Sandström, K
Fredriksson, J
Åkerholm, M
COMPONENT-BASED SOFTWARE ENGINEERING, 2004, 3054 : 194 - 208
[25] Scheduling and Timing Analysis for SAFETY-CRITICAL REAL-TIME SYSTEMS
Burns, Alan
Dale, Chris
ELECTRONICS WORLD, 2010, 116 (1886): : 18 - 20
[26] On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems
Alahmad, Bader
Gopalakrishnan, Sathish
PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS (RTNS 2018), 2018,
[27] FORMAL METHODS FOR THE SPECIFICATION AND DESIGN OF REAL-TIME SAFETY CRITICAL SYSTEMS
OSTROFF, JS
JOURNAL OF SYSTEMS AND SOFTWARE, 1992, 18 (01) : 33 - 60
[28] Synchronization and communication results in safety-critical real-time systems
Lonn, Henrik
Doktorsavhandlingar vid Chalmers Tekniska Hogskola, 1999, (1535): : 1 - 157
[29] Models for automatic generation of safety-critical real-time systems
Buckl, Christian
Regensburger, Matthias
Knoll, Alois
Schrott, Gerhard
ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2007, : 580 - +
[30] SaveCCM -: a component model for safety-critical real-time systems
Hansson, H
Åkerholm, M
Crnkovic, I
Törngren, M
PROCEEDINGS OF THE 30TH EUROMICRO CONFERENCE, 2004, : 627 - 635

← 1 2 3 4 5 →