Automata Theory and Its Applications
Automata Theory and Its Applications
Fast LTL to Büchi Automata Translation
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Hard Real-Time Garbage-Collection in the Jamaica Virtual Machine
RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Testing Linear Temporal Logic Formulae on Finite Execution Traces
Testing Linear Temporal Logic Formulae on Finite Execution Traces
Concurrent and Real-Time Programming in Java
Concurrent and Real-Time Programming in Java
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Concurrent, parallel, real-time garbage-collection
Proceedings of the 2010 international symposium on Memory management
Ji.Fi: visual test and debug queries for hard real-time
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Hi-index | 0.00 |
JamaicaVM is a real-time capable Java virtual machine used in the embedded domain. We report on work towards monitoring properties, specified with linear temporal logic, of (concurrent) applications running on JamaicaVM. The approach is based on observing events emitted by the scheduler of the virtual machine while it runs. Consequently it is also amenable to monitoring internals of the virtual machine itself.