diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-05-22 14:08:39 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-05-28 10:38:23 +0200 |
commit | 6aaf56cfecf971cadea90191fe0db36d9b19c8bc (patch) | |
tree | 0d7fb361d093fad27a62bcc6e1501c26d56ab6ae /spec/acfg | |
parent | spec: Add requirement-refinement link role (diff) | |
download | rtems-central-6aaf56cfecf971cadea90191fe0db36d9b19c8bc.tar.bz2 |
spec: Make constraints non-functional requirements
Diffstat (limited to 'spec/acfg')
-rw-r--r-- | spec/acfg/opt/constraintbspappmin.yml | 4 | ||||
-rw-r--r-- | spec/acfg/opt/constraintidlestackarea.yml | 4 | ||||
-rw-r--r-- | spec/acfg/opt/constraintisrstackalign.yml | 4 | ||||
-rw-r--r-- | spec/acfg/opt/constraintisrstackarea.yml | 4 | ||||
-rw-r--r-- | spec/acfg/opt/constraintmemsz.yml | 4 | ||||
-rw-r--r-- | spec/acfg/opt/constraintposix.yml | 4 | ||||
-rw-r--r-- | spec/acfg/opt/constraintprioclassic.yml | 4 | ||||
-rw-r--r-- | spec/acfg/opt/constraintstackspace.yml | 4 | ||||
-rw-r--r-- | spec/acfg/opt/constraintunlimited.yml | 4 | ||||
-rw-r--r-- | spec/acfg/opt/constraintwkspace.yml | 4 |
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 |