Advanced Laboratory on Embedded Systems S.r.l.

More documents

Recommendations

Info

OTIS Elevators3. JIS:GeN2-JIS2. ANSI:Gen2/GEM1. EN: GeN2-CxRemote monitoring and control7/9/2012Alberto Ferrari – ALES S.r.l.4
PressureInert Gas Fire SuppressionEmbedded systems modeling for fast verification,function reuse & reduced risksControl Panel:Control logic,communicationsSensorsGasdischargenozzleInflow determined bymass flow, temperatureand gas concentrationO 2 concentration distributionVentOverpressuretime traceODE for cylinder/nozzledensity and temperatureGas cylinderModeling capabilityenables analysis anddesign of better firesuppression systemsTemperature distributionSpace to be protected andcomponents of fire suppression systemModeling enables analysis, decision support and designof robust control for fire suppression systemWithoutoverpressure controlWithoverpressure controlSafepressurelimit0 10 20 30 40 50 60 70Time (sec)Outcome – better and safer fire suppressionImplementation with minimal change in hardware7/9/2012Alberto Ferrari – ALES S.r.l.5
Page 1 and 2: Alberto Ferrari - Research Scientis
Page 3: UTC TODAY2009 Revenue - $53 billion
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 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?