Design, analysis and visualisation of embedded systems

1
Design, analysis and visualisation of embedded
systems

• Jan Friso Groote

2
Propositions for distributed embedded system
design
100 rule

• Behavioural models are important
• Analysis of the models is inevitable
• Visualisation of behaviour helps
• understanding

3
Models of behaviour (mCRL)
up
down
display
34
C(nNat)up.C(n1)
down.(C(n-1)?ngt0?error.d)
display(n).C(n)
4

Models of behaviour II
C(nNat)up.C(n1)
down.(C(n-1)?ngt0?error.C(0))
display(n).C(n)
ManSm read(m). Sk
read(k).inform(mk).Man System C(0) Man
C(0)
5
Requirements error may never occur
??error?true
inform reflects number of ups and downs
nX(nNat).(upX(n1) ? downX(n-1) ?
up ? downX(n) ?
?minform(m)nm)(0)
6
107 standard, 109 current limit
Transform to a finite statespace? Restrict to
say 2 persons
Personenter.leave.Person
Block error if n0
7
(No Transcript)
8
Visualize the structure of a state space
Visualiser.
9
Cluster nodes
Rank nodes
Start node
Back pointer
Phd of Frank van Ham
10
Draw tree as 3D object
11
Display with nodes and edges visible
12
Display with back pointers
13
Use color to highlight properties
Distance to the root
Probability to visit a node
14
0
1
2
k
n
Color on the values of variables
15
Color based on inform(n), n 0,1,2,3,4
16
Reduced behaviour modulo branching bisimulation
17
A larger example a modular hef system
start
start
stop
stop
start
start
stop
stop
Relay
18
The hef system with 2 legs
19
Lift system with three legs
20

Zoom into the deadlock
21
Hef system with 6 legs (500.000 states)
22

Kidcom (in2it)
Modelling of communication protocols took 4
manmonths of work.
But contained flaws
23

Starting in 2003 master embedded systems
(Embedded) System Design

• Formulate requirements
• Model the essential behaviour
• Analyse the behaviour by proving
• the requirements
• Implement

Architecture
My primary interest
Platforms
24
Recent applications
Lock control system for EUV wafer stepper
Dual pick and place safety layer design (Philips
CFT)
Course assignment (80 hrs)
Internship
25
Ambition
Be able to understand larger systems more
efficiently.
too complex
True progress comes from applications
26
Contact and downloads
J.F.Groote_at_tue.nl
mCRL toolset www.cwi.nl/mcrl
(for Linux, Unix, MacOsX, Windows with Cygwin)
FSM viewer www.win.tue.nl/fvham/fsm
(for Windows, Linux)