Abstract: A system includes a host application configured to receive a component model representing a vehicle component. The component model includes a body having a concave portion and/or a convex portion that defines a fluid retainer. A detection tool in communication with the host application is configured to determine a size and location of the fluid retainer. The detection tool is further configured to associate the size of the fluid retainer to a design rule and calculate a value representing a minimum hole size that will allow fluid to flow into or out of the fluid retainer in accordance with the design rule.

Abstract: The disclosure relates to the automatic selection of a set of candidate weld guns and candidate orientations for the weld guns from a library of existing weld guns. Minimum values for weld points and test orientations are calculated. The calculated minimum values are added to the library. As each point is added to the library, the set of weld guns that are candidates for the weld point at the tested orientation may be efficiently retrieved, and a matrix of candidate weld guns and orientations is produced.

Abstract: A system includes a host application configured to receive a component model representing a vehicle component. The component model includes a body having a concave portion and/or a convex portion that defines a fluid retainer. A detection tool in communication with the host application is configured to determine a size and location of the fluid retainer. The detection tool is further configured to associate the size of the fluid retainer to a design rule and calculate a value representing a minimum hole size that will allow fluid to flow into or out of the fluid retainer in accordance with the design rule.

Abstract: A method for estimating a plurality of geometrical parameters defining the size of a weld gun that has particular application for automatically selecting a weld gun for a welding operation. The method includes iteratively estimating a plurality of geometric parameters based on part section curves corresponding to a direction of approach of the weld gun to weld point of the plurality of weld points. Thereafter, a set of valid weld gun sizes are calculated based on the estimated plurality of geometric parameters. Similarly all the valid weld gun sizes are calculated corresponding to each of the weld gun approach direction. Further, each set of the valid gun sizes are estimated for each of the weld point for the welding operation. Finally, a weld gun for performing the welding operation is selected based on the set of weld gun sizes corresponding to the welding operation.

Abstract: A method and system is provided for verifying and certifying the safety logic of a manufacturing automation system including safety logic, where the logic may include one or more safety modules, routines, programs and tasks or a combination thereof; testing specifications corresponding to the safety logic; one or more formal model generators adapted for automatically transforming the safety logic and testing specifications through a logic parser into their respective mathematical models, formatted for example, as a Petri-net or binary decision diagram; a safety logic verifier configured for automatically comparing the safety logic formal model against the testing specification formal model to verify the safety logic model for the purpose of certifying the safety logic. The testing specifications may include testing of safety logic behavior including reaching safe state, remaining in safe state without reset, recovering from safe state with reset and remaining active with false alarm detection.

Abstract: A method for estimating a plurality of geometrical parameters defining the size of a weld gun that has particular application for automatically selecting a weld gun for a welding operation. The method includes iteratively estimating a plurality of geometric parameters based on part section curves corresponding to a direction of approach of the weld gun to weld point of the plurality of weld points. Thereafter, a set of valid weld gun sizes are calculated based on the estimated plurality of geometric parameters. Similarly all the valid weld gun sizes are calculated corresponding to each of the weld gun approach direction. Further, each set of the valid gun sizes are estimated for each of the weld point for the welding operation. Finally, a weld gun for performing the welding operation is selected based on the set of weld gun sizes corresponding to the welding operation.

Abstract: The disclosure relates to the automatic selection of a set of candidate weld guns and candidate orientations for the weld guns from a library of existing weld guns. Minimum values for weld points and test orientations are calculated. The calculated minimum values are added to the library. As each point is added to the library, the set of weld guns that are candidates for the weld point at the tested orientation may be efficiently retrieved, and a matrix of candidate weld guns and orientations is produced.

Abstract: A system and method for interpreting formal verification results of PLC logic code used to control a manufacturing process, or other automated process, where the interpretation process does not require highly skilled technicians having significant experience in computer and mathematical algorithms. The verification process includes providing a verification results summary to check the compliance of the code with respect to the specifications. The verification results summary is analyzed and categorized to determine whether violations or errors are found in the results. The results can be depicted by assertion trees if a direct assertion between the PLC logic and the specifications can be provided. Alternatively, the results can be depicted by a reduced ladder logic if a direct assertion between the PLC logic and the specifications cannot be provided and a simulation is required. The specification refinement suggestions will be provided if the critical variable for violations is identified.