Default Error Tracer (DET)

Default Error Tracer централизованно принимает сообщения об ошибках от BSW-модулей и SW-C. Для этого предусмотрены Det_ReportError для ошибок разработки, Det_ReportRuntimeError для ошибок времени выполнения и Det_ReportTransientFault для транзиентных ошибок, каждый с идентификатором модуля, экземпляра, API и ошибки. Каждое сообщение DET передает во все сконфигурированные хуки или коллауты интегратора [SWS_Det_00501]. Работу запускают Det_Init и Det_Start из EcuM. Важнейшее граничное условие: в R20-11 Det_ReportError не возвращает управление вызывающей стороне, а останавливает поток выполнения программы подобно утверждению (assertion) [SWS_Det_00009].

больше ›

Default Error Tracer является центральным пунктом сбора сообщений об ошибках из базового программного обеспечения и программных компонентов. Он предоставляет три одинаково устроенных сервиса отчетов с параметрами ModuleId, InstanceId, ApiId и ErrorId или FaultId: Det_ReportError для ошибок разработки, Det_ReportRuntimeError для ошибок времени выполнения и Det_ReportTransientFault для транзиентных ошибок ([SWS_Det_00009], [SWS_Det_01001], [SWS_Det_01003]). EcuM вводит DET в работу с помощью Det_Init, а затем Det_Start ([SWS_Det_00008], SWS DET Рис. 1 с. 34).

Контекстная диаграмма: DET принимает сообщения от BSW-модулей и SW-C и перенаправляет их в хуки интегратора и опционально в Dlt. Источники: SWS DET Рис. 2 с. 28, [SWS_Det_00202]

DET сам по себе не анализирует сообщения. Каждый сервис отчетов вызывает все хуки или коллауты, сконфигурированные для него (DetErrorHook, DetReportRuntimeErrorCallout, DetReportTransientFaultCallout), причем с теми же параметрами, что и у сообщения [SWS_Det_00501]. Через этот код интегратора DET также достигает DEM или память ошибок. При этом коллауты должны ограничиваться краткими соразмерными действиями ErrorDescription с. 10.

SW-C отправляют отчеты через клиент-серверный интерфейс DETService. RTE дополняет ModuleId и InstanceId как «port defined argument values» из конфигурации DET, а SW-C всегда получает обратно E_OK ([SWS_Det_00203], [SWS_Det_00204]).

Для случаев ошибок решающее значение имеет то, как возвращают управление эти три сервиса. В R20-11 Det_ReportError не возвращает управление: после хуков поток управления останавливается, как при утверждении (assertion) ([SWS_Det_00009], RS BSWGeneral с. 33). Сообщения времени выполнения, напротив, возвращают управление с E_OK. Транзиентные сообщения передают значение коллаута, а без коллаута — E_OK SWS DET Рис. 6 с. 36. Транзиентные ошибки исключены начиная с R24-11, а вызовы Dlt — начиная с R25-11 SWS DET с. 1.

Диаграмма последовательности: При ошибке разработки DET вызывает все сконфигурированные хуки и после этого останавливается, не возвращая управление отправителю отчета. Источники: SWS DET Рис. 9.2 с. 34, [SWS_Det_00009]

больше ›

Роль Default Error Tracer на границе системы

Default Error Tracer (DET) представляет собой центральный пункт сбора, в который модули базового программного обеспечения и программные компоненты сообщают об обнаруженных ошибках. В R20-11 для этого он предлагает три одинаково структурированных сервиса отчетов: Det_ReportError для ошибок разработки [SWS_Det_00009], Det_ReportRuntimeError для ошибок времени выполнения [SWS_Det_01001] и Det_ReportTransientFault для транзиентных ошибок [SWS_Det_01003]. К ним добавляются сервисы управления Det_Init, Det_Start и Det_GetVersionInfo ([SWS_Det_00008], [SWS_Det_00010], [SWS_Det_00011]). Сам DET не анализирует содержание сообщений. Он уведомляет сконфигурированные хуки ошибок при каждом принятом сообщении SWS DET с. 16.

Вовне DET имеет узкое подключение. В качестве единственного ожидаемого интерфейса спецификация называет опциональную пересылку в Dlt через Dlt_DetForwardErrorTrace из Dlt_Det.h ([SWS_Det_00211], SWS DET Рис. 2 с. 28). DEM и RTE DET достигает только через специфичный для интегратора код в коллаутах ErrorDescription с. 10.

Контекстная диаграмма: DET принимает сообщения от BSW-модулей и, через RTE, от SW-C. Он запускается EcuM и передает сообщения только в сконфигурированный код интегратора и опционально в Dlt. Источники: SWS DET Рис. 2 с. 28, [SWS_Det_00202], [SWS_Det_00211], ErrorDescription с. 10

Запуск: Инициализация и старт посредством EcuM

ECU State Manager инициализирует DET с помощью Det_Init (Service-ID 0x00). При этом он передает указатель на выбранный конфигурационный набор типа Det_ConfigType, содержимое которого зависит от реализации ([SWS_Det_00008], [SWS_Det_00210]). Затем Det_Start (Service-ID 0x02) запускает трассировщик [SWS_Det_00010]. Оба сервиса являются синхронными и нереентерабельными. Схема R20-11 показывает оба вызова последовательно из EcuM SWS DET Рис. 1 с. 34. Соответственно, EcuM ведет Det_Init и Det_ReportError как опциональные интерфейсы SWS EcuM с. 142.

Почему инициализация и запуск разделены, спецификация не поясняет. Интерпретация: разделение на две части, вероятно, позволяет инициализировать DET на очень раннем этапе запуска и разрешать штатную работу лишь на более позднем шаге [SWS_Det_00010]. Вопрос Q-fee4462bdf189dcf (открытый)

Диаграмма последовательности: EcuM сначала синхронно вызывает Det_Init с указателем конфигурации, затем Det_Start. Источники: SWS DET Рис. 1 с. 34, [SWS_Det_00008], [SWS_Det_00010]

Три пути отчетов и их идентификаторы

Все три сервиса отчетов имеют одинаковую структуру параметров:

• ModuleId (uint16);
• InstanceId (uint8), для одноэкземплярных модулей — значение 0;
• ApiId (uint8);
• ErrorId или FaultId (uint8).

Идентификаторы API и ошибок каждый раз определяет SWS сообщающего модуля ([SWS_Det_00009], [SWS_Det_01001], [SWS_Det_01003]). Идентификатор модуля берется из списка модулей базового программного обеспечения. Базовое ПО использует из него только диапазон 0..255 EXP LSA с. 157.

Какой путь правильный, следует из классификации ошибок. Нарушенные фундаментальные предварительные условия представляют собой ошибки разработки и обрабатываются подобно утверждению (assertion); примерами служат программные ошибки, некорректная интеграция или недействительная конфигурация. Остальные ошибки являются ошибками времени выполнения или производственными ошибками EXP LSA с. 154. Если сконфигурировано обнаружение ошибок разработки, BSW-модули сообщают об ошибках разработки с присвоенным им идентификатором модуля через Det_ReportError SWS BSWGeneral с. 57. Переключатель препроцессора, такой как SPI_DEV_ERROR_DETECT, подключает или отключает этот вызов EXP LSA с. 113.

Диаграмма активности: Если нарушено фундаментальное предварительное условие, через Det_ReportError сообщается об ошибке разработки. В противном случае диагностическая значимость определяет выбор между производственной ошибкой и ошибкой времени выполнения (Det_ReportRuntimeError). Источники: EXP LSA с. 154, [SWS_Det_00009], [SWS_Det_01001]

Об ошибках времени выполнения сообщают, например, драйвер ADC с помощью ADC_E_BUSY или Dds при отброшенных сообщениях, в каждом случае через Det_ReportRuntimeError (SWS Adc с. 95, SWS Dds с. 53). BSW-модуль описывает свою потребность с помощью типа ServiceNeeds ErrorTracerNeeds. Он поддерживает роли Det_ReportError, Det_ReportRuntimeError и Det_ReportTransientFault TPS BSWMDT с. 266.

Хуки и коллауты как мост к коду интегратора

Каждый вызов Det_ReportError вызывает все функции, сконфигурированные в DetErrorHook. Аналогично Det_ReportRuntimeError и Det_ReportTransientFault вызывают все коллауты из DetReportRuntimeErrorCallout или DetReportTransientFaultCallout соответственно [SWS_Det_00501]. Хуки и коллауты имеют сигнатуру инициирующего сервиса и получают те же параметры ([SWS_Det_00181], [SWS_Det_00184], [SWS_Det_00187], SWS DET с. 16). Интерфейс хуков <User_Error_Hooks> имеет Service-ID 0x10. Он является синхронным и реентерабельным и всегда возвращает E_OK SWS DET с. 25.

Что выполняют коллауты, решает интегратор. При ошибках времени выполнения и транзиентных ошибках они должны ограничиваться небольшим числом действий: сохранить событие, вызвать DEM или выполнить другое краткое соразмерное действие ErrorDescription с. 10. После вызова Det_ReportRuntimeError DET всегда возвращает управление с E_OK, независимо от того, сконфигурированы ли коллауты (SWS DET Рис. 4 с. 35, SWS DET Рис. 5 с. 35).

Диаграмма последовательности: Det_ReportRuntimeError вызывает все сконфигурированные коллауты и в любом случае возвращает управление отправителю отчета с E_OK. Источники: SWS DET Рис. 4 с. 35, SWS DET Рис. 5 с. 35, [SWS_Det_00501]

При Det_ReportTransientFault DET, напротив, передает возвращаемое значение коллаута отправителю отчета. Без коллаута он возвращает E_OK (SWS DET Рис. 6 с. 36, SWS DET Рис. 7 с. 36). Для случая нескольких коллаутов более поздняя редакция описывает логическое объединение «ИЛИ» возвращаемых значений: E_OK возвращается только тогда, когда все коллауты возвращают E_OK. Это правило, вероятно, применимо уже и к R20-11 SWS DET с. 24. Вопрос (открытый)

Диаграмма последовательности: Det_ReportTransientFault передает возвращаемые значения коллаутов отправителю отчета; без коллаута возвращается E_OK. Логическое объединение «ИЛИ» при нескольких коллаутах обозначено как предположение. Источники: SWS DET Рис. 6 с. 36, SWS DET Рис. 7 с. 36, SWS DET с. 24

Подключение программных компонентов через сервисные порты

SW-C обращаются к DET через клиент-серверный интерфейс DETService. Его операции вызывают Det_ReportError или сообщение времени выполнения с ID модуля порта [SWS_Det_00202]. ModuleId и InstanceId передает не сам SW-C. RTE дополняет их как «port defined argument values», значения которых берутся из DetModuleId и DetInstanceId конфигурации DET ([SWS_Det_00204], [SWS_Det_00205], [SWS_Det_00206]). Для SW-C ApiId и ErrorId не стандартизированы и могут свободно задаваться в диапазоне 0x00..0xFF. Возвращаемое значение всегда E_OK [SWS_Det_00203]. Интерфейс порта использует типы данных AUTOSAR uint8 и uint16 [SWS_Det_00200].

Диаграмма последовательности: SW-C передает только ApiId и ErrorId. RTE дополняет ModuleId и InstanceId из конфигурации, возвращаемое значение — E_OK. Источники: [SWS_Det_00202], [SWS_Det_00203], [SWS_Det_00204], SWS DET Рис. 3 с. 33

Конфигурация уведомлений

Функции уведомления находятся в опциональном контейнере DetNotification (кратность 0..1). Он содержит списки DetErrorHook и DetReportRuntimeErrorCallout (каждый 0..*). DetErrorHook конфигурируется на этапе Pre-compile и требует тип функции Std_ReturnType (*f)(uint16, uint8, uint8, uint8) SWS DET с. 37. В R20-11 добавляется DetReportTransientFaultCallout [SWS_Det_00501]. Диаграмма параметров также показывает обязательный контейнер DetGeneral с DetVersionInfoApi и DetForwardToDlt SWS DET (alt) Рис. 6 с. 43. На основе DetConfigSet/DetModule и DetModuleInstance конфигурация формирует порты Det_{Name} вместе с идентификатором модуля и экземпляра [SWS_Det_00205].

Поведение при ошибке

Ошибки разработки обрабатываются как утверждения (assertions). После вызова сконфигурированных хуков обычный поток управления не продолжается, и DET останавливает выполнение, например, с помощью бесконечного цикла или инструкции останова RS BSWGeneral с. 33. Этому соответствует запись для Det_ReportError в R20-11 в разделе Sync/Async: «Not Applicable: The function never returns» [SWS_Det_00009]. На диаграммах показан этот HALT со сконфигурированным хуком и без него (SWS DET Рис. 9.2 с. 34, SWS DET Рис. 9.3 с. 35).

Диаграмма последовательности: модуль BSW обнаруживает ошибку разработки и вызывает Det_ReportError. DET вызывает все сконфигурированные хуки и затем останавливается, не возвращая управление вызывающей стороне. Источники: SWS DET Рис. 9.2 с. 34, SWS DET Рис. 9.3 с. 35, [SWS_Det_00009], [SWS_Det_00501]

Некоторые диаграммы отличаются от этого. На одной диаграмме последовательности указано, что синхронное или асинхронное поведение зависит от реализации, и показан возврат к вызывающей стороне SWS DET Рис. 5 с. 36. Диаграмма Dio также показывает возврат после Det_ReportError SWS Dio Рис. 5 с. 41. Нормативным для R20-11 является [SWS_Det_00009]. Уточнение указания Sync/Async последовало только в R21-11 SWS DET с. 1.

Ошибки времени выполнения и транзиентные ошибки не прерывают поток выполнения программы: DET возвращается к вызывающей стороне с возвращаемым значением ([SWS_Det_01001], [SWS_Det_01003]). Сам DET имеет только одну собственную ошибку разработки. DET_E_PARAM_POINTER (0x01) возникает, если Det_GetVersionInfo вызывается с нулевым указателем [SWS_Det_00301]. Более поздняя редакция определяет, что эта ошибка сообщается всем сконфигурированным колбэкам (callouts). Вероятно, это подразумевалось и для R20-11 SWS DET с. 18. Вопрос Q-3a7f5865d61186d4 (открытый)

Дальнейшие подробные доказательства

• [SWS_Det_00009]: сигнатура Det_ReportError, Service-ID 0x01, не возвращает управление.
• [SWS_Det_01001], [SWS_Det_01003]: сообщения времени выполнения и транзиентные сообщения с Service-ID 0x04 и 0x05.
• [SWS_Det_00501]: обязанность вызывать все сконфигурированные хуки и колбэки (callouts).
• [SWS_Det_00181], [SWS_Det_00184], [SWS_Det_00187]: сигнатуры хуков и колбэков (callouts) с Service-ID 0x10, 0x11 и 0x12.
• от [SWS_Det_00202] до [SWS_Det_00206]: модель сервисных портов для SW-C.
• [SWS_Det_00008], [SWS_Det_00010], [SWS_Det_00210]: запуск и тип конфигурации.
• [SWS_Det_00211], [SWS_Det_00301]: пересылка в Dlt и собственная ошибка разработки.

Более поздние релизы изменяют функциональный объем. Версия из R23-11/R24-11 помечает Det_ReportTransientFault как OBSOLETE SWS DET с. 24. Согласно истории изменений, транзиентные ошибки исключаются с R24-11, а вызовы Dlt — с R25-11 SWS DET с. 1. В R20-11 обе функции все еще являются частью спецификации ([SWS_Det_01003], [SWS_Det_00211]).