Login / Signup
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.
Jiaxiang Liu
Min Zhou
Xiaoyu Song
Ming Gu
Jiaguang Sun
Published in:
IEEE Trans. Ind. Electron. (2017)
Keyphrases
</>
real time
formal specification
formal methods
scheduling problem
formal analysis
scheduling algorithm
model checking
formal model
hardware implementation
real time systems
operational semantics
real time database systems
dedicated hardware
false acceptance rate
activity monitoring
grid workflow