Practical formal development of real-time systems

Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software ◽

10.1109/rtoss.1994.292563 ◽

2002 ◽

Cited By ~ 2

Author(s):

S.P. Bradley ◽

W.D. Henderson ◽

D. Kendall ◽

A.P. Robson

Keyword(s):

Real Time ◽

Real Time Systems ◽

Formal Development ◽

Time Systems

Download Full-text

Compositional Model for Formal Development of Real-Time Systems Design

AMAST Series in Computing - Real-Time Systems ◽

10.1142/9789812708472_0011 ◽

2007 ◽

pp. 237-261

Author(s):

F. Vazquez ◽

S. Rotenstreich

Keyword(s):

Real Time ◽

Systems Design ◽

Real Time Systems ◽

Compositional Model ◽

Formal Development ◽

Time Systems

Download Full-text

Formal development of remote interfaces for large-scale real-time systems

2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583) ◽

10.1109/icsmc.2004.1398285 ◽

2005 ◽

Cited By ~ 1

Author(s):

W. Hussak ◽

S.H. Yang

Keyword(s):

Real Time ◽

Large Scale ◽

Real Time Systems ◽

Formal Development ◽

Time Systems

Download Full-text

UML and the formal development of safety-critical real-time systems

10.1049/ic:19990008 ◽

1999 ◽

Cited By ~ 2

Author(s):

A.S. Evans

Keyword(s):

Real Time ◽

Real Time Systems ◽

Safety Critical ◽

Formal Development ◽

Time Systems

Download Full-text

Transformational formal development of real-time systems

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science ◽

10.1007/3-540-63010-4_13 ◽

1997 ◽

pp. 184-198 ◽

Cited By ~ 1

Author(s):

K. Lano ◽

A. Sanchez

Keyword(s):

Real Time ◽

Real Time Systems ◽

Formal Development ◽

Time Systems

Download Full-text

Software Engineering for Real Time Systems

IEE Review ◽

10.1049/ir:19920047 ◽

1992 ◽

Vol 38 (3) ◽

pp. 112

Author(s):

Stuart Bennett

Keyword(s):

Software Engineering ◽

Real Time ◽

Real Time Systems ◽

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 ◽

Cited By ~ 13

Author(s):

Houssine Chetto ◽

Maryline Chetto

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Scheduling Algorithm ◽

Adaptive Scheduling ◽

Real Time Systems ◽

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 ◽

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 ◽

Time Systems

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 ◽

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 ◽

Cited By ~ 2

Author(s):

Qi LI ◽

Wei BA

Keyword(s):

Real Time ◽

Dynamic Scheduling ◽

Scheduling Algorithms ◽

Real Time Systems ◽

Time Systems

Download Full-text