• 分布式实时系统 – Leslie Lamport • “A system is distributed if the message transmission delay is not negligible compared to the time between events in a single process.” [Lam78b]. • Real-Time Systems and Dependable Systems – Temporal properties • Timing constraints on interface, including ordering restrictions • 分布式通信协议 – OSI collapsed model – LIN/CAN • 时间同步 • TTP协议 • H. Kopetz. • P. Veríssimo and L. Rodríguez