spec: Add and use software architecture components

16 files changed, 100 insertions, 12 deletions

diff --git a/spec/rtems/event/req/send-receive.yml b/spec/rtems/event/req/send-receive.yml
index 0e69100c..2bd65dbb 100644
--- a/spec/rtems/event/req/send-receive.yml
+++ b/spec/rtems/event/req/send-receive.yml
@@ -3,7 +3,9 @@ copyrights:
 - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
 functional-type: action
-links: []
+links:
+- role: requirement-refinement
+  uid: group
 post-conditions:
 - name: SendStatus
   states:
diff --git a/spec/rtems/req/ident-local.yml b/spec/rtems/req/ident-local.yml
index 4215f4a3..c5da44e6 100644
--- a/spec/rtems/req/ident-local.yml
+++ b/spec/rtems/req/ident-local.yml
@@ -3,7 +3,9 @@ copyrights:
 - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
 functional-type: action
-links: []
+links:
+- role: requirement-refinement
+  uid: group
 post-conditions:
 - name: Status
   states:
diff --git a/spec/rtems/req/ident.yml b/spec/rtems/req/ident.yml
index 6bc5927a..098779db 100644
--- a/spec/rtems/req/ident.yml
+++ b/spec/rtems/req/ident.yml
@@ -3,7 +3,9 @@ copyrights:
 - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
 functional-type: action
-links: []
+links:
+- role: requirement-refinement
+  uid: group
 post-conditions:
 - name: Status
   states:
diff --git a/spec/score/mtx/req/group.yml b/spec/score/mtx/req/group.yml
new file mode 100644
index 00000000..3e795876
--- /dev/null
+++ b/spec/score/mtx/req/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: RTEMSScoreMutex
+links:
+- role: interface-ingroup
+  uid: ../../req/group
+non-functional-type: design-group
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+  The super core shall have a component containing the mutual exclusion object
+  implementation.
+type: requirement
diff --git a/spec/score/mtx/req/seize-try.yml b/spec/score/mtx/req/seize-try.yml
index 75f6b692..deba2531 100644
--- a/spec/score/mtx/req/seize-try.yml
+++ b/spec/score/mtx/req/seize-try.yml
@@ -3,7 +3,9 @@ copyrights:
 - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
 functional-type: action
-links: []
+links:
+- role: requirement-refinement
+  uid: group
 post-conditions:
 - name: Status
   states:
diff --git a/spec/score/mtx/req/seize-wait.yml b/spec/score/mtx/req/seize-wait.yml
index 724f5a6b..39ff4910 100644
--- a/spec/score/mtx/req/seize-wait.yml
+++ b/spec/score/mtx/req/seize-wait.yml
@@ -3,7 +3,9 @@ copyrights:
 - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
 functional-type: action
-links: []
+links:
+- role: requirement-refinement
+  uid: group
 post-conditions:
 - name: Status
   states:
diff --git a/spec/score/req/group.yml b/spec/score/req/group.yml
new file mode 100644
index 00000000..4dca0df8
--- /dev/null
+++ b/spec/score/req/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: RTEMSScore
+links:
+- role: interface-ingroup
+  uid: /req/impl
+non-functional-type: design-group
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+  The software architecture shall have a component named super core containing
+  the implementation used by multiple ${/glossary/api:/plural}.
+type: requirement
diff --git a/spec/score/sem/req/group.yml b/spec/score/sem/req/group.yml
new file mode 100644
index 00000000..02776e61
--- /dev/null
+++ b/spec/score/sem/req/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: RTEMSScoreSemaphore
+links:
+- role: interface-ingroup
+  uid: ../../req/group
+non-functional-type: design-group
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+  The super core shall have a component containing the semaphore object
+  implementation.
+type: requirement
diff --git a/spec/score/sem/req/seize-try.yml b/spec/score/sem/req/seize-try.yml
index 8c0377e8..3dd79b77 100644
--- a/spec/score/sem/req/seize-try.yml
+++ b/spec/score/sem/req/seize-try.yml
@@ -3,7 +3,9 @@ copyrights:
 - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
 functional-type: action
-links: []
+links:
+- role: requirement-refinement
+  uid: group
 post-conditions:
 - name: Status
   states:
diff --git a/spec/score/sem/req/seize-wait.yml b/spec/score/sem/req/seize-wait.yml
index bbc3ae9d..98616bdd 100644
--- a/spec/score/sem/req/seize-wait.yml
+++ b/spec/score/sem/req/seize-wait.yml
@@ -3,7 +3,9 @@ copyrights:
 - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
 functional-type: action
-links: []
+links:
+- role: requirement-refinement
+  uid: group
 post-conditions:
 - name: Status
   states:
diff --git a/spec/score/tq/req/enqueue-ceiling.yml b/spec/score/tq/req/enqueue-ceiling.yml
index 090f8e1b..bc8dd850 100644
--- a/spec/score/tq/req/enqueue-ceiling.yml
+++ b/spec/score/tq/req/enqueue-ceiling.yml
@@ -3,7 +3,9 @@ copyrights:
 - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
 functional-type: action
-links: []
+links:
+- role: requirement-refinement
+  uid: group
 post-conditions:
 - name: Position
   states:
diff --git a/spec/score/tq/req/enqueue-deadlock.yml b/spec/score/tq/req/enqueue-deadlock.yml
index 14008cab..4857ab5f 100644
--- a/spec/score/tq/req/enqueue-deadlock.yml
+++ b/spec/score/tq/req/enqueue-deadlock.yml
@@ -3,7 +3,9 @@ copyrights:
 - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
 functional-type: action
-links: []
+links:
+- role: requirement-refinement
+  uid: group
 post-conditions:
 - name: Status
   states:
diff --git a/spec/score/tq/req/enqueue-fifo.yml b/spec/score/tq/req/enqueue-fifo.yml
index 87c493fa..5c4974ec 100644
--- a/spec/score/tq/req/enqueue-fifo.yml
+++ b/spec/score/tq/req/enqueue-fifo.yml
@@ -3,7 +3,9 @@ copyrights:
 - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
 functional-type: action
-links: []
+links:
+- role: requirement-refinement
+  uid: group
 post-conditions:
 - name: Position
   states:
diff --git a/spec/score/tq/req/enqueue-mrsp.yml b/spec/score/tq/req/enqueue-mrsp.yml
index 77d388a7..38bfc336 100644
--- a/spec/score/tq/req/enqueue-mrsp.yml
+++ b/spec/score/tq/req/enqueue-mrsp.yml
@@ -3,7 +3,9 @@ copyrights:
 - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
 functional-type: action
-links: []
+links:
+- role: requirement-refinement
+  uid: group
 post-conditions:
 - name: Position
   states:
diff --git a/spec/score/tq/req/enqueue-priority.yml b/spec/score/tq/req/enqueue-priority.yml
index d7c0463a..06be6bab 100644
--- a/spec/score/tq/req/enqueue-priority.yml
+++ b/spec/score/tq/req/enqueue-priority.yml
@@ -3,7 +3,9 @@ copyrights:
 - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
 functional-type: action
-links: []
+links:
+- role: requirement-refinement
+  uid: group
 post-conditions:
 - name: Position
   states:
diff --git a/spec/score/tq/req/group.yml b/spec/score/tq/req/group.yml
new file mode 100644
index 00000000..06023444
--- /dev/null
+++ b/spec/score/tq/req/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: RTEMSScoreThreadQueue
+links:
+- role: interface-ingroup
+  uid: ../../req/group
+non-functional-type: design-group
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+  The super core shall have a component containing the thread queue
+  implementation.
+type: requirement