The Real-Time Problem:缺乏时间语义! o Programming languages have no time in their core semantics o Temporal properties are viewed as “non-functional'" o Precise timing is poorly supported by hardware architectures o Operating systems provide timed behavior on a best-effort basis (e.g. using priorities). o Priorities are widely misused in practice:缺乏时间语义!