The traffic light is TIMEd and lets cars pass during a
specific TIME period. There is a pedestrial crossing
button that lets pedestrians cross. The lights are
connected to Port 1. You can see this in action using
dScope.
這篇論文描述了一種設計Hard Real TIME System的結構方法HRT-HOOD，由York大學的兩位教授提出，York大學的Real TIME System Group是關于實時系統研究的世界領先機構，研究內容具體可以登陸York的網站，或者參考出版書籍：Real TIME Systems and Programming Languages.
