Performance Modelling and Analysis with SHE using the Formal

Performance Modelling and Analysis with SHE using the Formal

technische universiteit eindhoven
Department of Electrical Engineering
Electronic Systems
“Nothing is more simple than greatness;
indeed, to be simple is to be great”
Ralph Waldo Emerson (1803 - 1882)
%
!
"#
!
!
!
!
!$
!
!%
&
Electronic Systems
!"
'
%
!
"#
!
!
!
!
!$
!
!%
&
Electronic Systems
#
(
! )
"
! ,
!
!
"
*
"
"
"
"
*
-
&
+
.
4
!
*
!
!
!
!
+
-
! ,
!
! %
&
/
5
+
0
0
/
3
-#
$
&
$
0
4
6 &
"#
1
11
111
12
6 &
Electronic Systems
!$ %
7
!
)
&
8
'
'
-)
!
! 9
!
! ,
)
.
"
&
!
!
!
! $
!
"
2
:
-:
!
.
!
!
!
! %
"
2
"
! ,
!
)
! 6
-6
"6 ,
Electronic Systems
!"
;
!
8
.
"
!
"
!
#
!
!
!
!
!
!
!
$
.
6
%
<
!
"
%
"
$
*
!
!
+
"
,
.
"
$$
*=
0
/+
!
Electronic Systems
!"
>
!"
!
,
%)
.*
.*
#
+ ' *
'
(
!
# #
" #
!
(
#
*
*
+
/
.$ 0
Electronic Systems
?
%)
0 &
'
.*
9
B
F
τ C DE
A B
'
,
,
C DB
%
",
/
$
@ 6
Electronic Systems
E
(
1
0
! 9
"
4
3
-#
&
$
$
6
6
/
-
+
*
/
-
+
*
"#
"
G
*
! 5
*
+
+
Electronic Systems
00
BC
- 2
*
!
! ,
!
!
!
!
!
!
5
/
*1# 6
)
"
/ "
*1# 6
1
6
*
# +
%
*
# +
% $,
)
"1
1
1H B C C 5
/
*9
! 6
!
!
!
",
+
*, 5
1
,
+
/+
$
'
*, 5
1
$
,
I,
*
3
!
+
*
+
+
+
"
!
!
,2
%
*
6
+
$
5
*
2%
+
Electronic Systems
*
BB
!
!
!
!
!
*
*
! 1
!
!
*
+
@
-
"
0
"
+
! #
+
*
0 D D0
0
0&
0 <+
/
!
!
!
!
!
!
,
6
$
)
"
-
"
"
!
!
! 5
"
*
+
D D
D
D Electronic Systems
#
B
'
3
! ,
"
!
/
&
"
&
! ,
4
!
8
! 5
! %
!
&
&
4
4
*
+
/
1
8
&
!
&
!
&
.
! 3
/
! 3
A
!
!
&
&
&
Electronic Systems
3
B'
!
'
&
! 3
&
!
!
!
"J BC C K
BC C K
"
!
!
&
!
4L
!
/*
+0
&
!
4
"
-
Electronic Systems
%)
B(
' ' !
.
! 1
/
0
! 6
*
+
"
/
BD
D
/
&
!
&
BD 1
&
!
"
BD 1
D1
B
&
B
&
&
Electronic Systems