on energy consumption and drifting clocks · 2009-11-05 · on energy consumption and drifting...
TRANSCRIPT
![Page 1: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/1.jpg)
On Energy Consumption and Drifting Clocks
and why models and algorithms are needed to assess their interplay
Holger HermannsDependable Systems and Software
Saarland University, Germany
VASYINRIA Rhône-Alpes, France
![Page 2: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/2.jpg)
Holger Hermanns
Claim
There is an enormous spectrum of intriguing researchquestions out there
Many of them are crying for mathematically well-founded investigations.are very tough to investigate with current technology.
Often, there is no other way.
So, let‘s invest in better modelling and analysis techniques for them.
… in embedded system design
(my version of the MLQA mission)
![Page 3: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/3.jpg)
Holger Hermanns
How the practical guys look at the problems
Jan Beutel, ETHZPermaSense project @ Matterhorn
and many others
![Page 4: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/4.jpg)
Holger Hermanns
![Page 5: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/5.jpg)
Holger Hermanns
Example: ZigBee
Low-Rate Wireless Personal Area Network
250, 40, or 20 kbit/sdata rate
Sensors and Actors
![Page 6: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/6.jpg)
Holger Hermannssource: The University of Alabama in Huntsville www.ece.uah.edu/~jovanov/whrms/
ZigBee
active
stand by
sleep
5 A
16 mA
19 mA
Characteristics:
+ very low power consumption+ small range+ simple comm. protocol
- low data rate
![Page 7: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/7.jpg)
Holger Hermanns
ZigBee MAC Layer: IEEE 802.15.4
TDMA
Slotted CSMA/CA
Unslotted CSMA/CA
Configurable channel access types
Guaranteed time slots
Beacon determines
frame boundaries
Probabilistic
medium
access
![Page 8: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/8.jpg)
Holger Hermanns
IEEE 802.15.4
Superframe Structure
beacon beacon
Beacon Interval
Active Inactive
TDMACSMA/CA Time
![Page 9: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/9.jpg)
Holger Hermanns
Sleep, but do not oversleep
Principle:Coordinator sends periodic beacon signal to indicate slot boundaries.
Beacon interval ranges from 0.015 sec to 251.657 sec.
Sensors go sleep in between whenever possible.
Sensors are responsible for waking up on time, have their own clocks.
![Page 10: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/10.jpg)
Holger Hermanns
Wake up!
coordinatorclock
Sensorclock
Advan
ce of
cloc
ks
active stand by sleeping
![Page 11: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/11.jpg)
Holger Hermanns
Wake up!
coordinatorclock
Sensorclock
Advan
ce of
cloc
ks
active stand by sleeping
![Page 12: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/12.jpg)
Holger Hermanns
Wake up!
coordinatorclock
Sensorclock
Idea
l cloc
ks
Real
clocks
overslept!
active stand by sleeping
![Page 13: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/13.jpg)
Holger Hermanns
Wake up!
coordinatorclock
Sensorclock
Idea
l cloc
ks
Real
clocks
overslept!
active stand by sleeping
![Page 14: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/14.jpg)
Holger Hermanns
Wake up!
coordinatorclock
Sensorclock
Idea
l cloc
ks
Real
clocks
overslept!
active stand by sleeping
![Page 15: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/15.jpg)
Holger Hermanns
Possi
ble ‘d
rift‘
Wake up!
coordinatorclock
Sensorclock
Idea
l cloc
ks
Real
clocks
overslept!
active stand by sleeping
![Page 16: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/16.jpg)
Holger Hermanns
Make it better!
coordinatorclock
Sensorclock 1. Prepare sensors for worst case.
2. Re-synchronize clocks each time.3. ...4. ...5. ...
active stand by sleeping
![Page 17: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/17.jpg)
Holger Hermanns
![Page 18: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/18.jpg)
Holger Hermanns
Bad clocks cost energy
coordinatorclock
Sensorclock
active stand by sleeping
More frequent wakeups cost energy
Guaranteed time slots save energy
Unslottedcommunication appears best
![Page 19: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/19.jpg)
Holger Hermanns
Does Clock Precision Influence ZigBee‘s Energy Consumption?
[Gross, H, Pulungan: OPODIS 2007]
Well, yes. To a marginal extent.Drift is amplified by a factor of up to 60.
Half a day per year battery lifetime.
![Page 20: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/20.jpg)
Holger Hermanns
Problem Synopsis
The particular question considered here can not be answered by lab experiments, mainly because
clock drift is uncontrollable.
Furthermore battery lifetime effects take long to manifest
themselves.lab conditions are very difficult to establish.
![Page 21: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/21.jpg)
Holger Hermanns
![Page 22: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/22.jpg)
Holger Hermanns
Modeling
par{::coordinator() ::station()
}
par{::coordinator() ::station()
}
process coordinator() {
alt{:: do_act1:: do_act4
}
}
process coordinator() {
alt{:: do_act1:: do_act4
}
}
process station() {
do{:: do_act2:: do_act3
}
}
process station() {
do{:: do_act2:: do_act3
}
}
![Page 23: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/23.jpg)
Holger Hermanns
ModelingProbabilistic Choice
par{::coordinator() ::station()
}
par{::coordinator() ::station()
}
process coordinator() {
palt{:1: do_act1:9: do_act4
}
}
process coordinator() {
palt{:1: do_act1:9: do_act4
}
}
process station() {
do{:: do_act2:: do_act3
}
}
process station() {
do{:: do_act2:: do_act3
}
}
![Page 24: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/24.jpg)
Holger Hermanns
ModelingTime
par{::coordinator() ::station()
}
par{::coordinator() ::station()
}
process coordinator() {
do{:: do_act1:: comm_starts ; comm_ends
}
}
process coordinator() {
do{:: do_act1:: comm_starts ; comm_ends
}
}
process station() { clock c;do{:: do_act2
:: comm_starts {= c=0 =} ;when (c==10) comm_ends
}}
process station() { clock c;do{:: do_act2
:: comm_starts {= c=0 =} ;when (c==10) comm_ends
}}
![Page 25: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/25.jpg)
Holger Hermanns
ModelingRandom Variable
par{::coordinator() ::station()
}
par{::coordinator() ::station()
}
process coordinator() {
do{:: do_act1:: comm_starts ; comm_ends
}
}
process coordinator() {
do{:: do_act1:: comm_starts ; comm_ends
}
}
process station() { clock c;do{:: do_act2
:: comm_starts {= c=0 =} ;when (c==Exponential(10)) comm_ends
}}
process station() { clock c;do{:: do_act2
:: comm_starts {= c=0 =} ;when (c==Exponential(10)) comm_ends
}}
![Page 26: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/26.jpg)
Holger Hermanns
ModelingState Variable
par{::coordinator() ::station()
}
par{::coordinator() ::station()
}
process coordinator() {
do{:: do_act1:: comm_starts ; comm_ends
}
}
process coordinator() {
do{:: do_act1:: comm_starts ; comm_ends
}
}
process station() { clock c;int sent = 0;do{:: do_act2
:: comm_starts {= c=0 =} ;when (c==Exponential(10))comm_ends {= sent+= 1 =}
}}
process station() { clock c;int sent = 0;do{:: do_act2
:: comm_starts {= c=0 =} ;when (c==Exponential(10))comm_ends {= sent+= 1 =}
}}
![Page 27: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/27.jpg)
Holger Hermanns
ModelingThe Real System Model
par{::coordinator()
::station_1() ::station_2()
...::station_10()
}
par{::coordinator()
::station_1() ::station_2()
...::station_10()
}
![Page 28: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/28.jpg)
Holger Hermanns
ModelingRelabeling
par{::coordinator()
::relabel{...} by {....} station(1) ::relabel{...} by {....} station(2)
...::relabel{...} by {....} station(10)
}
par{::coordinator()
::relabel{...} by {....} station(1) ::relabel{...} by {....} station(2)
...::relabel{...} by {....} station(10)
}
![Page 29: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/29.jpg)
Holger Hermanns
ModelingThe Coordinator
process coordinator() { clock btimer, c;
do{:: sendb_start{= c=0, btimer=0, bintheair=true =} ;
when(c==52) sendb_end{= bintheair=false =} ;
when(btimer==binterval)}
}
process coordinator() { clock btimer, c;
do{:: sendb_start{= c=0, btimer=0, bintheair=true =} ;
when(c==52) sendb_end{= bintheair=false =} ;
when(btimer==binterval)}
}
![Page 30: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/30.jpg)
Holger Hermanns
ModelingThe Station
process station(int id) { ...
do{::when(bintheair)beacon_received {= mainclock=0, ttosend=sendingtime =} ; when(!bintheair) attempt_sending ; do{::when(ttosend==0 || !enoughtime)
do_nothing {= enoughtime=true =} ; break ::when(ttosend>0 && enoughtime)
start_csmaca... \\ Slotted CSMA/CA Code Here
}...
}...}
process station(int id) { ...
do{::when(bintheair)beacon_received {= mainclock=0, ttosend=sendingtime =} ; when(!bintheair) attempt_sending ; do{::when(ttosend==0 || !enoughtime)
do_nothing {= enoughtime=true =} ; break ::when(ttosend>0 && enoughtime)
start_csmaca... \\ Slotted CSMA/CA Code Here
}...
}...}
![Page 31: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/31.jpg)
Holger Hermanns
ModelingThe Station (contd.).. ... 17 alt{ 18 ::when(mainclock>=CAP-backofftime-ccatime) {= enoughtime=false =} ; break 19 ::when(mainclock<CAP-backofftime-ccatime) 20 when(c==backofftime) {= c=0 =} ; 21 do{::when(c==ccatime) 22 alt{::when(sending>0) 23 alt{::when(NB<=maxbackoff)
channel_busy {=CW=2,NB=NB+1,BE=(BE<6)?BE+1:6=} ; break 24 ::when(NB>maxbackoff) {= restart=true =} ; break }25 ::when(sending==0 && mainclock<CAP-attosend-960)
count_down_CW {= CW=CW-1 =} ; 26 alt{::when(CW==0) wait_for_boundary ; 27 when (c==320) send_message_start {= sending+=1, c=0 =} ; 28 when (c==attosend) send_message_end 29 {= ttosend-=attosend, sending-=1, restart=true =} ; break 30 ::when(CW>0) wait_for_boundary ; 31 when(c==320) {= c=0 =} } 32 ::when(sending==0 && mainclock>=CAP-attosend-960) 33 {= enoughtime=false, restart=true =} ; break } 34 } ; alt{::when(restart) {= restart=false =} ; break 35 ::when(!restart) 36 } } } } } }
![Page 32: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/32.jpg)
Holger Hermanns
ModelingEnergy Consumption
...do{:: when (CW==0) start_on_next_backoff_boundary ; when (c1==320) start_send_message {= sending+=1, c2=0 =} ;when (c2==actual_to_send) finish_send_message
{= still_to_send-=actual_to_send, sending-=1, messages_sent[id]+=1, continue_backoff=0, message_to_send=0, time_in_tx_mode[id] += actual_to_send + 194
=} ; break :: ...}
...do{:: when (CW==0) start_on_next_backoff_boundary ; when (c1==320) start_send_message {= sending+=1, c2=0 =} ;when (c2==actual_to_send) finish_send_message
{= still_to_send-=actual_to_send, sending-=1, messages_sent[id]+=1, continue_backoff=0, message_to_send=0, time_in_tx_mode[id] += actual_to_send + 194
=} ; break :: ...}
Chipcon CC2420from Texas Instruments
![Page 33: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/33.jpg)
Holger Hermanns
ModelingClock Precision
Inaccuracy ppm means at time :
Maximal clock drift allowed is 40 ppmWaiting time:
...when(c1 == wait_in_backoff- wait_in_backoff * precision[id]+ wait_in_backoff * random_drifts[id])
perform_cca {= c2=0, ... =}...
...when(c1 == wait_in_backoff- wait_in_backoff * precision[id]+ wait_in_backoff * random_drifts[id])
perform_cca {= c2=0, ... =}...
![Page 34: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/34.jpg)
Holger Hermanns
Modest, a language for stochastic timed system
Rooted in classical process algebra: atomic actions, sequential & parallel composition, nondeterministic choice, looping
Probabilistic choice, exception handling, and hard and soft real-time aspects
Conventional programming constructs
Semantics: Stochastic Timed Automata (STA)
[Bohnenkamp, D'Argenio, H, Katoen: IEEE TSE 32(10)]
![Page 35: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/35.jpg)
Holger Hermanns
finite automatawith clocksand with costsmodular: composition of automata
with continuous probability distributionsand with discrete probabilistic branching
someone
y==don!y:=0;d:=U[5,55];
2%98%
40 mA0 mA
darkdark light
x==50 off!
on? x:=0; on? x:=0;
00,10,20,30,40,50,60,70,80,9
1
0 5 10 15 20 25 30 35 40 45 50 55 60
U[5,55]Pr(“on!” >t)
Stochastic Timed Automata
darkdark light
[Bohnenkamp, D'Argenio, H, Katoen: IEEE TSE 32(10)]
![Page 36: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/36.jpg)
Holger Hermanns
![Page 37: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/37.jpg)
Holger Hermanns
STA are as yet too expressive to be analysable (by us)no nondeterminism: Discrete event simulationno probabilism: real-time model checkingdiscrete probabilism only: PTA model-checking
What we do:Semi-automatic abstractionto arrive at a timed automata model.
UPPAAL to generate schedules with worst cost.
Derive insights on worst-case clock drifts
Code this worst case into the model
Motor/Möbius to simulate scheduled Modest specs.
Analysis Trajectory
![Page 38: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/38.jpg)
Holger Hermanns
ResultsPerfect Clock
![Page 39: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/39.jpg)
Holger Hermanns
ResultsDrifting Clock
![Page 40: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/40.jpg)
Holger Hermanns
![Page 41: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/41.jpg)
Holger Hermanns
Claim
There is an enormous spectrum of intriguing researchquestions out there
Many of them are crying for mathematically well-founded investigations.are very tough to investigate with current technology.
Often, there is no other way.
So, let‘s invest in better modelling and analysis techniques for them.
… in embedded system design
revisited
![Page 42: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/42.jpg)
Holger Hermanns
UPPAAL TOSSIM EmStarPRISM Avrora BeeMotor Glomosim ...
20-simModelicaMatlab...
How to validate a hypothesis ?
Simulation EmulationEmpirical
studiesModel
validation
![Page 43: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/43.jpg)
Holger Hermanns
How to validate a hypothesis ?
Simulation EmulationEmpirical
studiesModel
validation
General?
Time/cost effective?
Accurate?
Reproducible?
Scalable?
![Page 44: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/44.jpg)
Holger Hermanns
What we need
Simulation EmulationEmpirical
studiesModel
validation
From Models to Experimentation and Back
![Page 45: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/45.jpg)
Holger Hermanns
Why we need that
![Page 46: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/46.jpg)
Holger Hermanns
Why we need that
Jan Beutel, ETHZPermaSense project @ Matterhorn
and many others
![Page 47: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/47.jpg)
Holger Hermanns
What we need
Simulation EmulationEmpirical
studiesModel
validation
From Models to Experimentation and Back
The holy grail:
Sound models and sound abstractions
![Page 48: On Energy Consumption and Drifting Clocks · 2009-11-05 · On Energy Consumption and Drifting Clocks and why models and algorithms are needed to assess their interplay Holger Hermanns](https://reader034.vdocument.in/reader034/viewer/2022042307/5ed3dce173d3d245757008c9/html5/thumbnails/48.jpg)
Holger Hermanns