A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability

IEEE Transactions on Reliability ◽

10.1109/tr.2018.2806349 ◽

2018 ◽

Vol 67 (2) ◽

pp. 481-493 ◽

Author(s):

Jin Cui ◽

Zhenhua Duan ◽

Cong Tian ◽

Hongwei Du

Keyword(s):

Real Time ◽

High Reliability ◽

Real Time Systems ◽

Novel Approach ◽

Download Full-text

A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_16 ◽

2004 ◽

pp. 157-166

Author(s):

Raimundo Barreto ◽

Paulo Maciel ◽

Marília Neves ◽

Eduardo Tavares ◽

Ricardo Lima

Keyword(s):

Real Time ◽

Multiprocessor Scheduling ◽

Real Time Systems ◽

Novel Approach ◽

Hard Real Time ◽

Download Full-text

A Novel Approach to Modechart Verification of Real-Time Systems

Computer Aided Systems Theory – EUROCAST 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27549-4_72 ◽

2012 ◽

pp. 559-567

Author(s):

Jan Fiedor ◽

Marek Gach ◽

Milan Češka

Keyword(s):

Real Time ◽

Real Time Systems ◽

Novel Approach ◽

Download Full-text

Hardware vs. software design tradeoffs for maintenance functions in high-reliability real time systems

10.1109/cmpsac.1978.810492 ◽

2005 ◽

Author(s):

F.M. Goetz ◽

D.C. Plisch

Keyword(s):

Real Time ◽

Software Design ◽

High Reliability ◽

Real Time Systems ◽

Design Tradeoffs ◽

Download Full-text

A Novel Approach to Power Saving for Real-Time Systems

International Journal of Digital Content Technology and its Applications ◽

10.4156/jdcta.vol5.issue10.22 ◽

2011 ◽

Vol 5 (10) ◽

pp. 181-189

Author(s):

Miao Wang ◽

Taogai Zhang ◽

Hongshan Qu ◽

Jian Li

Keyword(s):

Real Time ◽

Power Saving ◽

Real Time Systems ◽

Novel Approach ◽

Download Full-text

Software Engineering for Real Time Systems

10.1049/ir:19920047 ◽

1992 ◽

Vol 38 (3) ◽

pp. 112

Author(s):

Stuart Bennett

Keyword(s):

Software Engineering ◽

Real Time ◽

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

Generic Round Robin Scheduling for Real Time Systems

International Journal of Advanced Research in Computer Science and Software Engineering ◽

10.23956/ijarcsse/sv7i5/0125 ◽

2017 ◽

Vol 7 (5) ◽

pp. 148-155

Author(s):

Pallab Banerjee ◽

◽

Riya Shree ◽

Richa Kumari Verma ◽

◽

...

Keyword(s):

Real Time ◽

Round Robin ◽

Real Time Systems ◽

Download Full-text

Low Power Scheduling for Embedded Real-Time Systems with Quality of Service Constraint

Advanced Materials and Information Technology Processing ◽

10.2495/amitp130461 ◽

2014 ◽

Author(s):

Linwei Niu

Keyword(s):

Quality Of Service ◽

Low Power ◽

Real Time ◽

Real Time Systems ◽

Power Scheduling ◽

Download Full-text

Enhancing functionality of real time systems through machine learning

10.2514/6.1993-4662 ◽

1993 ◽

Author(s):

Z. Chen

Keyword(s):

Machine Learning ◽

Real Time ◽

Real Time Systems ◽

Download Full-text

Two Improved EDF Dynamic Scheduling Algorithms in Soft Real-Time Systems

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2011.00943 ◽

2011 ◽

Vol 34 (5) ◽

pp. 943-950 ◽

Author(s):

Qi LI ◽

Wei BA

Keyword(s):

Real Time ◽

Dynamic Scheduling ◽

Scheduling Algorithms ◽

Real Time Systems ◽

Download Full-text