关键词：实时离散事件系统；实时操作；实时嵌入式软件
摘 要：In spite of the significance of time in the dynamicsof the physical world, real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. PTIDES (Programming Temporally Integrated Distributed Embedded Systems) is a programming model whose goal is to addressthis problem.It proposes a model-based design approach for the programming of distributed real-time embedded systems, in which the timing of real-time operations is specified as part of the model.