estructura ara::diag::SovdProximityChallengeType

La estructura de datos ara::diag::SovdProximityChallengeType sirve como tipo de retorno para SovdProximityChallenge::GetChallenge() y agrupa los datos necesarios para la verificación de proximidad SOVD [SWS_DM_01482]. Proporciona al cliente SOVD una secuencia de bytes de challenge como ara::core::Span, así como el correspondiente instante de validez valid_until [SWS_DM_01492]. El cliente debe resolver el challenge antes de alcanzar dicho instante, mientras que el búfer referenciado debe permanecer válido en la memoria durante todo el periodo de uso.

más ›

Contexto

La estructura de datos ara::diag::SovdProximityChallengeType sirve, dentro del módulo de Diagnostics (ara::diag) de la AUTOSAR Adaptive Platform, como contenedor de retorno estandarizado para comprobaciones de seguridad y de proximidad [SWS_DM_01482]. Concretamente, la estructura aloja los datos de resultado de la invocación del método SovdProximityChallenge::GetChallenge() AUTOSAR_AP_SWS_Diagnostics §8.56.3 «Struct: SovdProximityChallengeType». La tarea esencial de esta estructura consiste en proporcionar al cliente SOVD (Service-Oriented Vehicle Diagnostics) todos los parámetros necesarios con los que este pueda aportar la prueba física de proximidad al vehículo (proximity) [SWS_DM_01492].

En la interacción, SovdProximityChallengeType actúa como un mero objeto de transferencia entre la instancia de diagnóstico proveedora SovdProximityChallenge y el cliente SOVD solicitante [SWS_DM_01482]. La estructura agrupa dos atributos fundamentales: la secuencia de challenge challenge, así como la fecha de caducidad absoluta valid_until AUTOSAR_AP_SWS_Diagnostics §8.56.3.1 «Public Member Variables». Interpretación: La propia estructura no encapsula lógica de negocio, sino que actúa como un objeto de valor Plain Old Data (POD) puro para el paso de parámetros sin estado. Pregunta Q-d2f4870d4cfaf724 (abierta)

Ciclo de vida

El ciclo de vida de una instancia de SovdProximityChallengeType comienza con su creación por parte de la interfaz de diagnóstico emisora de la llamada SovdProximityChallenge::GetChallenge() AUTOSAR_AP_SWS_Diagnostics §8.56.3 «Struct: SovdProximityChallengeType». La estructura posee semántica por valor (Value Semantics), por lo que, tras la invocación, se transfiere al emisor de la llamada mediante copia o movimiento (Move).

En cuanto a las relaciones de propiedad, debe tenerse en cuenta una diferenciación importante en las variables miembro:

• El elemento de datos challenge está definido como ara::core::Span<ara::core::Byte> [SWS_DM_01492]. Un ara::core::Span es una vista no propietaria (Non-owning View) sobre una secuencia contigua de bytes en memoria. Es de suponer que el área de memoria a la que apunta este span deba ser gestionada por el componente de diagnóstico subyacente y permanecer válida al menos mientras se acceda al span. Pregunta (abierta)
• El elemento de datos valid_until almacena una marca de tiempo absoluta de tipo std::chrono::system_clock::time_point [SWS_DM_01491]. Esta marca de tiempo define directamente el periodo de validez funcional del challenge en el sistema global.

La destrucción del struct se realiza automáticamente según las reglas regulares de C++ al salir del ámbito (scope) del emisor de la llamada. Dado que el propio struct no asigna memoria dinámica, su destrucción es trivial; sin embargo, requiere prestar atención a la duración del ciclo de vida del búfer de datos subyacente del span [SWS_DM_01492].

Ruta de uso

La ruta de uso típica en el contexto de la verificación de proximidad SOVD se divide en una secuencia fija de consulta, evaluación y aportación de la prueba:

1. Una aplicación de diagnóstico o el servicio SOVD inicia la comprobación de proximidad e invoca SovdProximityChallenge::GetChallenge() AUTOSAR_AP_SWS_Diagnostics §8.56.3 «Struct: SovdProximityChallengeType».
2. Como valor de retorno se genera una instancia de SovdProximityChallengeType, completada con los bytes de challenge generados y el instante de caducidad [SWS_DM_01482].
3. El receptor lee challenge como byte-span para transmitir al cliente SOVD la tarea que se debe resolver [SWS_DM_01492].
4. Paralelamente, se evalúa la marca de tiempo valid_until para establecer la ventana temporal para la prueba [SWS_DM_01491].
5. El cliente SOVD resuelve el challenge y transmite la prueba antes de que se alcance el instante marcado por valid_until [SWS_DM_01491], [SWS_DM_01492].

Diagrama de secuencia: Flujo típico de la consulta y evaluación de challenge en el marco de la comprobación de proximidad SOVD. Fuentes: [SWS_DM_01482], [SWS_DM_01491], [SWS_DM_01492], AUTOSAR_AP_SWS_Diagnostics §8.56.3 «Struct: SovdProximityChallengeType».

Escenarios de error

Al utilizar SovdProximityChallengeType deben tenerse en cuenta especialmente dos condiciones límite críticas para los errores:

• Expiración de tiempo (Timeout): si la hora del sistema alcanza la marca de tiempo especificada en valid_until std::chrono::system_clock::time_point [SWS_DM_01491], el challenge pierde su validez. Interpretación: Es de suponer que un intento de solución por parte del cliente SOVD que llegue tras la expiración de valid_until sea rechazado como no válido por la instancia de diagnóstico verificadora, lo que requerirá una nueva invocación de SovdProximityChallenge::GetChallenge(). Pregunta Q-ab9b44a73c189384 (abierta)
• Referencia de memoria no válida (Dangling Span): dado que challenge está implementado como un ara::core::Span<ara::core::Byte> no propietario [SWS_DM_01492], el acceso a los bytes tras la destrucción o reasignación del búfer subyacente provoca un comportamiento indefinido. El emisor de la llamada debe garantizar que el búfer de bytes referenciado se mantenga en memoria durante todo el periodo de uso del span.