Technical Note: Zephyr requirements tool requirements

Multiple files / include mechanism

UID:

ZEP-1

STATUS:

Active

Requirements or groups of requirements shall be distributable over several files and still form a full specification (document) via some kind of include mechanism.

RATIONALE:

In a future constellation the requirements shall be written resp. update with the code in the same PR. Smallish requirements files per topic / component next to the code in the same repo allow a better workflow than one huge requirements file somewhere.

Children:

Clear separation of requirements (machine-readable)

UID:

ZEP-2

STATUS:

Active

Requirements objects shall be clearly separated from each other, also when organized in the same file.

RATIONALE:

For exporting or machine processing, a clear separation of requirements objects is a prerequisite.

Children:

Custom fields

UID:

ZEP-3

STATUS:

Active

Requiremements objects shall be configurable to create several types with a number of custom fields.

RATIONALE:

Requirements on software level may need to hold different information than on the architecture/interface and on the component level. By having typed requirements objects, linkages between requirements objects can be verified and filtered (start_object_type – link_role_type –> end_object_type)”.

Children:

ReqIF export

UID:

ZEP-6

STATUS:

Active

Requirements specification shall be exportable to ReqIF.

RATIONALE:

Will/may be used to as exchange format to generate a requirements and traceability documentation.

Children:

CSV

UID:

ZEP-7

STATUS:

Active

Requirements specification shall be exportable to CSV.

RATIONALE:

Will/may be used to as exchange format to generate a requirements and traceability documentation.

Children:

Unique ID management

UID:

ZEP-8

STATUS:

Active

Requirements objects shall allow unique ID management when adding new requirements on different branches.

Options could be:

  • UUID: no checking required, but not handy

  • Manually assigned: collision checking required

  • Centralized: when not affected by branching”.

RATIONALE:

Centralized object ID management might collide with a branching, PR, merging process approach commonly used in the rest of the project.

Children:

Text formatting capabilities

UID:

ZEP-9

STATUS:

Active

The description field shall allow for formatting such as:

  • lists

  • tables

  • headings

  • UML diagrams

  • etc.

RATIONALE:

In some cases a plain text requirement is not sufficiently clear and requires formatting or even UML diagrams.

Children:

Minimal requirement field set

UID:

ZEP-10

STATUS:

Active

A requirements object shall at least comprise the following fields (or similar):

  • title

  • ID

  • Description

  • Status

  • Outbound links

  • Inbound links (optional?)

RATIONALE:

TBD

Children:

Requirements to source code traceability

UID:

ZEP-11

STATUS:

Active

Linking from requirements objects to code or from code to requirements objects via ID shall be supported.

RATIONALE:

For safety development and certification linking to code is required.

Children:

Structuring requirements in documents

UID:

ZEP-13

STATUS:

Active

Requirements objects shall be structurable in a document like manner (with requirements ordering, and organized in chapters).

RATIONALE:

A collection of unorganized requirements as a specifications are hard to read and understand. They should be organizable in topic chapters or similar.

Children:

Status field

UID:

ZEP-14

STATUS:

Active

Each requirements object type shall have a configurable status workflow.

RATIONALE:

Requirements may be in different statuses such as Draft, InReview, Approved. Dependent on the used process is rather reflected in the development work (branch=draft, PR under Review=InReview, PR merged to main=Approved.

Children:

Tool Qualifiability

UID:

ZEP-15

STATUS:

Active

The Requirement Tool shall be qualifiable for use in safety-related and/or security-related development. At the very least, the Requirement Tool shall come with its own set of requirements, which shall be amenable to validation in compliance with the relevant standards.

RATIONALE:

Certification of Zephyr-based products.

Children: