Steering of real-time systems based on monitoring and checking.

Oleg Sokolsky Sampath Kannan Moonjoo Kim Insup Lee Mahesh Viswanathan

Published in: WORDS (Fall) (1999)

Keyphrases

real time systems
real time
embedded systems
monitoring system
real time database systems
distributed systems
mission critical
embedded real time systems
architectural model
dynamic programming
timing constraints
real time embedded
object oriented programming language
machine learning