plugins/org.eclipse.app4mc.amalthea.validation/catalog/TA.checkcatalog

<?xml version="1.0" encoding="UTF-8"?>
<cc:Catalog xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:cc="http://www.eclipse.org/sphinx/check/catalog"
    id="ValidationRules"
    label="TA Validation Rules">

<categories
    id="TAConstraint"
    label="TA Constraints"/>

<!--start AMALTHEA Model -->
<constraints
    id="UniqueNameConstraint"
    label="UniqueName"
    description="Checks if each referable object's name is unique"
    severity="Error"
    message="The name {0} of the object is not unique!"
    categories="TAConstraint"/>
<constraints
    id="DeviationConstraint"
    label="Deviation"
    description="Checks if all parameters of a Deviation object are valid"
    severity="Error"
    message="A parameter of the Deviation object is invalid!"
    categories="TAConstraint"/>
<constraints
    id="UniformDistributionConstraint"
    label="UniformDistribution"
    description="Checks if all parameters of UniformDistribution are valid"
    severity="Error"
    message="A parameter of the UniformDistribution object is invalid!"
    categories="TAConstraint"/>
<constraints
    id="BetaDistributionConstraint"
    label="BetaDistribution"
    description="Checks if all parameters of BetaDistribution are valid"
    severity="Error"
    message="A parameter of the BetaDistribution object is invalid!"
    categories="TAConstraint"/>
<constraints
    id="GaussDistributionConstraint"
    label="GaussDistribution"
    description="Checks if all parameters of GaussDistribution are valid"
    severity="Error"
    message="A parameter of the GaussDistribution object is invalid!"
    categories="TAConstraint"/>
<constraints
    id="WeibullParametersConstraint"
    label="WeibullParameters"
    description="Checks if all parameters of WeibullParameters are valid"
    severity="Error"
    message="A parameter of the WeibullParameters object is invalid!"
    categories="TAConstraint"/>
 <constraints
    id="WeibullEstimatorsConstraint"
    label="WeibullEstimators"
    description="Checks if all parameters of WeibullEstimators are valid"
    severity="Error"
    message="A parameter of the WeibullEstimators object is invalid!"
    categories="TAConstraint"/>
<!--end AMALTHEA Model -->

<!--start CONSTRAINTS Model -->
<constraints
    id="EDFDeadlineAvailabilityConstraint"
    label="EDF Deadline"
    description="Checks in case of EDF scheduling algorithm if for each process a deadline is set"
    severity="Error"
    message="Task {0} is missing a deadline requirement necessary for EDF scheduling!"
    categories="TAConstraint"/>
    
<constraints
    id="DeadlineValueConstraint"
    label="Deadline Value"
    description="Checks if deadline is not less or equal to zero "
    severity="Error"
    message="The deadline contains an invalid value: {0} {1}!"
    categories="TAConstraint"/>
    
<constraints
    id="SynchronizationConstraintToleranceUnsigned"
    label="Tolerance Unsigned"
    description="Checks if the value of property &quot;tolerance&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="DelayConstraintUpperUnsigned"
    label="Upper Unsigned"
    description="Checks if the value of property &quot;upper&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<constraints
    id="DelayConstraintLowerUnsigned"
    label="Lower Unsigned"
    description="Checks if the value of property &quot;lower&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="EventChainLatencyConstraintMinimumUnsigned"
    label="Minimum Unsigned"
    description="Checks if the value of property &quot;minimum&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>    
<constraints
    id="EventChainLatencyConstraintMaximumUnsigned"
    label="Maximum Unsigned"
    description="Checks if the value of property &quot;maximum&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="RepetitionConstraintLowerUnsigned"
    label="Lower Unsigned"
    description="Checks if the value of property &quot;lower&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<constraints
    id="RepetitionConstraintUpperUnsigned"
    label="Upper Unsigned"
    description="Checks if the value of property &quot; upper &quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<constraints
    id="RepetitionConstraintJitterUnsigned"
    label="Jitter Unsigned"
    description="Checks if the value of property &quot;jitter&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<constraints
    id="RepetitionConstraintPeriodUnsigned"
    label="Period Unsigned"
    description="Checks if the value of property &quot;period&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="DataAgeTimeMinimumUnsigned"
    label="Minimum Unsigned"
    description="Checks if the value of property &quot;minimum&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<constraints
    id="DataAgeTimeMaximumUnsigned"
    label="Maximum Unsigned"
    description="Checks if the value of property &quot;maximum&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<!--end CONSTRAINTS Model -->

<!--start HW Model -->
<constraints
    id="QuartzFrequencyConstraint"
    label="Quartz Frequency"
    description="Checks if frequency value of Quartz is not less or equal to zero"
    severity="Error"
    message="The frequency parameter of Quartz contains an invalid value: {0}!"
 	categories="TAConstraint"/>
    
<constraints
    id="InstructionsPerCycleConstraint"
    label="CoreType InstructionsPerCycle"
    description="Checks if instructionsPerCycle value of CoreType is not less or equal to zero"
    severity="Error"
    message="The instructionsPerCycle parameter of CoreType contains an invalid value: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="QuartzReferenceOfPrescalerConstraint"
    label="Prescaler Quartz"
    description="Checks if reference to Quartz is valid"
    severity="Error"
    message="The Quartz reference of Prescaler is invalid!"
    categories="TAConstraint"/>
<!--end HW Model -->

<!--start OS Model -->
<constraints
    id="SemaphoreConstraint"
    label="Semaphore"
    description="Checks if all parameters of a Semaphore object are valid"
    severity="Error"
    message="A parameter of the Semaphore object is invalid!"
    categories="TAConstraint"/>
 <constraints
    id="SemaphoreReferenceConstraint"
    label="SemaphoreReference"
    description="Checks if all references to Semaphore objects are valid"
    severity="Error"
    message="A reference to a Semaphore object is invalid!"
    categories="TAConstraint"/>
    
 <constraints
    id="SchedulingHWUnitDelayUnsigned"
    label="Delay Unsigned"
    description="Checks if the value of property &quot;delay&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<!--end OS Model -->

<!--start STIMULI Model -->
<constraints
    id="PeriodicRecurrenceConstraint"
    label="Periodic Recurrence"
    description="Checks if recurrence parameter of Periodic is not less or equal to zero"
    severity="Error"
    message="The recurrence parameter of Periodic contains an invalid value: {0} {1}!"
    categories="TAConstraint"/>
<constraints
    id="ClockReferenceOfPeriodicConstraint"
    label="Periodic Clock"
    description="Checks if reference to Clock is valid"
    severity="Error"
    message="The Clock reference of Periodic is invalid!"
    categories="TAConstraint"/>
<constraints
    id="ClockTriangleFunctionConstraint"
    label="ClockTriangleFunction"
    description="Checks if the parameters of ClockTriangleFunction are valid"
    severity="Error"
    message="The parameter of ClockTriangleFunction is invalid!"
    categories="TAConstraint"/>
<constraints
    id="ClockSinusFunctionConstraint"
    label="ClockSinusFunction"
    description="Checks if the parameters of ClockSinusFunction are valid"
    severity="Error"
    message="The parameter of ClockSinusFunction is invalid!"
    categories="TAConstraint"/>
    
<constraints
    id="PeriodicOffsetUnsigned"
    label="Periodic Offset Unsigned"
    description="Checks if the value of property &quot;offset&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<constraints
    id="PeriodicRecurrenceUnsigned"
    label="Periodic Recurrence Unsigned"
    description="Checks if the value of property &quot;recurrence&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="SyntheticOffsetUnsigned"
    label="Synthetic Offset Unsigned"
    description="Checks if the value of property &quot;offset&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<constraints
    id="SyntheticPeriodUnsigned"
    label="Synthetic Period Unsigned"
    description="Checks if the value of property &quot;period&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="TimestampListTimestampsUnsigned"
    label="TimestampList Timestamps Unsigned"
    description="Checks if the values of property &quot;timestamps&quot; are not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="SingleActivationUnsigned"
    label="Single Activation Unsigned"
    description="Checks if the value of property &quot;activation&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="ArrivalCurveEntryLowerUnsigned"
    label="ArrivalCurveEntry Lower Unsigned"
    description="Checks if the value of property &quot;lowerTimeBorder&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<constraints
    id="ArrivalCurveEntryUpperUnsigned"
    label="ArrivalCurveEntry Upper Unsigned"
    description="Checks if the value of property &quot;upperTimeBorder&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="ClockTriangleFunctionPeriodUnsigned"
    label="ClockTriangleFunction Period Unsigned"
    description="Checks if the value of property &quot;period&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="ClockSinusFunctionPeriodUnsigned"
    label="ClockSinusFunction Period Unsigned"
    description="Checks if the value of property &quot;period&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="ClockMultiplierListEntryTimeUnsigned"
    label="ClockMultiplierListEntry Time Unsigned"
    description="Checks if the value of property &quot;time&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="ModeValueListEntryModeLabelConstraint"
    label="ModeValueListEntry ModeLabel"
    description="Checks if property &quot;valueProvider&quot; of &quot;ModeValueListEntry&quot; references an existing &quot;ModeLiteral&quot;"
    severity="Error"
    message="Value must be an existing ModeLiteral!"
    categories="TAConstraint"/>
<!--end STIMULI Model -->

<!--start SW Model -->
<constraints
    id="LabelSizeConstraint"
    label="Label Size"
    description="Checks if size parameter of Label is not less or equal to zero"
    severity="Error"
    message="The size parameter of Label contains an invalid value: {0}!"
    categories="TAConstraint"/>
<constraints
    id="RunnableReferenceOfRunnableCallConstraint"
    label="RunnableCall Runnable"
    description="Checks if reference to Runnable of RunnableCall is valid"
    severity="Error"
    message="The Runnable reference of RunnableCall is invalid!"
    categories="TAConstraint"/>
<constraints
    id="RunnableReferenceOfTaskRunnableCallConstraint"
    label="TaskRunnableCall Runnable"
    description="Checks if reference to Runnable of TaskRunnableCall is valid"
    severity="Error"
    message="The Runnable reference of TaskRunnableCall is invalid!"
    categories="TAConstraint"/>
<constraints
    id="OsEventReferenceOfEventMaskConstraint"
    label="EventMask Events"
    description="Checks if references to OsEvent of EventMask are valid"
    severity="Error"
    message="The EventMask contains an invalid OsEvent reference!"
    categories="TAConstraint"/>
<constraints
    id="EventMaskEventsConstraint"
    label="EventMask Events"
    description="Checks if for each OsEvent in EventMasks of WaitEvents an SetEvent exists"
    severity="Error"
    message="The OsEvent {0} of the EventMask is never set!"
    categories="TAConstraint"/>
 <constraints
    id="ModeSwitchValueProviderConstraint"
    label="ModeSwitch ValueProvider"
    description="Checks if reference to ModeLabel of ModeSwitch is valid"
    severity="Error"
    message="The ValueProvider reference of ModeSwitch is invalid!"
    categories="TAConstraint"/>
 <constraints
    id="ModeSwitchEntryValueConstraint1"
    label="ModeSwitchEntry Value (used once)"
    description="Checks if the parameter Value of ModeSwitchEntry is valid"
    severity="Error"
    message="The parameter Value of ModeSwitchEntry is used multiple times!"
    categories="TAConstraint"/>
 <constraints
    id="ModeSwitchEntryValueConstraint2"
    label="ModeSwitchEntry Value (valid reference)"
    description="Checks if the parameter Value of ModeSwitchEntry is valid"
    severity="Error"
    message="The parameter Value of ModeSwitchEntry is invalid!"
    categories="TAConstraint"/>   
 <constraints
    id="ModeLabelModeConstraint"
    label="ModeLabel Mode"
    description="Checks if the reference to Mode of ModeLabel is valid"
    severity="Error"
    message="The Mode reference of ModeLabel is invalid!"
    categories="TAConstraint"/>     
 <constraints
    id="ModeLabelInitialValueConstraint"
    label="ModeLabel InitialValue"
    description="Checks if the parameter InitialValue of ModeLabel is valid"
    severity="Error"
    message="The parameter InitialValue of ModeLabel is invalid!"
    categories="TAConstraint"/>
<constraints
    id="ServerCallServerRunnableConstraint"
    label="ServerCall ServerRunnable"
    description="Checks if the ServerRunnable reference of ModeValueProvider is valid"
    severity="Error"
    message="The ServerRunnable reference of ServerCall is invalid!"
    categories="TAConstraint"/>
<constraints
    id="EnforcedMigrationResourceOwnerConstraint"
    label="EnforcedMigration ResourceOwner"
    description="Checks if the ResourceOwner reference of EnforcedMigration is valid"
    severity="Error"
    message="The ResourceOwner reference of EnforcedMigration is invalid!"
    categories="TAConstraint"/>
    
<constraints
    id="RunnableDeadlineUnsigned"
    label="Runnable Deadline Unsigned"
    description="Checks if the value of property &quot;deadline&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="PeriodicActivationMinUnsigned"
    label="PeriodicActivation Min Unsigned"
    description="Checks if the value of property &quot;min&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<constraints
    id="PeriodicActivationMaxUnsigned"
    label="PeriodicActivation Max Unsigned"
    description="Checks if the value of property &quot;max&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<constraints
    id="PeriodicActivationOffsetUnsigned"
    label="PeriodicActivation Offset Unsigned"
    description="Checks if the value of property &quot;offset&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<constraints
    id="PeriodicActivationDeadlineUnsigned"
    label="PeriodicActivation Deadline Unsigned"
    description="Checks if the value of property &quot;deadline&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>    

<constraints
    id="SingleActivationMinUnsigned"
    label="SingleActivation Min Unsigned"
    description="Checks if the value of property &quot;min&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
<constraints
    id="SingleActivationMaxUnsigned"
    label="SingleActivation Max Unsigned"
    description="Checks if the value of property &quot;max&quot; is not less than zero"
    severity="Error"
    message="Value must not be negative but was: {0}!"
    categories="TAConstraint"/>
    
<constraints
    id="ModeLabelAccessModeEqual"
    label="ModeLabelAccess Mode Equal"
    description="Checks if the modes referenced by &quot;modeValue&quot; and &quot;data&quot; of ModeLabelAccess are equal"
    severity="Error"
    message="Referenced modes must be equal but were: {0} != {1}!"
    categories="TAConstraint"/>
    
<constraints
    id="ModeLiteralMode"
    label="ModeLiteral Mode"
    description="Checks if a ModeLiteral is part of a Mode"
    severity="Error"
    message="ModeLiteral must be part of a Mode!"
    categories="TAConstraint"/>
<!--end SW Model --> 

<!--start MAPPING Model -->
<constraints
    id="CoreReferenceOfCoreAllocationConstraint"
    label="CoreAllocation Core"
    description="Checks if reference to Core of CoreAllocation is valid"
    severity="Error"
    message="The Core reference of CoreAllocation is invalid!"
    categories="TAConstraint"/>
<!--end MAPPING Model -->

</cc:Catalog>