From 6aaf56cfecf971cadea90191fe0db36d9b19c8bc Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Fri, 22 May 2020 14:08:39 +0200 Subject: spec: Make constraints non-functional requirements --- spec/acfg/opt/constraintbspappmin.yml | 4 +++- spec/acfg/opt/constraintidlestackarea.yml | 4 +++- spec/acfg/opt/constraintisrstackalign.yml | 4 +++- spec/acfg/opt/constraintisrstackarea.yml | 4 +++- spec/acfg/opt/constraintmemsz.yml | 4 +++- spec/acfg/opt/constraintposix.yml | 4 +++- spec/acfg/opt/constraintprioclassic.yml | 4 +++- spec/acfg/opt/constraintstackspace.yml | 4 +++- spec/acfg/opt/constraintunlimited.yml | 4 +++- spec/acfg/opt/constraintwkspace.yml | 4 +++- 10 files changed, 30 insertions(+), 10 deletions(-) (limited to 'spec/acfg/opt') 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 ```` 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 ```` 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 ```` 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 ```` does not overflow an integer of type ``uintptr_t``. -type: constraint +type: requirement -- cgit v1.2.3