[rtems-central commit] spec: Add runtime performance requirements

Sebastian Huber sebh at rtems.org
Fri May 28 06:11:22 UTC 2021


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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Fri May 28 07:43:26 2021 +0200

spec: Add runtime performance requirements

---

 spec/req/perf-runtime.yml                         | 14 ++++++++++++++
 spec/rtems/part/req/perf-get-buffer.yml           |  4 +++-
 spec/rtems/part/req/perf-get-no-buffer.yml        |  4 +++-
 spec/rtems/part/req/perf-return-buffer.yml        |  4 +++-
 spec/rtems/part/req/perf-runtime.yml              | 14 ++++++++++++++
 spec/rtems/part/val/{performance.yml => perf.yml} |  4 +++-
 spec/rtems/req/perf-runtime.yml                   | 14 ++++++++++++++
 7 files changed, 54 insertions(+), 4 deletions(-)

diff --git a/spec/req/perf-runtime.yml b/spec/req/perf-runtime.yml
new file mode 100644
index 0000000..9e33cf1
--- /dev/null
+++ b/spec/req/perf-runtime.yml
@@ -0,0 +1,14 @@
+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
+links:
+- role: requirement-refinement
+  uid: root
+non-functional-type: performance
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+  The runtime of interface functions shall be measured.
+type: requirement
diff --git a/spec/rtems/part/req/perf-get-buffer.yml b/spec/rtems/part/req/perf-get-buffer.yml
index 43ee6bc..15fbdad 100644
--- a/spec/rtems/part/req/perf-get-buffer.yml
+++ b/spec/rtems/part/req/perf-get-buffer.yml
@@ -26,8 +26,10 @@ limits:
       max-upper-bound: 1.0e-05
       mean-upper-bound: 1.0e-05
 links:
+- role: requirement-refinement
+  uid: perf-runtime
 - role: runtime-measurement-request
-  uid: ../val/performance
+  uid: ../val/perf
 non-functional-type: performance-runtime
 params: {}
 rationale: null
diff --git a/spec/rtems/part/req/perf-get-no-buffer.yml b/spec/rtems/part/req/perf-get-no-buffer.yml
index df7871f..f8614a3 100644
--- a/spec/rtems/part/req/perf-get-no-buffer.yml
+++ b/spec/rtems/part/req/perf-get-no-buffer.yml
@@ -4,8 +4,10 @@ copyrights:
 enabled-by: true
 limits: {}
 links:
+- role: requirement-refinement
+  uid: perf-runtime
 - role: runtime-measurement-request
-  uid: ../val/performance
+  uid: ../val/perf
 non-functional-type: performance-runtime
 params: {}
 rationale: null
diff --git a/spec/rtems/part/req/perf-return-buffer.yml b/spec/rtems/part/req/perf-return-buffer.yml
index 7654e10..f204d6f 100644
--- a/spec/rtems/part/req/perf-return-buffer.yml
+++ b/spec/rtems/part/req/perf-return-buffer.yml
@@ -4,8 +4,10 @@ copyrights:
 enabled-by: true
 limits: {}
 links:
+- role: requirement-refinement
+  uid: perf-runtime
 - role: runtime-measurement-request
-  uid: ../val/performance
+  uid: ../val/perf
 non-functional-type: performance-runtime
 params: {}
 rationale: null
diff --git a/spec/rtems/part/req/perf-runtime.yml b/spec/rtems/part/req/perf-runtime.yml
new file mode 100644
index 0000000..fb6f99d
--- /dev/null
+++ b/spec/rtems/part/req/perf-runtime.yml
@@ -0,0 +1,14 @@
+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
+links:
+- role: requirement-refinement
+  uid: ../../req/perf-runtime
+non-functional-type: performance
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+  The runtime of ${../if/group:/name} directives shall be measured.
+type: requirement
diff --git a/spec/rtems/part/val/performance.yml b/spec/rtems/part/val/perf.yml
similarity index 97%
rename from spec/rtems/part/val/performance.yml
rename to spec/rtems/part/val/perf.yml
index 348dc0e..d86bdb2 100644
--- a/spec/rtems/part/val/performance.yml
+++ b/spec/rtems/part/val/perf.yml
@@ -2,7 +2,9 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
 copyrights:
 - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
-links: []
+links:
+- role: validation
+  uid: ../req/perf-runtime
 params:
   buffer-count: 100
   sample-count: 1000
diff --git a/spec/rtems/req/perf-runtime.yml b/spec/rtems/req/perf-runtime.yml
new file mode 100644
index 0000000..139d40e
--- /dev/null
+++ b/spec/rtems/req/perf-runtime.yml
@@ -0,0 +1,14 @@
+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
+links:
+- role: requirement-refinement
+  uid: ../../req/perf-runtime
+non-functional-type: performance
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+  The runtime of {../if/group:/name} directives shall be measured.
+type: requirement



More information about the vc mailing list