summaryrefslogtreecommitdiffstats
path: root/spec/score/timecounter/req/ntp-step.yml
blob: 29eade8c76a9a85c06358e964eb2dd879f0b7ca9 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
SPDX-License-Identifier: CC-BY-SA-4.0
copyrights:
- Copyright (C) 2021 embedded brains GmbH & Co. KG
enabled-by: true
links:
- role: requirement-refinement
  uid: ntp
functional-type: function
rationale: null
references: []
requirement-type: functional
text: |
  Let ``T`` be the seconds value of the ${/glossary/clock-realtime:/term} time
  point of the timehand which is currently updated, let ``S`` be the seconds
  value of the ${/glossary/clock-realtime:/term} time point of the previous
  timehand, let ``D`` be ``T`` minus ``S``, while the ${/glossary/ntp:/term}
  handler is not ${/c/if/null:/name}, while ``D`` is greater than or equal to
  one, while ``D`` is less than or equal to 200, while the timehand is updated,
  the ${/glossary/ntp:/term} handler shall be called exactly ``D`` times.
type: requirement