Even if multiple SW-C are included when running "polyspaceAutosar", Polyspace will only verify each component's source against its corresponding ARXML specification file. Consequently, Polyspace is not capable of detecting this integration issue.
Unfortunately, there is no functionality within Polyspace or Simulink that can detect this integration issue. If you need to programmatically check for this error, you will likely need to write a script to parse the ARXML files and confirm that the specifications are compatible.
