Templates#

Stakeholder Requirements Templates
status: valid
security:
safety:
.. stkh_req:: <Title>
   :id: stkh_req__<Title>
   :reqtype: <Functional|Interface|Process|Legal|Non-Functional>
   :safety: <QM|ASIL_B|ASIL_D>
   :rational: <The rationale provides the reason that the requirement is needed.>
   :status: <valid|invalid>
Feature Requirements Templates
status: valid
security:
safety:
.. feat_req:: <Title>
  :id: feat_req__<Feature>__<Title>
  :reqtype: <Functional|Interface|Process|Legal|Non-Functional>
  :security: <YES|NO>
  :safety: <QM|ASIL_B|ASIL_D>
  :satisfies: <link to stakeholder requirement id>
  :status: <valid|invalid>
Component Requirements Templates
status: valid
security:
safety:
.. comp_req:: <Title>
   :id: comp_req__<Component>__<Title>
   :reqtype: <Functional|Interface|Process|Legal|Non-Functional>
   :security: <YES|NO>
   :safety: <QM|ASIL_B|ASIL_D>
   :satisfies: <link to feature requirement id>
   :status: <valid|invalid>
AoU Requirement Templates
status: valid
security:
safety:
.. aou_req:: <Title>
   :id: aou_req__<Component>__<Title>
   :reqtype: <Functional|Interface|Process|Legal|Non-Functional>
   :security: <YES|NO>
   :safety: <QM|ASIL_B|ASIL_D>
   :status: <valid|invalid>
   :mitigates: <link to safety analysis>
Process Requirements Templates
status: valid
security:
safety:
.. gd_req:: <Title>
   :id: gd_req__<Tool>__<Title>
   :satisfies: <link to guidance id>
   :status: <valid|invalid>
Requirement Formulation Template
status: valid
security:
safety:

Requirements shall be specified according to the following schema:

<The SW Platform|Feature|Component> shall <main verb> <object> <parameter> <temporal/logical conjunction>

<Note: (optional, not to be verified)>

Table 9 Sentence Table#

Addressee of the requirement (subject)

shall

main verb

object of the requirement

parameter of the requirement

temporal/logical conjunction

The development object (who/what)

shall

do something

for whom or what

which target value/condition

when, under which conditions

Example 1: The component

shall

detect

if a key-value pair got corrupted

and set its status to INVALID

during every restart of the SW platform.

Example 2: The software platform

shall

enable

users

to ensure the compatibility of application software

across vehicle variants and vehicle software releases.

Example 3: The linter-tool

shall

check

correctness of .rst files format

upon each commit.

Note

Of the last three columns of the above sentence template table, filling one is mandatory the others are optional.