summaryrefslogtreecommitdiffstats
path: root/spec/acfg
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2020-05-22 14:08:39 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2020-05-28 10:38:23 +0200
commit6aaf56cfecf971cadea90191fe0db36d9b19c8bc (patch)
tree0d7fb361d093fad27a62bcc6e1501c26d56ab6ae /spec/acfg
parentspec: Add requirement-refinement link role (diff)
downloadrtems-central-6aaf56cfecf971cadea90191fe0db36d9b19c8bc.tar.bz2
spec: Make constraints non-functional requirements
Diffstat (limited to 'spec/acfg')
-rw-r--r--spec/acfg/opt/constraintbspappmin.yml4
-rw-r--r--spec/acfg/opt/constraintidlestackarea.yml4
-rw-r--r--spec/acfg/opt/constraintisrstackalign.yml4
-rw-r--r--spec/acfg/opt/constraintisrstackarea.yml4
-rw-r--r--spec/acfg/opt/constraintmemsz.yml4
-rw-r--r--spec/acfg/opt/constraintposix.yml4
-rw-r--r--spec/acfg/opt/constraintprioclassic.yml4
-rw-r--r--spec/acfg/opt/constraintstackspace.yml4
-rw-r--r--spec/acfg/opt/constraintunlimited.yml4
-rw-r--r--spec/acfg/opt/constraintwkspace.yml4
10 files changed, 30 insertions, 10 deletions
diff --git a/spec/acfg/opt/constraintbspappmin.yml b/spec/acfg/opt/constraintbspappmin.yml
index f8357eaf..576f85a5 100644
--- a/spec/acfg/opt/constraintbspappmin.yml
+++ b/spec/acfg/opt/constraintbspappmin.yml
@@ -3,7 +3,9 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links: []
+non-functional-type: constraint
+requirement-type: non-functional
text: |
The value of this configuration option shall be greater than or equal to a
BSP-specific and application-specific minimum value.
-type: constraint
+type: requirement
diff --git a/spec/acfg/opt/constraintidlestackarea.yml b/spec/acfg/opt/constraintidlestackarea.yml
index 12f6e76f..e92edff2 100644
--- a/spec/acfg/opt/constraintidlestackarea.yml
+++ b/spec/acfg/opt/constraintidlestackarea.yml
@@ -3,8 +3,10 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links: []
+non-functional-type: constraint
+requirement-type: non-functional
text: |
The value of this configuration option shall be small enough so that the IDLE
task stack area calculation carried out by ``<rtems/confdefs.h>`` does not
overflow an integer of type ``size_t``.
-type: constraint
+type: requirement
diff --git a/spec/acfg/opt/constraintisrstackalign.yml b/spec/acfg/opt/constraintisrstackalign.yml
index ad16084f..bdf19962 100644
--- a/spec/acfg/opt/constraintisrstackalign.yml
+++ b/spec/acfg/opt/constraintisrstackalign.yml
@@ -3,7 +3,9 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links: []
+non-functional-type: constraint
+requirement-type: non-functional
text: |
The value of this configuration option shall be aligned according to
``CPU_INTERRUPT_STACK_ALIGNMENT``.
-type: constraint
+type: requirement
diff --git a/spec/acfg/opt/constraintisrstackarea.yml b/spec/acfg/opt/constraintisrstackarea.yml
index 974b9210..85a72ca1 100644
--- a/spec/acfg/opt/constraintisrstackarea.yml
+++ b/spec/acfg/opt/constraintisrstackarea.yml
@@ -3,8 +3,10 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links: []
+non-functional-type: constraint
+requirement-type: non-functional
text: |
The value of this configuration option shall be small enough so that the
interrupt stack area calculation carried out by ``<rtems/confdefs.h>`` does
not overflow an integer of type ``size_t``.
-type: constraint
+type: requirement
diff --git a/spec/acfg/opt/constraintmemsz.yml b/spec/acfg/opt/constraintmemsz.yml
index f185ed3b..d1917070 100644
--- a/spec/acfg/opt/constraintmemsz.yml
+++ b/spec/acfg/opt/constraintmemsz.yml
@@ -3,8 +3,10 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links: []
+non-functional-type: constraint
+requirement-type: non-functional
text: |
The value of this configuration option shall be less than or equal to a
BSP-specific and application-specific value which depends on the size of the
memory available to the application.
-type: constraint
+type: requirement
diff --git a/spec/acfg/opt/constraintposix.yml b/spec/acfg/opt/constraintposix.yml
index 163f8b45..d9ca8974 100644
--- a/spec/acfg/opt/constraintposix.yml
+++ b/spec/acfg/opt/constraintposix.yml
@@ -3,9 +3,11 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links: []
+non-functional-type: constraint
+requirement-type: non-functional
text: |
The value of this configuration option shall be zero if the POSIX API is not
enabled (e.g. RTEMS was built without the ``--enable-posix`` build
configuration option). Otherwise a compile time error in the configuration
file will occur.
-type: constraint
+type: requirement
diff --git a/spec/acfg/opt/constraintprioclassic.yml b/spec/acfg/opt/constraintprioclassic.yml
index 99d4c046..fd1bc340 100644
--- a/spec/acfg/opt/constraintprioclassic.yml
+++ b/spec/acfg/opt/constraintprioclassic.yml
@@ -3,7 +3,9 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links: []
+non-functional-type: constraint
+requirement-type: non-functional
text: |
The value of this configuration option shall be a valid Classic API task
priority. The set of valid task priorities is scheduler-specific.
-type: constraint
+type: requirement
diff --git a/spec/acfg/opt/constraintstackspace.yml b/spec/acfg/opt/constraintstackspace.yml
index c1a5e09d..c2ef9983 100644
--- a/spec/acfg/opt/constraintstackspace.yml
+++ b/spec/acfg/opt/constraintstackspace.yml
@@ -3,8 +3,10 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links: []
+non-functional-type: constraint
+requirement-type: non-functional
text: |
The value of this configuration option shall be small enough so that the task
stack space calculation carried out by ``<rtems/confdefs.h>`` does not
overflow an integer of type ``uintptr_t``.
-type: constraint
+type: requirement
diff --git a/spec/acfg/opt/constraintunlimited.yml b/spec/acfg/opt/constraintunlimited.yml
index c5d8496d..b8b00b4e 100644
--- a/spec/acfg/opt/constraintunlimited.yml
+++ b/spec/acfg/opt/constraintunlimited.yml
@@ -3,9 +3,11 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links: []
+non-functional-type: constraint
+requirement-type: non-functional
text: |
The value of this configuration option may be defined through
:c:func:`rtems_resource_unlimited` the enable unlimited objects for this
object class, if the value passed to :c:func:`rtems_resource_unlimited`
satisfies all other constraints of this configuration option.
-type: constraint
+type: requirement
diff --git a/spec/acfg/opt/constraintwkspace.yml b/spec/acfg/opt/constraintwkspace.yml
index 8800c31a..0772e697 100644
--- a/spec/acfg/opt/constraintwkspace.yml
+++ b/spec/acfg/opt/constraintwkspace.yml
@@ -3,8 +3,10 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links: []
+non-functional-type: constraint
+requirement-type: non-functional
text: |
The value of this configuration option shall be small enough so that the
RTEMS Workspace size calculation carried out by ``<rtems/confdefs.h>`` does
not overflow an integer of type ``uintptr_t``.
-type: constraint
+type: requirement