Advanced Laboratory on Embedded Systems S.r.l.
Advanced Laboratory on Embedded Systems S.r.l.
Advanced Laboratory on Embedded Systems S.r.l.
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