[rtems-central commit] spec: Add and use software architecture components

Sebastian Huber sebh at rtems.org
Fri May 28 12:42:06 UTC 2021 

Module:    rtems-central
Branch:    master
Commit:    48b9e5ee0422eda2101024000ea529776a4cc8e8
Changeset: http://git.rtems.org/rtems-central/commit/?id=48b9e5ee0422eda2101024000ea529776a4cc8e8

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Fri May 28 13:54:01 2021 +0200

spec: Add and use software architecture components

---

 spec/rtems/event/req/send-receive.yml  |  4 +++-
 spec/rtems/req/ident-local.yml         |  4 +++-
 spec/rtems/req/ident.yml               |  4 +++-
 spec/score/mtx/req/group.yml           | 16 ++++++++++++++++
 spec/score/mtx/req/seize-try.yml       |  4 +++-
 spec/score/mtx/req/seize-wait.yml      |  4 +++-
 spec/score/req/group.yml               | 16 ++++++++++++++++
 spec/score/sem/req/group.yml           | 16 ++++++++++++++++
 spec/score/sem/req/seize-try.yml       |  4 +++-
 spec/score/sem/req/seize-wait.yml      |  4 +++-
 spec/score/tq/req/enqueue-ceiling.yml  |  4 +++-
 spec/score/tq/req/enqueue-deadlock.yml |  4 +++-
 spec/score/tq/req/enqueue-fifo.yml     |  4 +++-
 spec/score/tq/req/enqueue-mrsp.yml     |  4 +++-
 spec/score/tq/req/enqueue-priority.yml |  4 +++-
 spec/score/tq/req/group.yml            | 16 ++++++++++++++++
 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 0e69100..2bd65db 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 4215f4a..c5da44e 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 6bc5927..098779d 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 0000000..3e79587
--- /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 75f6b69..deba253 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 724f5a6..39ff491 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 0000000..4dca0df
--- /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 0000000..02776e6
--- /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 8c0377e..3dd79b7 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 bbc3ae9..98616bd 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 090f8e1..bc8dd85 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 14008ca..4857ab5 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 87c493f..5c4974e 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 77d388a..38bfc33 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 d7c0463..06be6ba 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 0000000..0602344
--- /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

More information about the vc mailing list