From aec1727fa3a62bfb5acf83325775262bc751b8a9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20K=C3=BChndel?= Date: Thu, 8 Apr 2021 15:07:13 +0200 Subject: spec: Add spec items for clock manager Adding the specification items to rtems-central for those methods of the clock manager which are mentioned in the space profile. The SRS requirements and their tests can be generated from these specification items. --- spec/rtems/clock/req/get-ticks-per-second.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 spec/rtems/clock/req/get-ticks-per-second.yml (limited to 'spec/rtems/clock/req/get-ticks-per-second.yml') diff --git a/spec/rtems/clock/req/get-ticks-per-second.yml b/spec/rtems/clock/req/get-ticks-per-second.yml new file mode 100644 index 00000000..13e8d1a4 --- /dev/null +++ b/spec/rtems/clock/req/get-ticks-per-second.yml @@ -0,0 +1,16 @@ +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/get-ticks-per-second +non-functional-type: interface +rationale: null +references: [] +requirement-type: non-functional +text: | + The ${../if/get-ticks-per-second:/name} function shall + return the number of clock ticks per second which is defined indirectly + by the CONFIGURE_MICROSECONDS_PER_TICK configuration option.. +type: requirement -- cgit v1.2.3