Applying Runtime Verification in Real-Time Systems with FreeRTOS.

Elton Ferreira Broering Leandro Buss Becker

Published in: SBESC (2022)

Keyphrases

real time systems
real time
distributed systems
embedded systems
real time database systems
mission critical
model checking
real time embedded
anytime algorithms
object oriented programming language
timing constraints