Advanced Laboratory on Embedded Systems S.r.l.
Advanced Laboratory on Embedded Systems S.r.l.
Advanced Laboratory on Embedded Systems S.r.l.
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Real-time and Safety Analysis Mapping functi<strong>on</strong>al network to theplatform:— Allocati<strong>on</strong>: static vs dynamic— Scheduling: static vs dynamic Design and verificati<strong>on</strong>:— Safety c<strong>on</strong>straints (design)• Robustness to faults (10 -7 -10 -11 )– Automotive: ISO26262– Avi<strong>on</strong>ics: ARP4761, DO178C– Building Automati<strong>on</strong>: IEC61508, ISO22201,EN 81-1/A1— Real-time c<strong>on</strong>straints (verify)• Latency• Resp<strong>on</strong>se time• Resource usageAssuming that the correct behavior isimplemented …Verificati<strong>on</strong>Functi<strong>on</strong>alRequirementsFuncti<strong>on</strong>alDescripti<strong>on</strong>Functi<strong>on</strong>/PlatformMappingSynthesisVerificati<strong>on</strong>N<strong>on</strong>Functi<strong>on</strong>alRequirementsPlatformDescripti<strong>on</strong>Verificati<strong>on</strong>Verificati<strong>on</strong>PlatformAbstracti<strong>on</strong> PlatformAbstracti<strong>on</strong>7/9/2012 Alberto Ferrari - ALES S.r.l.12
Change language