summaryrefslogtreecommitdiffstats
path: root/spec/score/timecounter/req/tick-large-delta.yml
blob: b278cb5134876e82f3a86cd500b3f9cfa5910c7b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
SPDX-License-Identifier: CC-BY-SA-4.0
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
- role: requirement-refinement
  uid: ../if/group
functional-type: function
rationale: null
references: []
requirement-type: functional
text: |
  While the oldest timehand was not updated for one second or more, while the
  time interval from the time point of the timehand to the time point of the
  update is measureable with the timecounter of the timehand, the time point of
  the timehand shall be incremented by the time interval.
type: requirement