Advanced Laboratory on Embedded Systems S.r.l.

More documents

Recommendations

Info

Cyber Physical Systems – Abstracting TimeControl DomainElectrical Domainuntimed/DTtimedExecution platform (untimed)Infinite resources never failing…7/9/2012 Alberto Ferrari - ALES S.r.l. 10
Introducing Non Ideal Execution Platform…Control DomainElectrical DomainPerformance constraints (latency, safety)RTOS RTOS RTOS RTOS RTOSuntimed/DT7/9/2012 Alberto Ferrari - ALES S.r.l.timedtimed… adding time… adding failure modes- Impact on control function- HW/SW performance- Identify bottlenecks- Buffer size- Bandwidth capacity- End-to-end delay- Reconfigurations11
Page 1 and 2: Alberto Ferrari - Research Scientis
Page 3 and 4: UTC TODAY2009 Revenue - $53 billion
Page 5 and 6: PressureInert Gas Fire SuppressionE
Page 7 and 8: AEROSPACE SYSTEM EVOLUTION7/9/2012A
Page 9: Design and Verification ProcessesV
Page 13 and 14: Addressing Safety: Industrial pract
Page 15 and 16: Distribution of timeAnalysis vs Mea
Page 17 and 18: Distribution of timePredictability
Page 19 and 20: Predictable Architectures Communica
Page 21 and 22: Probabilistic Real-Time Analysis Ap
Page 23 and 24: Statistical model checkingApplicati
Page 25 and 26: ProsStatistical Model CheckingPros
Page 27: AcknowledgmentsChristian NastasiAle

Advanced Laboratory on Embedded Systems S.r.l.

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?