A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems
2012
2012 12th International Conference on Quality Software
Controller automata are a formal theory to model and analyze real-time systems with mutex components. It is mainly designed for a small scale real-time system in the lowlevel sequential behaviors, where control passing is explicitly handled. A controller automaton properly extends a timed automaton. Given a strict partial order over states, an ordered controller automaton can be faithfully translated into a timed automaton. We present a tool named EMERALD to translate ordered controller
doi:10.1109/qsic.2012.27
dblp:conf/qsic/ZhangLL12
fatcat:esdzm7bluvfqvmhtj6ybng2ntu