Skip to main content

Table 3 Comparison of TETASARTS and SYMRT

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