Attributes

Attribute name Description
PatternType {Existence (P);Absence (P);Universality (P);Bounded Existence (P);Immediate Response (P & S);Response (P & S);Precedence (P & S);}

	Attribute name	Description
	PatternType	{Existence (P);Absence (P);Universality (P);Bounded Existence (P);Immediate Response (P & S);Response (P & S);Precedence (P & S);}

Remarks

Aspects

All: AggregatePort, DesignContainer, DesignElement, TestBench, TestBenchType, Workflow
TBValueFlowAspect: TestBenchType
TBRequirementsAspect: TestBench

Containment

Children: Event_Trigger_Condition, Proposition, RequirementParameter, VTC_BusPortInterface, VTC_Signal
Parents: TestBench

Formal Specification

Structural Semantics: CyPhyML.4ml

PatternBased_Requirement (Model)