Predictability of real-time systems: a process-algebraic approach

17th IEEE Real-Time Systems Symposium REAL-96 ◽

10.1109/real.1996.563703 ◽

2002 ◽

Author(s):

V. Natarajan ◽

R. Cleaveland

Keyword(s):

Real Time ◽

Algebraic Approach ◽

Real Time Systems ◽

Time Systems ◽

Process Algebraic

Download Full-text

A process algebraic approach to the specification and analysis of resource-bound real-time systems

Proceedings of the IEEE ◽

10.1109/5.259433 ◽

1994 ◽

Vol 82 (1) ◽

pp. 158-171 ◽

Author(s):

I. Lee ◽

P. Bremond-Gregoire ◽

R. Gerber

Keyword(s):

Real Time ◽

Algebraic Approach ◽

Real Time Systems ◽

Resource Bound ◽

Time Systems ◽

Process Algebraic

Download Full-text

Process algebraic approach to the parametric analysis of object scheduling in real-time systems

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems ◽

10.1109/wordsf.1999.842344 ◽

2003 ◽

Author(s):

Hee-Hwan Kwak ◽

Insup Lee

Keyword(s):

Real Time ◽

Parametric Analysis ◽

Algebraic Approach ◽

Real Time Systems ◽

Time Systems ◽

Process Algebraic

Download Full-text

A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2017.07.001 ◽

2017 ◽

Vol 92 ◽

pp. 1-18 ◽

Author(s):

Junkil Park ◽

Insup Lee ◽

Oleg Sokolsky ◽

Dae Yon Hwang ◽

Sojin Ahn ◽

...

Keyword(s):

Real Time ◽

Algebraic Approach ◽

Schedulability Analysis ◽

Real Time Systems ◽

Time Systems ◽

Process Algebraic

Download Full-text

A process algebraic framework for specification and validation of real-time systems

Formal Aspects of Computing ◽

10.1007/s00165-009-0119-6 ◽

2009 ◽

Vol 22 (2) ◽

pp. 153-191 ◽

Author(s):

Adnan Sherif ◽

Ana Cavalcanti ◽

He Jifeng ◽

Augusto Sampaio

Keyword(s):

Real Time ◽

Real Time Systems ◽

Algebraic Framework ◽

Time Systems ◽

Process Algebraic

Download Full-text

Process algebraic modelling and analysis of power-aware real-time systems

Computing & Control Engineering Journal ◽

10.1049/cce:20020404 ◽

2002 ◽

Vol 13 (4) ◽

pp. 180-188 ◽

Author(s):

Insup Lee ◽

A. Philippou ◽

O. Sokolsky

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems ◽

Process Algebraic ◽

Algebraic Modelling

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