Gap between two domain ·反应式系统 A/D Control-law D/A computation -Stimulus-Response:FSM ·同步组合 logical concurrency true i sync:temporally deterministic true pedestrian flow-analysis:response-time,e2e delay none waiting ·实时系统 sigG sigR crossing multitask models:concurrent tasks ·Event-driven ·priority,deadline IArchitecture Application schedulability analysis physical concurrency async:nondeterminism arrival order/computation time RTOS CoreGap between two domain • 反应式系统 – Stimulus-Response：FSM • 同步组合 – logical concurrency • sync：temporally deterministic • flow-analysis：response-time，e2e delay • 实时系统 – multitask models：concurrent tasks • Event-driven • priority，deadline • schedulability analysis – physical concurrency • async：nondeterminism • arrival order/computation time