.Modelica_Requirements.Interfaces

Information

Library of interfaces and of partial blocks

Contents

Name	Description
PropertyInput	'input Property' as connector
PropertyOutput	'output Property' as connector
PropertyVectorInput	Property input connector used for vector of connectors
EventInput	'input Event' as connector
EventOutput	'output Event' as connector
PartialSystem	Block defining properties2 of a system
PartialEnvironment	Block defining properties2 of the environment
PropertyFunction	Icon for functions returning a variable of type Property
PartialBooleanVISO	Partial block with a BooleanVectorInput and a BooleanOutput signal
PartialPropertyVISO	Partial block with a PropertyVectorInput and a PropertyOutput signal
PartialExpression	Icon for expression block
PartialConstant	Icon for Constant block
partialThresholdComparison	Partial block to compare the Real input u with a threshold and provide the result as 1 Boolean output signal
PartialTriggeredMovingWindow	Icon and equationns for a block with a trigger signal and a moving time window
PartialCheck	Interfaces and icon for check block
PartialCheckInSlidingWindowWithBooleanOutput	Interfaces and icon for check block that evaluates a property in a sliding time window and returns the result as Boolean
PartialCheckInSlidingWindowWithPropertyOutput	Interfaces and icon for check block that evaluates a property in a sliding time window and returns the result as Property
PartialConversion	Icon for conversion block
ObservationID	Identification of instance from which observations are used
PartialRequirement	Common properties of all requirement blocks
PartialWatching	Partial definition of watch record to observe the signals from a source
PartialRequirements	Partial requirements block
PartialVerify	Partial model containing the common interfaces to check requirements