Glossary:

Definition
Status
Abbreviations
Synonyms
Comment
Images

Requirement Sources:

()

Definition
Status
Comment

Contact list

none
Name Email Telephone Mobile

Files

none
Type
File path
File name
File link
File description
File version

Requirements:

:

ID
Requirement type
Title
Description
Rationale
Author
Sources
Status
Priority
TODO

Associated Signals
Signal
Type
Range [,]
Scope Actor(s) Trigger(s) Precondition Inputs(s) Outputs(s) Minimal guarantees Success guarantees Scenarios
Formal Specifications Safety Requirement Type Safety Standard Safety Integrity Level (SIL) Comments Images
(Success Scenario)
Step Action Actor Action type Branch
type

Component:

State Automaton

Code Specification

Mode Automaton

Component:

Header type
Rule\Header

Component:

Traces to component architectures

Author Target Target type Comment Safety Relevance

Traces within requirements

Relation type Author Source Target Comment
none