17.07.2015 Views

Advanced Laboratory on Embedded Systems S.r.l.

Advanced Laboratory on Embedded Systems S.r.l.

Advanced Laboratory on Embedded Systems S.r.l.

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

# nodeStatistical Model CheckingPerformance in critical scenariosClusters of nodes Scenario: 32 nodes, distance between the clusters 4 m, distance betweennodes [0.4, 2] m, clock drift of CAN c<strong>on</strong>troller ~N(0,150 ppm) SMC: 50000 samples → c<strong>on</strong>fidence interval: 0.01, error probability: 0.015 Theoretical limit: 1 Mbit/s → 40 m (analytic model)312927252321191715131197531Packet error probability estimati<strong>on</strong>Reference: “Message priority inversi<strong>on</strong> <strong>on</strong> a CAN bus”, Texas Instruments IncorporatedSimulated model:Analysis of critical scenarios not captured by the analytic model0.00% 0.50% 1.00% 1.50% 2.00% 2.50% 3.00%Packet error rate [%]Not negligible packet error rate at the theoretical length!7/9/2012 Alberto Ferrari - ALES S.r.l. 24

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!