[rtems-central commit] spec: Add requirements to groups
Sebastian Huber
sebh at rtems.org
Wed Dec 1 13:22:57 UTC 2021
Module: rtems-central
Branch: master
Commit: 7a33819f7ad80017c03a927b81d8944f701abff0
Changeset: http://git.rtems.org/rtems-central/commit/?id=7a33819f7ad80017c03a927b81d8944f701abff0
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Tue Nov 30 15:11:33 2021 +0100
spec: Add requirements to groups
---
spec/bsp/sparc/if/group.yml | 16 ++++++++++++++++
spec/bsp/sparc/leon3/if/group.yml | 16 ++++++++++++++++
spec/bsp/sparc/leon3/req/errata-gr712rc-01.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-02.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-03.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-04.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-05.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-06.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-07.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-08.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-09.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-10.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-11.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-12.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-13.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-14.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-15.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-16.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-17.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-18.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-19.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr712rc-20.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr740-18-1.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr740-18-2.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr740-18-3.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr740-18-4.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr740-20-1.yml | 2 ++
spec/bsp/sparc/leon3/req/errata-gr740-20-2.yml | 2 ++
.../leon3/req/fatal-cache-snooping-disabled-boot.yml | 2 ++
.../req/fatal-cache-snooping-disabled-secondary.yml | 2 ++
spec/bsp/sparc/leon3/req/fatal-clock-initialization.yml | 2 ++
spec/rtems/attr/req/default-equals.yml | 2 +-
spec/rtems/attr/req/semaphore-class.yml | 2 +-
spec/rtems/barrier/req/perf-runtime.yml | 2 ++
spec/rtems/clock/req/get-ticks-per-second.yml | 2 +-
spec/rtems/clock/req/get-ticks-since-boot.yml | 2 +-
spec/rtems/event/req/perf-runtime.yml | 2 ++
spec/rtems/message/req/buffer.yml | 2 +-
spec/rtems/message/req/perf-runtime.yml | 2 ++
spec/rtems/mode/req/masks-all.yml | 2 +-
spec/rtems/option/req/default-equals.yml | 2 +-
spec/rtems/part/req/perf-runtime.yml | 2 ++
spec/rtems/req/perf-runtime.yml | 2 ++
spec/rtems/sem/req/perf-runtime.yml | 2 ++
spec/rtems/task/req/perf-runtime.yml | 2 ++
spec/score/cpu/if/fatal-halt.yml | 2 ++
spec/score/interr/if/group.yml | 16 ++++++++++++++++
spec/score/interr/if/header.yml | 2 ++
spec/score/interr/if/terminate.yml | 4 +++-
.../req/fatal-bad-thread-dispatch-disable-level.yml | 2 ++
.../req/fatal-bad-thread-dispatch-environment-ipi.yml | 2 ++
.../req/fatal-bad-thread-dispatch-environment-robust.yml | 2 ++
spec/score/thread/req/fatal-thread-exitted.yml | 2 ++
.../score/tq/req/fatal-enqueue-sticky-from-bad-state.yml | 2 ++
spec/score/tq/req/lock.yml | 2 ++
55 files changed, 146 insertions(+), 8 deletions(-)
diff --git a/spec/bsp/sparc/if/group.yml b/spec/bsp/sparc/if/group.yml
new file mode 100644
index 0000000..09c4aba
--- /dev/null
+++ b/spec/bsp/sparc/if/group.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
+identifier: RTEMSBSPsSPARC
+links:
+- role: requirement-refinement
+ uid: ../../if/group
+non-functional-type: design-group
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+ The ${/glossary/bsp:/term} component shall have a component containing the
+ ${/glossary/sparc:/term} ${/glossary/bsp:/plural}.
+type: requirement
diff --git a/spec/bsp/sparc/leon3/if/group.yml b/spec/bsp/sparc/leon3/if/group.yml
new file mode 100644
index 0000000..8ef46cf
--- /dev/null
+++ b/spec/bsp/sparc/leon3/if/group.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
+identifier: RTEMSBSPsSPARCLEON3
+links:
+- role: requirement-refinement
+ uid: ../../if/group
+non-functional-type: design-group
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+ The ${/glossary/sparc:/term} ${/glossary/bsp:/term} component shall have a
+ component containing the LEON3 compatible ${/glossary/bsp:/plural}.
+type: requirement
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-01.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-01.yml
index 2be31fb..e9284dd 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-01.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-01.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-02.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-02.yml
index 236a321..4c92cbe 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-02.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-02.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-03.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-03.yml
index 4276395..f815ca3 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-03.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-03.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-04.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-04.yml
index b5b8ffa..47bac76 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-04.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-04.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-05.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-05.yml
index 872be29..2ac8c98 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-05.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-05.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-06.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-06.yml
index c4bfe8a..19f47cd 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-06.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-06.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-07.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-07.yml
index ad99df7..9766b61 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-07.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-07.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-08.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-08.yml
index 11aba41..3efdd6a 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-08.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-08.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-09.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-09.yml
index dcccaca..7c4df10 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-09.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-09.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-10.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-10.yml
index 8a4edfd..cc8cca4 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-10.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-10.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-11.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-11.yml
index b5601f3..8d982bc 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-11.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-11.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-12.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-12.yml
index 1a5378e..bd5399b 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-12.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-12.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-13.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-13.yml
index c15b7cf..4bf43ce 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-13.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-13.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-14.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-14.yml
index db362c4..8114bf6 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-14.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-14.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-15.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-15.yml
index 5bea43d..dd8d2e0 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-15.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-15.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-16.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-16.yml
index 86ca0c3..fe369df 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-16.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-16.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-17.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-17.yml
index 46e1783..5e1b100 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-17.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-17.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-18.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-18.yml
index ecd0782..9aff3aa 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-18.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-18.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-19.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-19.yml
index 3dda971..b63a942 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-19.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-19.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr712rc-20.yml b/spec/bsp/sparc/leon3/req/errata-gr712rc-20.yml
index d649af9..3118c06 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr712rc-20.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr712rc-20.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr712rc
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr740-18-1.yml b/spec/bsp/sparc/leon3/req/errata-gr740-18-1.yml
index 60824cd..4da33e5 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr740-18-1.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr740-18-1.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr740
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr740-18-2.yml b/spec/bsp/sparc/leon3/req/errata-gr740-18-2.yml
index 3433fd5..2b18abc 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr740-18-2.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr740-18-2.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr740
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr740-18-3.yml b/spec/bsp/sparc/leon3/req/errata-gr740-18-3.yml
index c81b300..3939e4b 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr740-18-3.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr740-18-3.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr740
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr740-18-4.yml b/spec/bsp/sparc/leon3/req/errata-gr740-18-4.yml
index 01678ff..0c4f6d3 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr740-18-4.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr740-18-4.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr740
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr740-20-1.yml b/spec/bsp/sparc/leon3/req/errata-gr740-20-1.yml
index 847f77e..449eb7c 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr740-20-1.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr740-20-1.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr740
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/errata-gr740-20-2.yml b/spec/bsp/sparc/leon3/req/errata-gr740-20-2.yml
index f63cfee..e9d1319 100644
--- a/spec/bsp/sparc/leon3/req/errata-gr740-20-2.yml
+++ b/spec/bsp/sparc/leon3/req/errata-gr740-20-2.yml
@@ -5,6 +5,8 @@ enabled-by: sparc/gr740
links:
- role: requirement-refinement
uid: /req/errata
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references:
diff --git a/spec/bsp/sparc/leon3/req/fatal-cache-snooping-disabled-boot.yml b/spec/bsp/sparc/leon3/req/fatal-cache-snooping-disabled-boot.yml
index 1bc9b4d..b77e311 100644
--- a/spec/bsp/sparc/leon3/req/fatal-cache-snooping-disabled-boot.yml
+++ b/spec/bsp/sparc/leon3/req/fatal-cache-snooping-disabled-boot.yml
@@ -8,6 +8,8 @@ enabled-by:
links:
- role: requirement-refinement
uid: /req/fatal-error
+- role: requirement-refinement
+ uid: ../if/group
functional-type: function
rationale: null
references: []
diff --git a/spec/bsp/sparc/leon3/req/fatal-cache-snooping-disabled-secondary.yml b/spec/bsp/sparc/leon3/req/fatal-cache-snooping-disabled-secondary.yml
index a1ebc2d..085c1c4 100644
--- a/spec/bsp/sparc/leon3/req/fatal-cache-snooping-disabled-secondary.yml
+++ b/spec/bsp/sparc/leon3/req/fatal-cache-snooping-disabled-secondary.yml
@@ -8,6 +8,8 @@ enabled-by:
links:
- role: requirement-refinement
uid: /req/fatal-error
+- role: requirement-refinement
+ uid: ../if/group
functional-type: function
rationale: null
references: []
diff --git a/spec/bsp/sparc/leon3/req/fatal-clock-initialization.yml b/spec/bsp/sparc/leon3/req/fatal-clock-initialization.yml
index 48f7839..8d036e0 100644
--- a/spec/bsp/sparc/leon3/req/fatal-clock-initialization.yml
+++ b/spec/bsp/sparc/leon3/req/fatal-clock-initialization.yml
@@ -5,6 +5,8 @@ enabled-by: bsps/sparc/leon3
links:
- role: requirement-refinement
uid: /req/fatal-error
+- role: requirement-refinement
+ uid: ../if/group
functional-type: function
rationale: null
references: []
diff --git a/spec/rtems/attr/req/default-equals.yml b/spec/rtems/attr/req/default-equals.yml
index ed3bd17..00a2cfa 100644
--- a/spec/rtems/attr/req/default-equals.yml
+++ b/spec/rtems/attr/req/default-equals.yml
@@ -3,7 +3,7 @@ copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
-- role: requirement-refinement
+- role: interface-function
uid: ../if/default
non-functional-type: interface
rationale: null
diff --git a/spec/rtems/attr/req/semaphore-class.yml b/spec/rtems/attr/req/semaphore-class.yml
index 0323dd2..12a6e91 100644
--- a/spec/rtems/attr/req/semaphore-class.yml
+++ b/spec/rtems/attr/req/semaphore-class.yml
@@ -3,7 +3,7 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
-- role: requirement-refinement
+- role: interface-function
uid: ../if/semaphore-class
non-functional-type: interface
rationale: null
diff --git a/spec/rtems/barrier/req/perf-runtime.yml b/spec/rtems/barrier/req/perf-runtime.yml
index fb6f99d..eba3d73 100644
--- a/spec/rtems/barrier/req/perf-runtime.yml
+++ b/spec/rtems/barrier/req/perf-runtime.yml
@@ -5,6 +5,8 @@ enabled-by: true
links:
- role: requirement-refinement
uid: ../../req/perf-runtime
+- role: requirement-refinement
+ uid: group
non-functional-type: performance
rationale: null
references: []
diff --git a/spec/rtems/clock/req/get-ticks-per-second.yml b/spec/rtems/clock/req/get-ticks-per-second.yml
index 13e8d1a..f34b82c 100644
--- a/spec/rtems/clock/req/get-ticks-per-second.yml
+++ b/spec/rtems/clock/req/get-ticks-per-second.yml
@@ -3,7 +3,7 @@ copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
-- role: requirement-refinement
+- role: interface-function
uid: ../if/get-ticks-per-second
non-functional-type: interface
rationale: null
diff --git a/spec/rtems/clock/req/get-ticks-since-boot.yml b/spec/rtems/clock/req/get-ticks-since-boot.yml
index 141d1fc..95c4088 100644
--- a/spec/rtems/clock/req/get-ticks-since-boot.yml
+++ b/spec/rtems/clock/req/get-ticks-since-boot.yml
@@ -3,7 +3,7 @@ copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
-- role: requirement-refinement
+- role: interface-function
uid: ../if/get-ticks-since-boot
non-functional-type: interface
rationale: null
diff --git a/spec/rtems/event/req/perf-runtime.yml b/spec/rtems/event/req/perf-runtime.yml
index fb6f99d..eba3d73 100644
--- a/spec/rtems/event/req/perf-runtime.yml
+++ b/spec/rtems/event/req/perf-runtime.yml
@@ -5,6 +5,8 @@ enabled-by: true
links:
- role: requirement-refinement
uid: ../../req/perf-runtime
+- role: requirement-refinement
+ uid: group
non-functional-type: performance
rationale: null
references: []
diff --git a/spec/rtems/message/req/buffer.yml b/spec/rtems/message/req/buffer.yml
index 91d3df6..e5ea658 100644
--- a/spec/rtems/message/req/buffer.yml
+++ b/spec/rtems/message/req/buffer.yml
@@ -3,7 +3,7 @@ copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
-- role: requirement-refinement
+- role: interface-function
uid: ../if/buffer
non-functional-type: interface
rationale: null
diff --git a/spec/rtems/message/req/perf-runtime.yml b/spec/rtems/message/req/perf-runtime.yml
index fb6f99d..eba3d73 100644
--- a/spec/rtems/message/req/perf-runtime.yml
+++ b/spec/rtems/message/req/perf-runtime.yml
@@ -5,6 +5,8 @@ enabled-by: true
links:
- role: requirement-refinement
uid: ../../req/perf-runtime
+- role: requirement-refinement
+ uid: group
non-functional-type: performance
rationale: null
references: []
diff --git a/spec/rtems/mode/req/masks-all.yml b/spec/rtems/mode/req/masks-all.yml
index 8adf26e..8acf5f6 100644
--- a/spec/rtems/mode/req/masks-all.yml
+++ b/spec/rtems/mode/req/masks-all.yml
@@ -3,7 +3,7 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
-- role: requirement-refinement
+- role: interface-function
uid: ../if/all-mode-masks
non-functional-type: interface
rationale: null
diff --git a/spec/rtems/option/req/default-equals.yml b/spec/rtems/option/req/default-equals.yml
index bf13356..6409348 100644
--- a/spec/rtems/option/req/default-equals.yml
+++ b/spec/rtems/option/req/default-equals.yml
@@ -3,7 +3,7 @@ copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
-- role: requirement-refinement
+- role: interface-function
uid: ../if/default
non-functional-type: interface
rationale: null
diff --git a/spec/rtems/part/req/perf-runtime.yml b/spec/rtems/part/req/perf-runtime.yml
index fb6f99d..eba3d73 100644
--- a/spec/rtems/part/req/perf-runtime.yml
+++ b/spec/rtems/part/req/perf-runtime.yml
@@ -5,6 +5,8 @@ enabled-by: true
links:
- role: requirement-refinement
uid: ../../req/perf-runtime
+- role: requirement-refinement
+ uid: group
non-functional-type: performance
rationale: null
references: []
diff --git a/spec/rtems/req/perf-runtime.yml b/spec/rtems/req/perf-runtime.yml
index e3fe450..75e9822 100644
--- a/spec/rtems/req/perf-runtime.yml
+++ b/spec/rtems/req/perf-runtime.yml
@@ -5,6 +5,8 @@ enabled-by: true
links:
- role: requirement-refinement
uid: ../../req/perf-runtime
+- role: requirement-refinement
+ uid: group
non-functional-type: performance
rationale: null
references: []
diff --git a/spec/rtems/sem/req/perf-runtime.yml b/spec/rtems/sem/req/perf-runtime.yml
index fb6f99d..eba3d73 100644
--- a/spec/rtems/sem/req/perf-runtime.yml
+++ b/spec/rtems/sem/req/perf-runtime.yml
@@ -5,6 +5,8 @@ enabled-by: true
links:
- role: requirement-refinement
uid: ../../req/perf-runtime
+- role: requirement-refinement
+ uid: group
non-functional-type: performance
rationale: null
references: []
diff --git a/spec/rtems/task/req/perf-runtime.yml b/spec/rtems/task/req/perf-runtime.yml
index fb6f99d..eba3d73 100644
--- a/spec/rtems/task/req/perf-runtime.yml
+++ b/spec/rtems/task/req/perf-runtime.yml
@@ -5,6 +5,8 @@ enabled-by: true
links:
- role: requirement-refinement
uid: ../../req/perf-runtime
+- role: requirement-refinement
+ uid: group
non-functional-type: performance
rationale: null
references: []
diff --git a/spec/score/cpu/if/fatal-halt.yml b/spec/score/cpu/if/fatal-halt.yml
index 852a21f..81ef20c 100644
--- a/spec/score/cpu/if/fatal-halt.yml
+++ b/spec/score/cpu/if/fatal-halt.yml
@@ -7,6 +7,8 @@ interface-type: unspecified
links:
- role: interface-placement
uid: header-impl
+- role: interface-ingroup
+ uid: group
name: _CPU_Fatal_halt
references: []
type: interface
diff --git a/spec/score/interr/if/group.yml b/spec/score/interr/if/group.yml
new file mode 100644
index 0000000..85fa28f
--- /dev/null
+++ b/spec/score/interr/if/group.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
+identifier: RTEMSScoreIntErr
+links:
+- role: interface-ingroup
+ uid: ../../if/group
+non-functional-type: design-group
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+ The super core shall have a component containing the system termination
+ handling.
+type: requirement
diff --git a/spec/score/interr/if/header.yml b/spec/score/interr/if/header.yml
index e85af4a..d41d3d5 100644
--- a/spec/score/interr/if/header.yml
+++ b/spec/score/interr/if/header.yml
@@ -8,6 +8,8 @@ interface-type: header-file
links:
- role: interface-placement
uid: ../../if/domain
+- role: interface-ingroup
+ uid: group
path: rtems/score/interr.h
prefix: cpukit/include
type: interface
diff --git a/spec/score/interr/if/terminate.yml b/spec/score/interr/if/terminate.yml
index 66fe199..a32dec7 100644
--- a/spec/score/interr/if/terminate.yml
+++ b/spec/score/interr/if/terminate.yml
@@ -3,10 +3,12 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
index-entries: []
-interface-type: unspecified
+interface-type: unspecified-function
links:
- role: interface-placement
uid: header
+- role: interface-ingroup
+ uid: group
name: _Terminate
references: []
type: interface
diff --git a/spec/score/thread/req/fatal-bad-thread-dispatch-disable-level.yml b/spec/score/thread/req/fatal-bad-thread-dispatch-disable-level.yml
index 28d9a06..6cb45ba 100644
--- a/spec/score/thread/req/fatal-bad-thread-dispatch-disable-level.yml
+++ b/spec/score/thread/req/fatal-bad-thread-dispatch-disable-level.yml
@@ -5,6 +5,8 @@ enabled-by: true
links:
- role: requirement-refinement
uid: /req/fatal-error
+- role: requirement-refinement
+ uid: ../if/group
functional-type: function
rationale: null
references: []
diff --git a/spec/score/thread/req/fatal-bad-thread-dispatch-environment-ipi.yml b/spec/score/thread/req/fatal-bad-thread-dispatch-environment-ipi.yml
index a8c3e08..4368b60 100644
--- a/spec/score/thread/req/fatal-bad-thread-dispatch-environment-ipi.yml
+++ b/spec/score/thread/req/fatal-bad-thread-dispatch-environment-ipi.yml
@@ -11,6 +11,8 @@ enabled-by:
links:
- role: requirement-refinement
uid: /req/fatal-error
+- role: requirement-refinement
+ uid: ../if/group
functional-type: function
rationale: null
references: []
diff --git a/spec/score/thread/req/fatal-bad-thread-dispatch-environment-robust.yml b/spec/score/thread/req/fatal-bad-thread-dispatch-environment-robust.yml
index e7313d0..b919d23 100644
--- a/spec/score/thread/req/fatal-bad-thread-dispatch-environment-robust.yml
+++ b/spec/score/thread/req/fatal-bad-thread-dispatch-environment-robust.yml
@@ -8,6 +8,8 @@ enabled-by:
links:
- role: requirement-refinement
uid: /req/fatal-error
+- role: requirement-refinement
+ uid: ../if/group
functional-type: function
rationale: null
references: []
diff --git a/spec/score/thread/req/fatal-thread-exitted.yml b/spec/score/thread/req/fatal-thread-exitted.yml
index 1dd763a..1eb1ad2 100644
--- a/spec/score/thread/req/fatal-thread-exitted.yml
+++ b/spec/score/thread/req/fatal-thread-exitted.yml
@@ -5,6 +5,8 @@ enabled-by: true
links:
- role: requirement-refinement
uid: /req/fatal-error
+- role: requirement-refinement
+ uid: ../if/group
functional-type: function
rationale: null
references: []
diff --git a/spec/score/tq/req/fatal-enqueue-sticky-from-bad-state.yml b/spec/score/tq/req/fatal-enqueue-sticky-from-bad-state.yml
index 0fa3c6d..f77b43b 100644
--- a/spec/score/tq/req/fatal-enqueue-sticky-from-bad-state.yml
+++ b/spec/score/tq/req/fatal-enqueue-sticky-from-bad-state.yml
@@ -5,6 +5,8 @@ enabled-by: RTEMS_SMP
links:
- role: requirement-refinement
uid: /req/fatal-error
+- role: requirement-refinement
+ uid: ../if/group
functional-type: function
rationale: null
references: []
diff --git a/spec/score/tq/req/lock.yml b/spec/score/tq/req/lock.yml
index 3e3a76d..a21815c 100644
--- a/spec/score/tq/req/lock.yml
+++ b/spec/score/tq/req/lock.yml
@@ -5,6 +5,8 @@ enabled-by: true
links:
- role: requirement-refinement
uid: /req/fine-grained-locking
+- role: requirement-refinement
+ uid: ../if/group
non-functional-type: design
rationale: null
references: []
More information about the vc
mailing list