12.7. There are two essential safety requirements for the train protection system:

 The train shall not enter a segment of track that is signaled with a red light.

 The train shall not exceed the specified speed limit for a section of track.

Assuming that the signal status and the speed limit for the track segment are transmitted to onboard software on the train before it enters the track segment, propose five possible functional system requirements for the onboard software that may be generated from the system safety requirements.