Application models of CPS ·反应式系统 Architecture event models:event streams Application response-time,end-to-end delay ·flow-analysis jue indin sync:temporally deterministic RTOS ·logical concurrency Core ·实时系统 task models:concurrent tasks finishing-time,deadline 0 0 1 schedulability analysis i2 0 0 - async:nondeterminism o 十十十 physical concurrency 60 arrival order/computation time (physical time) (logical time)Application models of CPS • 反应式系统 – event models：event streams • response-time，end-to-end delay • flow-analysis – sync：temporally deterministic • logical concurrency • 实时系统 – task models：concurrent tasks • finishing-time，deadline • schedulability analysis – async：nondeterminism • physical concurrency • arrival order/computation time