diff options
Diffstat (limited to 'spec/rtems/task/req')
-rw-r--r-- | spec/rtems/task/req/mem-delete.yml (renamed from spec/rtems/task/req/mem-del.yml) | 0 | ||||
-rw-r--r-- | spec/rtems/task/req/mem-get-affinity.yml | 16 | ||||
-rw-r--r-- | spec/rtems/task/req/mem-get-priority.yml | 16 | ||||
-rw-r--r-- | spec/rtems/task/req/mem-get-scheduler.yml | 16 | ||||
-rw-r--r-- | spec/rtems/task/req/mem-mode.yml | 15 | ||||
-rw-r--r-- | spec/rtems/task/req/mem-set-affinity.yml | 16 | ||||
-rw-r--r-- | spec/rtems/task/req/mem-set-priority.yml | 16 | ||||
-rw-r--r-- | spec/rtems/task/req/mem-set-scheduler.yml | 16 | ||||
-rw-r--r-- | spec/rtems/task/req/mem-wake-after.yml | 16 | ||||
-rw-r--r-- | spec/rtems/task/req/mem-wake-when.yml | 15 |
10 files changed, 142 insertions, 0 deletions
diff --git a/spec/rtems/task/req/mem-del.yml b/spec/rtems/task/req/mem-delete.yml index f09c2bc6..f09c2bc6 100644 --- a/spec/rtems/task/req/mem-del.yml +++ b/spec/rtems/task/req/mem-delete.yml diff --git a/spec/rtems/task/req/mem-get-affinity.yml b/spec/rtems/task/req/mem-get-affinity.yml new file mode 100644 index 00000000..0643b450 --- /dev/null +++ b/spec/rtems/task/req/mem-get-affinity.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de +enabled-by: true +links: +- role: requirement-refinement + uid: ../../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 a call to + ${../if/get-affinity:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-get-priority.yml b/spec/rtems/task/req/mem-get-priority.yml new file mode 100644 index 00000000..78b8c538 --- /dev/null +++ b/spec/rtems/task/req/mem-get-priority.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de +enabled-by: true +links: +- role: requirement-refinement + uid: ../../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 a call to + ${../if/get-priority:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-get-scheduler.yml b/spec/rtems/task/req/mem-get-scheduler.yml new file mode 100644 index 00000000..a3cb6db8 --- /dev/null +++ b/spec/rtems/task/req/mem-get-scheduler.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de +enabled-by: true +links: +- role: requirement-refinement + uid: ../../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 a call to + ${../if/get-scheduler:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-mode.yml b/spec/rtems/task/req/mem-mode.yml new file mode 100644 index 00000000..e939e182 --- /dev/null +++ b/spec/rtems/task/req/mem-mode.yml @@ -0,0 +1,15 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de +enabled-by: true +links: +- role: requirement-refinement + uid: ../../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 a call to ${../if/mode:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-set-affinity.yml b/spec/rtems/task/req/mem-set-affinity.yml new file mode 100644 index 00000000..cb68b890 --- /dev/null +++ b/spec/rtems/task/req/mem-set-affinity.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de +enabled-by: true +links: +- role: requirement-refinement + uid: ../../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 a call to + ${../if/set-affinity:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-set-priority.yml b/spec/rtems/task/req/mem-set-priority.yml new file mode 100644 index 00000000..0cdb2485 --- /dev/null +++ b/spec/rtems/task/req/mem-set-priority.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de +enabled-by: true +links: +- role: requirement-refinement + uid: ../../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 a call to + ${../if/set-priority:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-set-scheduler.yml b/spec/rtems/task/req/mem-set-scheduler.yml new file mode 100644 index 00000000..d174ee16 --- /dev/null +++ b/spec/rtems/task/req/mem-set-scheduler.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de +enabled-by: true +links: +- role: requirement-refinement + uid: ../../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 a call to + ${../if/set-scheduler:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-wake-after.yml b/spec/rtems/task/req/mem-wake-after.yml new file mode 100644 index 00000000..cc5ecaf3 --- /dev/null +++ b/spec/rtems/task/req/mem-wake-after.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de +enabled-by: true +links: +- role: requirement-refinement + uid: ../../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 a call to + ${../if/wake-after:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-wake-when.yml b/spec/rtems/task/req/mem-wake-when.yml new file mode 100644 index 00000000..5603446d --- /dev/null +++ b/spec/rtems/task/req/mem-wake-when.yml @@ -0,0 +1,15 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de +enabled-by: true +links: +- role: requirement-refinement + uid: ../../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 a call to ${../if/wake-when:/name}. +type: requirement |