Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems.

Yizhou Zhang Hao Lin Guoqiang Li

Published in: QSIC (2012)

Keyphrases

real time systems
object oriented programming language
real time
embedded real time systems
architectural model
distributed systems
model checking
timing constraints
mission critical
real time database systems
real time embedded
artificial intelligence
cooperative
open source