Advanced Laboratory on Embedded Systems S.r.l.

More documents

Recommendations

Info

Fault Tolerant Scheduling design flowPlantFaultBehaviorSensActSensSensActAbstractinput CoarseCTRL ArbiterBestAbstractOutFineCTRLIteratorAllocateScheduleMappingECU0CH0ECU1CH1ECU2OptimizeECU0 SensCH0ECU1 SensCH1ECU2 SensECU0CH0ECU1CH1SensSensCoarseCTRLInput CoarseCTRL ArbiterBest OutputInput FineCTRL ArbiterBest OutputCoarseCTRLInput CoarseCTRL ArbiterBest OutputActActActRefineCourtesy from Claudio PinelloSens Input FineCTRLArbiterBest Output ActSensInput CoarseCTRLArbiterBest OutputSensCoarseCTRLECU2Sens Input FineCTRL ArbiterBest OutputAct7/9/2012 Alberto Ferrari - ALES S.r.l. 14Act
Distribution of timeAnalysis vs MeasurementsBestmeasurementsWorstmeasurementsBest casepredictabilityWorst casepredictabilityLowerboundBestcaseWorstcaseUpperboundtime Experiment/Simulation is not exhaustive:— Partial sampling yields too optimistic behavior Analysis is complex, almost impractical— Simplified analysis yields too pessimistic resultsArchitectural elements with dynamic (non linear) behavior— State based information7/9/2012 Alberto Ferrari - ALES S.r.l. 15
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 and 10: Design and Verification ProcessesV
Page 11 and 12: Introducing Non Ideal Execution Pla
Page 13: Addressing Safety: Industrial pract
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?