Methodology for the Specification of Fault-Tolerant Real-Time Systems.

Mapping Intimacies ◽

10.21236/ada301296 ◽

1992 ◽

Author(s):

Kishor Trivedi

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Real Time Systems ◽

Download Full-text

An adaptive scheduling algorithm for fault-tolerant real-time systems

Software Engineering Journal ◽

10.1049/sej.1991.0013 ◽

1991 ◽

Vol 6 (3) ◽

pp. 93 ◽

Author(s):

Houssine Chetto ◽

Maryline Chetto

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Scheduling Algorithm ◽

Adaptive Scheduling ◽

Real Time Systems ◽

Download Full-text

Application-Driven Reliability Measures and Evaluation Tool for Fault-Tolerant Real-Time Systems

10.21236/ada387844 ◽

2001 ◽

Author(s):

C. M. Krishna ◽

I. Koren

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Real Time Systems ◽

Evaluation Tool ◽

Reliability Measures ◽

Download Full-text

Determining redundancy levels for fault tolerant real-time systems

IEEE Transactions on Computers ◽

10.1109/12.364540 ◽

1995 ◽

Vol 44 (2) ◽

pp. 292-301 ◽

Author(s):

Fuxing Wang ◽

K. Ramamritham ◽

J.A. Stankovic

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Real Time Systems ◽

Download Full-text

Towards a schedulable fault tolerant HW-SW mapping for real time systems

2012 15th International Conference on Computer and Information Technology (ICCIT) ◽

10.1109/iccitechn.2012.6509718 ◽

2012 ◽

Author(s):

Muhammad Sheikh Sadi ◽

Md. Noor Alam Shuvo ◽

Md. Anisur Rahman

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Real Time Systems ◽

Download Full-text

Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-55092-5_31 ◽

1992 ◽

pp. 571-590 ◽

Author(s):

Peter Coesmans ◽

Martin J. Wieczorek

Keyword(s):

Modal Logic ◽

Real Time ◽

Formal Specification ◽

Fault Tolerant ◽

Real Time Systems ◽

Download Full-text

Fault-Tolerant Energy Management for Real-Time Systems with Weakly Hard QoS Assurance

IEEE INFOCOM 2021 - IEEE Conference on Computer Communications ◽

10.1109/infocom42981.2021.9488822 ◽

2021 ◽

Author(s):

Linwei Niu

Keyword(s):

Real Time ◽

Energy Management ◽

Fault Tolerant ◽

Real Time Systems ◽

Download Full-text

Fault-Tolerant Scheduling in Distributed Real-Time Systems

Parallel Processing and Applied Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24669-5_17 ◽

2004 ◽

pp. 125-130

Author(s):

Nguyen Duc Thai

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Real Time Systems ◽

Download Full-text

A fault-tolerant dynamic scheduler for distributed hard-real-time systems

Proceedings of IEEE Pacific Rim Conference on Communications Computers and Signal Processing ◽

10.1109/pacrim.1993.407172 ◽

2002 ◽

Author(s):

A. Srinivasan ◽

G. Shoja

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Real Time Systems ◽

Hard Real Time ◽

Dynamic Scheduler ◽

Download Full-text

Fault-tolerant and power-aware scheduling in embedded real-time systems

2020 International Conference on Computer, Information and Telecommunication Systems (CITS) ◽

10.1109/cits49457.2020.9232471 ◽

2020 ◽

Author(s):

Ping Zhu ◽

DongMei Luo ◽

Xuhui Chen

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Real Time Systems ◽

Time Systems ◽

Power Aware Scheduling

Download Full-text

A fault-tolerant scheduler for distributed real-time systems

[1991] IEEE Pacific Rim Conference on Communications, Computers and Signal Processing Conference Proceedings ◽

10.1109/pacrim.1991.160719 ◽

2002 ◽

Author(s):

A. Srinivasan ◽

G.C. Shoja

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Real Time Systems ◽

Download Full-text