Testing Real-Time Systems With Runtime Enforcement.

Jean-Luc Béchennec Sébastien Faucou Olivier H. Roux Matthias Brun Louis-Marie Givel

Published in: IEEE Des. Test (2018)

Keyphrases

real time systems
real time
distributed systems
embedded systems
mission critical
timing constraints
anytime algorithms
object oriented programming language
test cases
access control
architectural model
database
artificial neural networks
real time database systems