4 Information requirements

This clause specifies the information requirements for the Interconnect physical requirement allocation application module. The information requirements are specified as the Application Reference Model (ARM) of this application module.

NOTE 1  A graphical representation of the information requirements is given in Annex C.

NOTE 2  The mapping specification is specified in 5.1. It shows how the information requirements are met by using common resources and constructs defined or imported in the MIM schema of this application module.

This clause defines the information requirements to which implementations shall conform using the EXPRESS language as defined in ISO 10303-11. The following begins the Interconnect_physical_requirement_allocation_arm schema and identifies the necessary external references.

4.1 Required AM ARMs

The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.

EXPRESS specification:

*)
USE FROM Requirement_view_definition_relationship_arm;    --  ISO/TS 10303-1142



USE FROM Integral_shield_arm;    --  ISO/TS 10303-1763



REFERENCE FROM Support_resource_arm    --  ISO/TS 10303-1800
  (bag_to_set);
(*



NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Requirement_view_definition_relationship_arm	ISO/TS 10303-1142
Integral_shield_arm	ISO/TS 10303-1763
Support_resource_arm	ISO/TS 10303-1800

NOTE 2   See Annex C, Figures C.1and C.2 for a graphical representation of this schema.

4.2 ARM entity definitions

This subclause specifies the ARM entities for this module. Each ARM application entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entities and definitions are specified below.

4.2.1 Electrical_isolation_requirement   

A Electrical_isolation_requirement is a type of Requirement_view_definition included to specify source or derived requirements for electric potential isolation between design elements. The default interpretation shall be that the frequency of the electric potential is zero frequency.

NOTE 1   It is assumed that standard industrial practice is followed in defining and measuring electric isolation. The details of measurement are outside the scope of this part of ISO 10303.

EXPRESS specification:

*)
ENTITY Electrical_isolation_requirement
  SUBTYPE OF (Requirement_view_definition);
  effective_voltage_withstand_capacity_requirement : OPTIONAL Value_limit;
DERIVE
  electrical_isolation_spacing_requirement : SET[1:1] OF Predefined_requirement_view_definition := get_specific_requirement_type_for_primary_rvd_relationship(SELF, 'derived from', 'INTERCONNECT_PLACEMENT_REQUIREMENTS_ARM.LAYOUT_SPACING_REQUIREMENT');
WHERE
  WR1: NOT EXISTS(effective_voltage_withstand_capacity_requirement) OR ((effective_voltage_withstand_capacity_requirement\Qualified_representation_item.qualifiers[1]\Type_qualifier.name in ['minimum']) AND ('VALUE_WITH_UNIT_EXTENSION_ARM.ELECTRIC_POTENTIAL_DATA_ELEMENT' IN TYPEOF(effective_voltage_withstand_capacity_requirement)));
  WR2: 'INTERCONNECT_PLACEMENT_REQUIREMENTS_ARM.LAYOUT_SPACING_REQUIREMENT' IN TYPEOF(electrical_isolation_spacing_requirement[1]);
  WR3: NOT EXISTS(SELF\Product_view_definition.additional_characterization);
END_ENTITY;
(*

Attribute definitions:

effective_voltage_withstand_capacity_requirement: specifies a role of the Predefined_requirement_view_definition for the Electrical_isolation_requirement.

electrical_isolation_spacing_requirement: specifies a role of the Predefined_requirement_view_definition for the Electrical_isolation_requirement. There shall be exactly one Predefined_requirement_view_definition in this role for the Electrical_isolation_requirement.

Formal propositions:

WR1: If the effective_voltage_withstand_capacity_requirement is provided, the value limit shall be 'minimum' and the type of the value shall be electric potential.

NOTE 2   When assigned to a product or product aspect, the effective_voltage_withstand_capacity_requirement specifies the effective minimum voltage the assigned product or product aspect shall withstand as defined in an externally defined document.

WR2: The only member of electrical_isolation_spacing_requirement shall be of type Layout_spacing_requirement.

WR3: The additional_characterization shall not be populated.

4.2.2 Interconnect_shield_allocation   

EXPRESS specification:

*)
ENTITY Interconnect_shield_allocation
  SUBTYPE OF (Requirement_assignment);
  SELF\Requirement_assignment.assigned_to : Integral_shield;
  SELF\Requirement_assignment.assigned_requirement RENAMED assigned_requirement_property : Predefined_requirement_view_definition;
WHERE
  WR1: assigned_requirement_property\Product_view_definition.initial_context\Initial_view_definition_context.application_domain = ps_initial_application_domain_enumeration.electrical;
END_ENTITY;
(*

Attribute definitions:

assigned_to: specifies the role of the Integral_shield for the Interconnect_shield_allocation.

assigned_requirement_property: specifies the role of the Predefined_requirement_view_definition for the Interconnect_shield_allocation.

Formal propositions:

WR1: The assigned_requirement_property shall reference the application domain electrical with its initial_context.

4.2.3 Thermal_isolation_requirement   

A Thermal_isolation_requirement is a type of Requirement_view_definition included to specify source or derived requirements for thermal potential isolation between design elements. The default interpretation shall be that the frequency of the thermal potential across the elements being addressed is zero frequency.

NOTE    It is assumed that standard industrial practice is followed in defining and measuring thermal isolation. The details of measurement are outside the scope of this part of ISO 10303.

EXPRESS specification:

*)
ENTITY Thermal_isolation_requirement
  SUBTYPE OF (Requirement_view_definition);
  thermal_bar_width : OPTIONAL Length_tolerance_characteristic;
  number_of_bars : OPTIONAL INTEGER;
  effective_current_capacity_requirement : OPTIONAL Value_limit;
  angular_orientation_requirement : OPTIONAL Value_range;
  effective_thermal_resistance_requirement : OPTIONAL Value_limit;
DERIVE
  thermal_isolation_spacing_requirement : SET[1:1] OF Predefined_requirement_view_definition := get_specific_requirement_type_for_primary_rvd_relationship(SELF, 'derived from', 'INTERCONNECT_PLACEMENT_REQUIREMENTS_ARM.LAYOUT_SPACING_REQUIREMENT');
WHERE
  WR1: NOT EXISTS(SELF\Product_view_definition.additional_characterization);
  WR2: NOT(EXISTS(thermal_bar_width) XOR EXISTS(number_of_bars));
  WR3: 'INTERCONNECT_PLACEMENT_REQUIREMENTS_ARM.LAYOUT_SPACING_REQUIREMENT' IN TYPEOF(thermal_isolation_spacing_requirement[1]);
  WR4: NOT EXISTS(effective_current_capacity_requirement) OR ((effective_current_capacity_requirement\Qualified_representation_item.qualifiers[1]\Type_qualifier.name in ['minimum']) AND ('VALUE_WITH_UNIT_EXTENSION_ARM.ELECTRIC_CURRENT_DATA_ELEMENT' IN TYPEOF(effective_current_capacity_requirement)));
  WR5: NOT EXISTS(angular_orientation_requirement) OR ('VALUE_WITH_UNIT_EXTENSION_ARM.ANGLE_DATA_ELEMENT' IN TYPEOF(angular_orientation_requirement));
  WR6: NOT EXISTS(effective_thermal_resistance_requirement) OR ((effective_thermal_resistance_requirement\Qualified_representation_item.qualifiers[1]\Type_qualifier.name in ['minimum']) AND ('VALUE_WITH_UNIT_EXTENSION_ARM.THERMAL_RESISTANCE_DATA_ELEMENT' IN TYPEOF(effective_thermal_resistance_requirement)));
END_ENTITY;
(*

Attribute definitions:

thermal_bar_width: specifies the role of the Length_tolerance_characteristic for the Thermal_isolation_requirement. The value of this attribute need not be specified.

number_of_bars: specifies a number of bars for the Thermal_isolation_requirement. The value of this attribute need not be specified.

effective_current_capacity_requirement: specifies a role of the Value_limit for the Thermal_isolation_requirement.

angular_orientation_requirement: specifies a role of the Value_limit for the Thermal_isolation_requirement.

effective_thermal_resistance_requirement: specifies a role of the Value_limit for the Thermal_isolation_requirement.

thermal_isolation_spacing_requirement: specifies the role of the Predefined_requirement_view_definition for the Thermal_isolation_requirement. There shall exist exactly one Predefined_requirement_view_definition for the Thermal_isolation_requirement.

Formal propositions:

WR1: The additional_characterization shall not be populated.

WR2: Either both thermal_bar_width and number_of_bars shall be provided, or neither shall be provided.

WR3: The only member of thermal_isolation_spacing_requirement shall be of type Layout_spacing_requirement.

WR4: If effective_current_capacity_requirement is provided, it shall be a minimum requirement and it shall be an Electric_current_data_element.

WR5: If angular_orientation_requirement is provided, it shall be an Angle_data_element.

WR6: If effective_thermal_resistance_requirement is provided, it shall be a Thermal_resistance_data_element.

4.3 ARM function definition

This subclause specifies the ARM function for this module. The ARM function and definition is specified below.

4.3.1 get_specific_requirement_type_for_primary_rvd_relationship

EXPRESS specification:

LOCAL
    rvdr : SET[0:?] OF Requirement_view_definition_relationship := [];
    rdp : SET[0:?] OF Predefined_requirement_view_definition := [];  --this gives us access to the information base
END_LOCAL;
	rvdr := bag_to_set(QUERY(rvdre <* USEDIN (input, 'REQUIREMENT_VIEW_DEFINITION_RELATIONSHIP_ARM.'+ 'REQUIREMENT_VIEW_DEFINITION_RELATIONSHIP.PRIMARY')|
	                           ((rvdre.relation_type = id) AND (reqType IN TYPEOF(rvdre.secondary)))
                       ));
	-- iterate over rvdr
	REPEAT i := 1 to SIZEOF(rvdr) by 1;
      rdp := rdp + rvdr[i].secondary;
	END_REPEAT;

	RETURN(rdp);

Argument definitions:

input: the specified Requirement_view_definition.

id: the specified identifier.

reqType: the specified required type.

© ISO 2018 — All rights reserved