SYSTEM 5.0.0 $(SCADE)/lib/SyncSystem.aty Reporter/ScadeSystemReport.tcl 8 true 8 Flat 8 Reporter 8 13 rtf 13 Reporter/ScadeSystemReport.tcl 13 true 13 Flat 13 ;Predefined rules|Connector path rules|Check Connector path for a Connector connected to a reference|true;Predefined rules|Connector path rules|Verify if the Connector paths of nested Connectors are correct|true;Predefined rules|Data propagation rules|Check the representation of Data on graphical diagrams|false;Predefined rules|Data propagation rules|Data connected to Flow Port has bound Data in all container Blocks|false;Predefined rules|Data propagation rules|Data connects to Flow Port or is bound to another Data|false;Predefined rules|Data propagation rules|Data is propagated across at least one Connector|false;Predefined rules|Data propagation rules|Data is propagated to final Flow Port|false;Predefined rules|Diagram representation rules|Check the representation on graphical diagrams|true;Predefined rules|Inter-level consistency rules|Allocation is between compatible elements|false;Predefined rules|Inter-level consistency rules|Allocation is between primary Data|false;Predefined rules|Inter-level consistency rules|Allocation respects Block structure|false;Predefined rules|Inter-level consistency rules|Allocation respects Data propagation|false;Predefined rules|Inter-level consistency rules|Data propagation respects Allocations|false;Predefined rules|Model consistency rules|Check consistency of configured instances|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible DataType Dimension |true;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types |true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction |true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction |true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction |true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction |true;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data |true;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports |true;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends |true;Predefined rules|datatypes_system.tcl|Check DataType Unit and Dimension consistency|true;Predefined rules|flow_ports_uml.ocl|External Flow Port is not over produced |false;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance |true;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced |true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction |true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name |false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types |true;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction |true;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name |false;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification |true 18 System Checker 18 21 23 25 27 ;Predefined rules|Connector path rules|Check Connector path for a Connector connected to a reference|true;Predefined rules|Connector path rules|Verify if the Connector paths of nested Connectors are correct|true;Predefined rules|Data propagation rules|Check the representation of Data on graphical diagrams|false;Predefined rules|Data propagation rules|Data connected to Flow Port has bound Data in all container Blocks|false;Predefined rules|Data propagation rules|Data connects to Flow Port or is bound to another Data|false;Predefined rules|Data propagation rules|Data is propagated across at least one Connector|false;Predefined rules|Data propagation rules|Data is propagated to final Flow Port|false;Predefined rules|Diagram representation rules|Check the representation on graphical diagrams|true;Predefined rules|Inter-level consistency rules|Allocation is between compatible elements|false;Predefined rules|Inter-level consistency rules|Allocation is between primary Data|false;Predefined rules|Inter-level consistency rules|Allocation respects Block structure|false;Predefined rules|Inter-level consistency rules|Allocation respects Data propagation|false;Predefined rules|Inter-level consistency rules|Data propagation respects Allocations|false;Predefined rules|Model consistency rules|Check consistency of configured instances|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible DataType Dimension |true;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types |true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction |true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction |true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction |true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction |true;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data |true;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports |true;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends |true;Predefined rules|datatypes_system.tcl|Check DataType Unit and Dimension consistency|true;Predefined rules|flow_ports_uml.ocl|External Flow Port is not over produced |true;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance |true;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced |true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction |true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name |true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types |true;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction |true;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name |true;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification |true 21 ;Predefined rules|Connector path rules|Check Connector path for a Connector connected to a reference|false;Predefined rules|Connector path rules|Verify if the Connector paths of nested Connectors are correct|false;Predefined rules|Data propagation rules|Check the representation of Data on graphical diagrams|false;Predefined rules|Data propagation rules|Data connected to Flow Port has bound Data in all container Blocks|true;Predefined rules|Data propagation rules|Data connects to Flow Port or is bound to another Data|true;Predefined rules|Data propagation rules|Data is propagated across at least one Connector|true;Predefined rules|Data propagation rules|Data is propagated to final Flow Port|true;Predefined rules|Diagram representation rules|Check the representation on graphical diagrams|false;Predefined rules|Inter-level consistency rules|Allocation is between compatible elements|false;Predefined rules|Inter-level consistency rules|Allocation is between primary Data|false;Predefined rules|Inter-level consistency rules|Allocation respects Block structure|false;Predefined rules|Inter-level consistency rules|Allocation respects Data propagation|false;Predefined rules|Inter-level consistency rules|Data propagation respects Allocations|false;Predefined rules|Model consistency rules|Check consistency of configured instances|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible DataType Dimension |false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types |false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction |false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction |false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction |false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction |false;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data |false;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports |false;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends |false;Predefined rules|datatypes_system.tcl|Check DataType Unit and Dimension consistency|false;Predefined rules|flow_ports_uml.ocl|External Flow Port is not over produced |false;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance |false;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced |false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction |false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name |false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types |false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction |false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name |false;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification |false 23 ;Predefined rules|Connector path rules|Check Connector path for a Connector connected to a reference|false;Predefined rules|Connector path rules|Verify if the Connector paths of nested Connectors are correct|false;Predefined rules|Data propagation rules|Check the representation of Data on graphical diagrams|false;Predefined rules|Data propagation rules|Data connected to Flow Port has bound Data in all container Blocks|false;Predefined rules|Data propagation rules|Data connects to Flow Port or is bound to another Data|false;Predefined rules|Data propagation rules|Data is propagated across at least one Connector|false;Predefined rules|Data propagation rules|Data is propagated to final Flow Port|false;Predefined rules|Diagram representation rules|Check the representation on graphical diagrams|false;Predefined rules|Inter-level consistency rules|Allocation is between compatible elements|true;Predefined rules|Inter-level consistency rules|Allocation is between primary Data|true;Predefined rules|Inter-level consistency rules|Allocation respects Block structure|true;Predefined rules|Inter-level consistency rules|Allocation respects Data propagation|true;Predefined rules|Inter-level consistency rules|Data propagation respects Allocations|true;Predefined rules|Model consistency rules|Check consistency of configured instances|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible DataType Dimension |false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types |false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction |false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction |false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction |false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction |false;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data |false;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports |false;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends |false;Predefined rules|datatypes_system.tcl|Check DataType Unit and Dimension consistency|false;Predefined rules|flow_ports_uml.ocl|External Flow Port is not over produced |false;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance |false;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced |false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction |false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name |false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types |false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction |false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name |false;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification |false 25 ;Predefined rules|Connector path rules|Check Connector path for a Connector connected to a reference|false;Predefined rules|Connector path rules|Verify if the Connector paths of nested Connectors are correct|false;Predefined rules|Data propagation rules|Check the representation of Data on graphical diagrams|false;Predefined rules|Data propagation rules|Data connected to Flow Port has bound Data in all container Blocks|false;Predefined rules|Data propagation rules|Data connects to Flow Port or is bound to another Data|false;Predefined rules|Data propagation rules|Data is propagated across at least one Connector|false;Predefined rules|Data propagation rules|Data is propagated to final Flow Port|false;Predefined rules|Diagram representation rules|Check the representation on graphical diagrams|false;Predefined rules|Inter-level consistency rules|Allocation is between compatible elements|false;Predefined rules|Inter-level consistency rules|Allocation is between primary Data|false;Predefined rules|Inter-level consistency rules|Allocation respects Block structure|false;Predefined rules|Inter-level consistency rules|Allocation respects Data propagation|false;Predefined rules|Inter-level consistency rules|Data propagation respects Allocations|false;Predefined rules|Model consistency rules|Check consistency of configured instances|true;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible DataType Dimension |false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types |false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction |false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction |false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction |false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction |false;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data |false;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports |false;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends |false;Predefined rules|datatypes_system.tcl|Check DataType Unit and Dimension consistency|false;Predefined rules|flow_ports_uml.ocl|External Flow Port is not over produced |false;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance |false;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced |false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction |false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name |false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types |false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction |false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name |false;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification |false 27 Synchronization 29 System Configurator 2 8 13 18 21 23 25 27 29 0 <selection> 18 disabled 18