Skip to main content

Table 1 Comparison of SYMRT, TETASARTS, and WCA

From: Symbolic execution and timed automata model checking for timing analysis of Java real-time systems

System

SymRT(JPF-Symbc-rt)

TetaSARTS

WCA

Measured

   

Analysis

 

Analysis

 

Analysis

  
 

BCET

WCET

Time

WCET

Time

WCET

Time

BCET m

WCET m

 

[cycles]

[cycles]

[seconds]

[cycles]

[seconds]

[cycles]

[seconds]

[cycles]

[cycles]

Binary search

136

818

1

927

1

818

1

138

722

Bubble sort

653

1253

51

1770

2

1553

1

653

1253

Quick sort

1425

2638

510

18,749

5375

20,275

1

1425

1895

Insertion sort

774

2586

21

4600

1

4296

1

774

2586

Fibonacci

310

1438

4

1822

10

1438

1

310

1396

Select smallest

4075

8011

3

85,584

1274

81,743

1

4080

8003