estrutura ara::diag::SovdProximityChallengeType

A estrutura de dados ara::diag::SovdProximityChallengeType serve como tipo de retorno para SovdProximityChallenge::GetChallenge() e reúne os dados necessários para a verificação de proximidade SOVD [SWS_DM_01482]. Ela disponibiliza ao cliente SOVD uma sequência de bytes de desafio como ara::core::Span, bem como o respectivo instante de validade valid_until [SWS_DM_01492]. O cliente deve resolver o desafio antes de atingir esse instante, enquanto o buffer referenciado deve permanecer válido na memória durante todo o período de utilização.

mais ›

Contexto

A estrutura de dados ara::diag::SovdProximityChallengeType serve, dentro do módulo de diagnóstico (ara::diag) da AUTOSAR Adaptive Platform, como contêiner de retorno padronizado para verificações de segurança e proximidade [SWS_DM_01482]. Especificamente, a estrutura recebe os dados de resultado da chamada do método SovdProximityChallenge::GetChallenge() AUTOSAR_AP_SWS_Diagnostics §8.56.3 «Struct: SovdProximityChallengeType». A tarefa essencial dessa estrutura consiste em disponibilizar ao cliente SOVD (Service-Oriented Vehicle Diagnostics) todos os parâmetros necessários com os quais ele possa fornecer a comprovação física da proximidade do veículo (proximity) [SWS_DM_01492].

Na interação, SovdProximityChallengeType atua como mero objeto de transferência entre a instância de diagnóstico provedora SovdProximityChallenge e o cliente SOVD solicitante [SWS_DM_01482]. A estrutura reúne dois atributos fundamentais: a sequência de desafio challenge e a data de expiração absoluta valid_until AUTOSAR_AP_SWS_Diagnostics §8.56.3.1 «Public Member Variables». Interpretação: a própria estrutura não encapsula lógica de negócios, mas atua puramente como um objeto de valor Plain Old Data (POD) para a passagem de parâmetros sem estado. Pergunta Q-d2f4870d4cfaf724 (aberta)

Ciclo de vida

O ciclo de vida de uma instância de SovdProximityChallengeType inicia-se com a sua criação pela interface de diagnóstico chamadora SovdProximityChallenge::GetChallenge() AUTOSAR_AP_SWS_Diagnostics §8.56.3 «Struct: SovdProximityChallengeType». A estrutura possui semântica de valor (value semantics), sendo repassada ao chamador após a chamada por meio de cópia ou movimentação (move).

No que diz respeito às relações de posse, deve-se observar uma diferenciação importante nas variáveis de membro:

• O elemento de dados challenge é definido como ara::core::Span<ara::core::Byte> [SWS_DM_01492]. Um ara::core::Span é uma visão sem posse (non-owning view) de uma sequência contígua de bytes na memória. Presumivelmente, a área de memória para a qual esse span aponta precisa ser gerenciada pelo componente de diagnóstico subjacente e permanecer válida pelo menos enquanto o span for acessado. Pergunta (aberta)
• O elemento de dados valid_until armazena um carimbo de data/hora absoluto do tipo std::chrono::system_clock::time_point [SWS_DM_01491]. Esse carimbo de data/hora define diretamente o período de validade técnico do desafio no sistema como um todo.

A destruição da struct ocorre automaticamente de acordo com as regras regulares de C++ ao sair do escopo (scope) do chamador. Como a própria struct não aloca memória dinâmica, a destruição é trivial, exigindo, contudo, a atenção ao tempo de vida do buffer de dados subjacente do span [SWS_DM_01492].

Caminho de utilização

O fluxo de utilização típico no contexto da verificação de proximidade SOVD divide-se em uma sequência fixa de consulta, avaliação e apresentação de comprovação:

1. Uma aplicação de diagnóstico ou o serviço SOVD dispara a verificação de proximidade e chama SovdProximityChallenge::GetChallenge() AUTOSAR_AP_SWS_Diagnostics §8.56.3 «Struct: SovdProximityChallengeType».
2. Como valor de retorno, é gerada uma instância de SovdProximityChallengeType preenchida com os bytes de desafio gerados e o momento de expiração [SWS_DM_01482].
3. O receptor lê challenge como byte span para transmitir a tarefa a ser resolvida ao cliente SOVD [SWS_DM_01492].
4. Paralelamente a isso, o carimbo de data/hora valid_until é avaliado para definir a janela de tempo para a comprovação [SWS_DM_01491].
5. O cliente SOVD resolve o desafio e transmite a comprovação antes que o momento marcado por valid_until seja atingido [SWS_DM_01491], [SWS_DM_01492].

Diagrama de sequência: fluxo típico da consulta e avaliação de desafios no âmbito da verificação de proximidade SOVD. Fontes: [SWS_DM_01482], [SWS_DM_01491], [SWS_DM_01492], AUTOSAR_AP_SWS_Diagnostics §8.56.3 «Struct: SovdProximityChallengeType».

Cenários de erro

Na utilização de SovdProximityChallengeType, devem ser consideradas especialmente duas condições de contorno críticas para falhas:

• Tempo esgotado (timeout): se o tempo do sistema atingir o carimbo de data/hora especificado em valid_until std::chrono::system_clock::time_point [SWS_DM_01491], o desafio perderá a sua validade. Interpretação: uma tentativa de resolução por parte do cliente SOVD que chegue após a expiração de valid_until provavelmente deverá ser rejeitada como inválida pela instância de diagnóstico verificadora, tornando necessária uma nova chamada de SovdProximityChallenge::GetChallenge(). Pergunta Q-ab9b44a73c189384 (aberta)
• Referência de memória inválida (dangling span): como challenge é implementado como ara::core::Span<ara::core::Byte> sem posse [SWS_DM_01492], um acesso aos bytes após a destruição ou realocação do buffer subjacente leva a um comportamento indefinido. O chamador deve assegurar que o buffer de bytes referenciado permaneça preservado na memória durante todo o período de utilização do span.