Skip to main content

Table 4 The new safety requirement SafeReq7 to prevent from opening an external door when the train is leaving the station

From: Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems

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