结构体 ara::diag::CounterBased

结构体 ara::diag::CounterBased 定义了诊断事件基于计数器的去抖动的阈值、步长和跳跃参数 [SWS_DM_00538]。它由应用程序实例化并传递给 ara::diag::Monitor 的构造函数，以确定故障和正常判定的标准 [SWS_DM_00549]。若 Diagnostic Extract（DEXT）中未存储具优先级的去抖数据，Diagnostic Management 将使用这些参数进行计数器更新。

更多 ›

上下文

结构体 ara::diag::CounterBased 表示根据 AUTOSAR Adaptive Platform 规范 SWS Diagnostics §7.3.4.1.5.1 “Counter-based debouncing” 进行诊断事件基于计数器的去抖动的配置参数 [SWS_DM_00538]。在诊断子系统内部，它用于在应用的监控器实现与 Diagnostic Management（DM）之间交换去抖参数。

交互主要通过四个接口伙伴进行：

• 诊断应用程序实例化 CounterBased 并用事件限值填充它。
• ara::diag::Monitor 的监控器构造函数接收该结构体作为配置参数 [SWS_DM_00549]，以建立监控器内部去抖 SWS Diagnostics §8.40.1.1.2.2 “Monitor constructor for Monitors with Monitor-internal debouncing”。
• Diagnostic Extract（DEXT）定义了前置去抖参数；如果 DEXT 中存在匹配的参数，则其强制具备优先级，且通过构造函数传递的值将被 DM 忽略 [SWS_DM_01099]。
• 在缺少 DEXT 配置时，Diagnostic Management 将对来自 CounterBased 的值进行评估 [SWS_DM_01101]，并在运行时维护特定事件的计数器 SWS Diagnostics §7.3.4.1.5.1 “Internal debounce counter incrementation”。

上下文图：应用程序、监控器、CounterBased、Diagnostic Management 与 DEXT 的交互。来源：[SWS_DM_00538]、[SWS_DM_00549]、[SWS_DM_01099]、[SWS_DM_01101]。

生命周期

作为 C++ 数据结构（struct）SWS Diagnostics §8.41.2 “Struct: CounterBased”，CounterBased 由应用的软件组件在栈或堆上作为纯值容器创建。其生命周期通常局限于创建 ara::diag::Monitor 之前的配置和初始化阶段。

在定义属性后，该结构体按值传递给 Monitor 的构造函数 [SWS_DM_00549]。结构体本身不保持内部动态状态，也没有状态机；持续的计数器管理完全由 Diagnostic Management 负责。由于 CounterBased 被设计为被动数据结构且不具备内部同步机制，按推断在传递给监控器之前应在线程局部或同步进行配置。

使用路径

典型用法分为去抖参数的定义、传递给监控器以及运行时的计数器评估：

1. 应用程序创建 CounterBased 的实例并设置限值：用于故障判定的 failedThreshold [SWS_DM_00621] 以及用于正常检测的 passedThreshold [SWS_DM_00622]。
2. 步长通过针对报告故障状态的 failedStepsize [SWS_DM_00623] 和针对正常报告的 passedStepsize [SWS_DM_00624] 来定义。
3. 可选择配置跳跃式调整：通过 useJumpToFailed [SWS_DM_00627] 和 failedJumpValue [SWS_DM_00625] 激活跳跃到最小故障值。类似地，useJumpToPassed [SWS_DM_00628] 和 passedJumpValue [SWS_DM_00626] 控制向正常状态方向的跳跃。
4. 填充后的结构体被传递给 Monitor 的构造函数 [SWS_DM_00549]。如果没有 DEXT 定义，DM 将使用这些值 [SWS_DM_01101]。
5. 在运行时，监控功能通过 ReportMonitorAction 报告监控器动作 SWS Diagnostics §7.3.4.1.5.1 “Internal debounce counter incrementation”。在 kPrefailed 时，DM 检查可能的跳跃条件 [SWS_DM_00022]，并将计数器递增 failedStepsize [SWS_DM_00875]。
6. 当计数器达到 failedThreshold 时，DM 将该事件归类为 kFinallyDefective [SWS_DM_00024]。使用 passedStepsize [SWS_DM_00876] 的正常报告亦同理。

时序图：从参数配置和监控器初始化到计数器判定的流程。来源：[SWS_DM_00549]、[SWS_DM_00875]、[SWS_DM_00022]、[SWS_DM_00024]。

错误场景

在使用 CounterBased 时，必须注意若干边界条件和优先级规则：

• DEXT 优先级冲突：如果 DEXT 中存在去抖参数，DM 将完全忽略在 CounterBased 中定义的参数 [SWS_DM_01099]。当应用程序开发人员在静态 DEXT 值处于活动状态时仍期望通过构造函数进行动态参数修改，便会导致错误配置。
• 缺少 DEXT 值：如果 DEXT 中未提供任何规范，DM 则强制依赖于构造函数提供有效的 CounterBased 实例 [SWS_DM_01101]。
• 超过阈值：如果内部去抖计数器因累加 failedStepsize 而超过阈值 failedThreshold，DM 会将计数器精确重置为该阈值并判定故障 [SWS_DM_00024]、[SWS_DM_00875]。
• 条件跳跃逻辑：如果设置了 useJumpToFailed，则仅当递增前的计数器值严格小于 failedJumpValue 时，才会执行向 failedJumpValue 的跳跃 [SWS_DM_00022]。对于 useJumpToPassed 同样，计数器必须大于 passedJumpValue [SWS_DM_00023]。