Table 4 The new safety requirement SafeReq7 to prevent from opening an external door when the train is leaving the station
| Name | Safety Requirement |
|---|---|
| SafeReq7 | GIVEN the train is leaving the station AND an external door is closed |
| WHEN a passenger requests to open an external door | |
| THEN the door controller shall keep the external door closed |