From 1362d9442f9269a32b55645dfd1d6112a08ef8c0 Mon Sep 17 00:00:00 2001 From: Pamela Dyer <pamela.dyer@uconn.edu> Date: Thu, 22 Jul 2021 15:58:01 +0000 Subject: [PATCH] Update Application_examples/Railroad_Crossing_Safety.mp --- Application_examples/Railroad_Crossing_Safety.mp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Application_examples/Railroad_Crossing_Safety.mp b/Application_examples/Railroad_Crossing_Safety.mp index ae7018e..b9b1050 100644 --- a/Application_examples/Railroad_Crossing_Safety.mp +++ b/Application_examples/Railroad_Crossing_Safety.mp @@ -18,6 +18,9 @@ References: Search terms: railroad crossing behavior; safety requirement; failure mode; event attribute, timing Instructions: Run for Scopes 1 and up. + Scope 1: 1 trace in less than 1 sec. + Scope 2: 2 traces in less than 1 sec. + Scope 3: 3 traces in less than 1 sec. ==========================================================*/ -- GitLab