Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude.

Peter Csaba Ölveczky Marco Caccamo

Published in: FASE (2006)

Keyphrases

scheduling algorithm
real time
response time
data acquisition
optimal solution
control system
scheduling problem
high fidelity
scheduling strategy