Common use of Data Constraints Clause in Contracts

Data Constraints. ‌ Apart from detecting delayed requests, other safety mechanisms in our industrial case check the distance that the table is allowed to move after detecting the absence of move requests. The distance should not exceed a certain value. This is schematically given below by showing the expected sequence of events when the table stops if move requests are no longer received: verticalPosition (X, InMove ) moveVertical // The last moveVertical ... no more moveVertical signals ...