Вы видите один или обе из этих ошибок при создании проекта Polyspace® из AUTOSAR XML и исходных файлов:
Elements "/pkg/swc002/bhv/twosec" and "/pkg/swc002/bhv/step" in file $file{C:/AUTOSAR/arxml/mSwc002_component.arxml}{332} have the same UUID "5bdd54d5-50ae-4ad3-bdea-e0b0ab2bcab6". Each of these elements should have its own unique UUID.
'Element "/AUTOSAR" has both UUID "ECUS:6b411924-70da-40a5-85f5-65d5630ea0cb" and "ECUS:48ea040a-c40d-4ee0-ae61-8a6ccc9cb18d". You should specify only one UUID.
Займитесь расследованиями, почему несколько элементов имеют тот же UUID, или тот же элемент имеет два различных UUID-s. Устраните проблему, если это возможно.
Если вы не владеете AUTOSAR XML с конфликтом UUID-s или не хотите устранять проблему, потому что это представляет, работают происходящие, используют опции -Eno-autosar-xmlReaderSameUuidForDifferentElements
и -Eno-autosar-xmlReaderTooManyUuids
. Анализ игнорирует проблему конфликта UUID-s и продолжает предупреждение. Для конфликта UUID-s анализ хранит последнее чтение элемента.
Последующие исследования продолжают использовать режим предупреждения. Чтобы вернуться назад к ошибочному режиму, используйте опцию -Eautosar-xmlReaderSameUuidForDifferentElements
и -Eautosar-xmlReaderTooManyUuids
.