Towards Fault-Tolerant Real-Time Systems by Using Petri Nets

Application and Theory of Petri Nets - Informatik-Fachberichte ◽

10.1007/978-3-642-68353-4_39 ◽

1982 ◽

pp. 228-233

Author(s):

J. M. Ayache ◽

P. Azéma ◽

M. Diaz

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

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

10.21236/ada301296 ◽

1992 ◽

Author(s):

Kishor Trivedi

Keyword(s):

Real Time ◽

Fault Tolerant ◽

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

New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages

Proceedings of the 10th International Conference on Software Engineering and Applications ◽

10.5220/0005514003300338 ◽

2015 ◽

Author(s):

Mohamed Naija ◽

Samir Ben Ahmed ◽

Jean-Michel Bruel

Keyword(s):

Real Time ◽

Schedulability Analysis ◽

Real Time Systems ◽

Early Design ◽

Early Design Stages ◽

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

Scheduling hard real time systems using high-level Petri nets

Application and Theory of Petri Nets 1992 - Lecture Notes in Computer Science ◽

10.1007/3-540-55676-1_6 ◽

1992 ◽

pp. 93-112 ◽

Author(s):

Giorgio Bruno ◽

Andrea Castella ◽

Gianpaolo Macario ◽

Marco P. Pescarmona

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Download Full-text