From 57e10907d813550ecd5d5b2bcce34638cfa3977d Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Thu, 29 Apr 2021 08:44:01 +0200 Subject: spec: Add requirement for interface domains --- spec/bsp/if/domain.yml | 4 +++- spec/build-options/if/domain.yml | 4 +++- spec/c/if/domain.yml | 8 +++++--- spec/compiler/if/domain.yml | 4 +++- spec/if/domain.yml | 4 +++- spec/req/domains.yml | 15 +++++++++++++++ spec/score/if/domain.yml | 4 +++- spec/user/if/domain.yml | 4 +++- 8 files changed, 38 insertions(+), 9 deletions(-) create mode 100644 spec/req/domains.yml diff --git a/spec/bsp/if/domain.yml b/spec/bsp/if/domain.yml index fe3d022a..90d79ecc 100644 --- a/spec/bsp/if/domain.yml +++ b/spec/bsp/if/domain.yml @@ -6,6 +6,8 @@ description: | enabled-by: true index-entries: [] interface-type: domain -links: [] +links: +- role: requirement-refinement + uid: /req/domains name: BSP type: interface diff --git a/spec/build-options/if/domain.yml b/spec/build-options/if/domain.yml index b29b3542..0a81098b 100644 --- a/spec/build-options/if/domain.yml +++ b/spec/build-options/if/domain.yml @@ -6,6 +6,8 @@ description: | enabled-by: true index-entries: [] interface-type: domain -links: [] +links: +- role: requirement-refinement + uid: /req/domains name: Build Options type: interface diff --git a/spec/c/if/domain.yml b/spec/c/if/domain.yml index 8943d221..17ea3933 100644 --- a/spec/c/if/domain.yml +++ b/spec/c/if/domain.yml @@ -2,11 +2,13 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) description: | - This interface domain contains standard interfaces of the C programming - language. + This interface domain contains interfaces provided by the C programming + language standard library. enabled-by: true index-entries: [] interface-type: domain -links: [] +links: +- role: requirement-refinement + uid: /req/domains name: C Language type: interface diff --git a/spec/compiler/if/domain.yml b/spec/compiler/if/domain.yml index 0f1d5d93..67fa83d7 100644 --- a/spec/compiler/if/domain.yml +++ b/spec/compiler/if/domain.yml @@ -6,6 +6,8 @@ description: | enabled-by: true index-entries: [] interface-type: domain -links: [] +links: +- role: requirement-refinement + uid: /req/domains name: Compiler type: interface diff --git a/spec/if/domain.yml b/spec/if/domain.yml index 74931cda..745a8d5f 100644 --- a/spec/if/domain.yml +++ b/spec/if/domain.yml @@ -6,6 +6,8 @@ description: | enabled-by: true index-entries: [] interface-type: domain -links: [] +links: +- role: requirement-refinement + uid: /req/domains name: Application Programming Interface type: interface diff --git a/spec/req/domains.yml b/spec/req/domains.yml new file mode 100644 index 00000000..65cbd44d --- /dev/null +++ b/spec/req/domains.yml @@ -0,0 +1,15 @@ +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: design +rationale: null +references: [] +requirement-type: non-functional +text: | + The interfaces used or provided by the system shall be a contained in + interface domains. +type: requirement diff --git a/spec/score/if/domain.yml b/spec/score/if/domain.yml index 355ec3ac..1431a984 100644 --- a/spec/score/if/domain.yml +++ b/spec/score/if/domain.yml @@ -6,6 +6,8 @@ description: | enabled-by: true index-entries: [] interface-type: domain -links: [] +links: +- role: requirement-refinement + uid: /req/domains name: Implementation type: interface diff --git a/spec/user/if/domain.yml b/spec/user/if/domain.yml index 6fd843d2..088aff51 100644 --- a/spec/user/if/domain.yml +++ b/spec/user/if/domain.yml @@ -8,6 +8,8 @@ description: | enabled-by: true index-entries: [] interface-type: domain -links: [] +links: +- role: requirement-refinement + uid: /req/domains name: Use of Interface type: interface -- cgit v1.2.3