Skip to main content

Table 2 Simulation time comparison.

From: A Formal Model for Performance and Energy Evaluation of Embedded Systems

 

A1 (s)

A2 (s)

Task 1

2

4

Task 2

2

3

Task 3

1085

2