Skip to main content
Journal of Internet Services and Applications

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

Back to article page