6.3. Section D.8: Monotonic Time

Q: D.8(39)
Q: D.8(40)
Q: D.8(41)
Q: D.8(44)
Q: D.8(45)

Q: D.8(39)

An upper bound on the real-time duration of a clock tick. This is a value D such that if t1 and t2 are any real times such that t1 < t2 and Clockt1 = Clockt2 then t2 − t1 <= D.

A: One microsecond.

Q: D.8(40)

An upper bound on the size of a clock jump.

A: One microsecond.

Q: D.8(41)

An upper bound on the drift rate of Clock with respect to real time. This is a real number D such that

E*(1-D) <= (Clockt+E − Clockt) <= E*(1+D) provided that: Clockt + E*(1+D) <= Time_Last.

where Clockt is the value of Clock at time t, and E is a real time duration not less than 24 hours. The value of E used for this metric shall be reported.

A: This value is determined by the target hardware.

Q: D.8(44)

An upper bound on the execution time of a call to the Clock function, in processor clock cycles.

A: The Clock function execute in less than 2 microseconds at 10MHz.

Q: D.8(45)

Upper bounds on the execution times of the operators of the types Time and Time_Span, in processor clock cycles.

A: tbs