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.
