diff options
Diffstat (limited to 'spec/dev')
-rw-r--r-- | spec/dev/clock/req/group.yml | 16 | ||||
-rw-r--r-- | spec/dev/clock/req/mem-clock.yml | 18 | ||||
-rw-r--r-- | spec/dev/clock/val/mem-clock.yml | 57 |
3 files changed, 91 insertions, 0 deletions
diff --git a/spec/dev/clock/req/group.yml b/spec/dev/clock/req/group.yml new file mode 100644 index 00000000..b33c30fb --- /dev/null +++ b/spec/dev/clock/req/group.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021, 2024 embedded brains GmbH & Co. KG +enabled-by: true +identifier: RTEMSDriverClockImpl +links: +- role: interface-ingroup + uid: ../../req/group +non-functional-type: design-group +rationale: null +references: [] +requirement-type: non-functional +text: | + The device driver component shall have a component containing + ${/glossary/clock-driver:/term} implementations. +type: requirement diff --git a/spec/dev/clock/req/mem-clock.yml b/spec/dev/clock/req/mem-clock.yml new file mode 100644 index 00000000..f3d097cb --- /dev/null +++ b/spec/dev/clock/req/mem-clock.yml @@ -0,0 +1,18 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH & Co. KG +enabled-by: true +links: +- role: requirement-refinement + uid: group +- role: requirement-refinement + uid: /rtems/req/mem-basic +non-functional-type: quality +rationale: null +references: [] +requirement-type: non-functional +text: | + The system shall provide a benchmark program to show the static memory usage + of a basic application configuration with the clock driver enabled + (${/acfg/if/appl-needs-clock-driver:/name}). +type: requirement diff --git a/spec/dev/clock/val/mem-clock.yml b/spec/dev/clock/val/mem-clock.yml new file mode 100644 index 00000000..c1757c12 --- /dev/null +++ b/spec/dev/clock/val/mem-clock.yml @@ -0,0 +1,57 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH & Co. KG +enabled-by: true +links: +- role: requirement-refinement + uid: /testsuites/membench +- role: validation + uid: ../req/mem-clock +test-brief: | + This static memory usage benchmark program facilitates a basic application + configuration with the clock driver enabled + (${/acfg/if/appl-needs-clock-driver:/name}). +test-code: | + static void Init( rtems_task_argument arg ) + { + (void) arg; + + /* Nothing to do */ + } + + #define TASK_ATTRIBUTES RTEMS_DEFAULT_ATTRIBUTES + + #define TASK_STORAGE_SIZE \ + RTEMS_TASK_STORAGE_SIZE( \ + RTEMS_MINIMUM_STACK_SIZE, \ + TASK_ATTRIBUTES ) + + #define CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER + + #define CONFIGURE_MAXIMUM_FILE_DESCRIPTORS 0 + + #define CONFIGURE_DISABLE_NEWLIB_REENTRANCY + + #define CONFIGURE_APPLICATION_DISABLE_FILESYSTEM + + #define CONFIGURE_IDLE_TASK_STORAGE_SIZE RTEMS_MINIMUM_STACK_SIZE + + #define CONFIGURE_MAXIMUM_TASKS 1 + + #define CONFIGURE_RTEMS_INIT_TASKS_TABLE + + #define CONFIGURE_INIT_TASK_ATTRIBUTES TASK_ATTRIBUTES + + #define CONFIGURE_INIT_TASK_INITIAL_MODES RTEMS_DEFAULT_MODES + + #define CONFIGURE_INIT_TASK_CONSTRUCT_STORAGE_SIZE TASK_STORAGE_SIZE + + #define CONFIGURE_INIT + + #include <rtems/confdefs.h> +test-description: null +test-includes: +- rtems.h +test-local-includes: [] +test-target: testsuites/membench/mem-bsp-clock.c +type: memory-benchmark |