From: Symbolic execution and timed automata model checking for timing analysis of Java real-time systems
System | Exec. Env. | Analysis time | |
---|---|---|---|
SymRT | TetaSARTS | ||
Minepump | HVM+AVR | 14 h 12 m | 15 h 25 m |
Minepump | HVM+AVRTS | <1 s | 2 s |
Minepump | JOP | <1 s | 1 s |
RTSM | HVM+AVRTS | <1 s | 1 m 2 s |
RTSM | JOP | <1 s | 5 s |
MD5SCJ | HVM+AVRTS | <1 s | 8 s |
MD5SCJ | JOP | <1 s | 1 m 23 s |
MER | HVM+AVRTS | <1 s | – |
MER | JOP | <1 s | – |
Lift | HVM+AVRTS | 33 m 6 s | – |
Lift | JOP | 15 m 43 s | – |