diff options
Diffstat (limited to 'spec/rtems/attr/req')
| -rw-r--r-- | spec/rtems/attr/req/bit-set.yml | 15 | ||||
| -rw-r--r-- | spec/rtems/attr/req/default.yml | 14 | ||||
| -rw-r--r-- | spec/rtems/attr/req/semaphore-class.yml | 16 | ||||
| -rw-r--r-- | spec/rtems/attr/req/unique.yml | 14 |
4 files changed, 59 insertions, 0 deletions
diff --git a/spec/rtems/attr/req/bit-set.yml b/spec/rtems/attr/req/bit-set.yml new file mode 100644 index 00000000..fee72247 --- /dev/null +++ b/spec/rtems/attr/req/bit-set.yml @@ -0,0 +1,15 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: requirement-refinement + uid: ../if/group +non-functional-type: interface +rationale: null +references: [] +requirement-type: non-functional +text: | + Each non-default directive attribute constant shall be a power of two + representable as an integer of type ${../if/attribute}. +type: requirement diff --git a/spec/rtems/attr/req/default.yml b/spec/rtems/attr/req/default.yml new file mode 100644 index 00000000..f3f0e32c --- /dev/null +++ b/spec/rtems/attr/req/default.yml @@ -0,0 +1,14 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: requirement-refinement + uid: ../if/group +non-functional-type: interface +rationale: null +references: [] +requirement-type: non-functional +text: | + Each default directive attribute constant shall have a value of zero. +type: requirement diff --git a/spec/rtems/attr/req/semaphore-class.yml b/spec/rtems/attr/req/semaphore-class.yml new file mode 100644 index 00000000..0323dd29 --- /dev/null +++ b/spec/rtems/attr/req/semaphore-class.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: requirement-refinement + uid: ../if/semaphore-class +non-functional-type: interface +rationale: null +references: [] +requirement-type: non-functional +text: | + The ${../if/semaphore-class:/name} constant shall be equal to the bitwise or + of ${../if/binary-semaphore:/name}, ${../if/counting-semaphore:/name}, and + ${../if/simple-binary-semaphore:/name}. +type: requirement diff --git a/spec/rtems/attr/req/unique.yml b/spec/rtems/attr/req/unique.yml new file mode 100644 index 00000000..30e73461 --- /dev/null +++ b/spec/rtems/attr/req/unique.yml @@ -0,0 +1,14 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: requirement-refinement + uid: ../if/group +non-functional-type: interface +rationale: null +references: [] +requirement-type: non-functional +text: | + The non-default directive attribute constants shall have unique values. +type: requirement |