clase apext::com::secoc::FVM

La función miembro apext::com::secoc::FVM::GetRxFreshness sirve a la capa SecOC para determinar el valor de frescura completo para mensajes recibidos [SWS_CM_11288]. Como parámetros de entrada, la función espera el identificador SecOCFreshnessValueID, el valor de frescura truncado extraído del mensaje protegido en FVContainer conforme a [SWS_CM_11286], así como el contador SecOCAuthVerifyAttempts [SWS_CM_11288]. Este contador comienza con el valor 0 en el primer intento de verificación y se incrementa en cada intento fallido posterior del mismo mensaje [SWS_CM_11288].

El método está especificado como noexcept y seguro frente a excepciones (AUTOSAR_AP_SWS_CommunicationManagement §C.1.2.2.1.1 «GetRxFreshness»). Debido a la devolución directa de un ara::core::Result<FVContainer> sin tipo Future, la llamada debería procesarse de forma síncrona bloqueante. Pregunta Q-2609cb9ffeb0d41d (abierta) En caso de éxito, el resultado contiene el valor de frescura completo para la posterior verificación del autenticador mediante MAC [SWS_CM_11288]. Si el valor no se puede proporcionar, la función devuelve el código de error recuperable ComSecOcFvmErrc::kFVNotAvailable [SWS_CM_11288].

La determinación del valor de frescura es parte integrante de la ruta de recepción de SecOC: la autenticación de mensajes se realiza por principio antes de las comprobaciones E2E posteriores [SWS_CM_11276] y está acoplada al contador de intentos de autenticación [SWS_CM_11277]. En el estándar no se definen requisitos específicos de reentrancia o seguridad de subprocesos; por lo tanto, el comportamiento en llamadas paralelas debería depender de la implementación concreta del Freshness Value Manager. Pregunta Q-071e92f80c6e44db (abierta)

La función síncrona de biblioteca apext::com::secoc::FVM::GetTxFreshness ([SWS_CM_11289]) sirve al procesamiento de SecOC para obtener el valor de frescura actual al enviar mensajes protegidos a través de Communication Management ([SWS_CM_11274], AUTOSAR_AP_SWS_CommunicationManagement p. 224 «SecOC secure channel sending»).

Uso y contexto de llamada

La llamada es realizada por ara::com, siempre que para el respectivo elemento de interfaz de servicio se haya configurado un freshnessValueId ([SWS_CM_11274]):

• Parámetro: SecOCFreshnessValueID (tipo std::uint16_t) identifica el valor de frescura que se va a solicitar ([SWS_CM_11289]).
• Valor de retorno: un ara::core::Result<FVContainer> ([SWS_CM_11289]). En caso de éxito, este contiene un apext::com::secoc::FVContainer ([SWS_CM_11286]), cuyo valor de frescura se utiliza para el posterior cálculo del autenticador o MAC ([SWS_CM_11274]).
• Seguridad frente a excepciones: la función está declarada como noexcept ([SWS_CM_11289]).

Tratamiento de errores y condiciones límite

Si no se puede proporcionar un valor de frescura válido, la función devuelve un ara::core::Result con el código de error ComSecOcFvmErrc::kFVNotAvailable («Freshness Value not available») con semántica de reversión (rollback) ([SWS_CM_11289]). En el estándar Adaptive no se definen notificaciones específicas a DET o DEM para esta interfaz.

Flujo y concurrencia

Dentro del proceso de envío, la llamada está sujeta a un orden estricto ([SWS_CM_11274]):

1. Previamente, el ciclo de vida del Freshness Value Manager debe haber sido gestionado por ara::com ([SWS_CM_11272]) y la instancia debe haber sido inicializada a través de apext::com::secoc::FVM::Initialize ([SWS_CM_11273]).
2. Al enviar, GetTxFreshness se realiza de forma posterior a los cálculos de protección E2E ([SWS_CM_11274]).
3. A continuación, se llevan a cabo el cálculo del MAC, truncamientos opcionales y la composición del mensaje protegido ([SWS_CM_11274]).

La especificación no dice nada acerca de la reentrancia; presumiblemente, no obstante, la implementación de FVM debe estar diseñada para ser segura para subprocesos o reentrante si flujos de comunicación paralelos solicitan valores de frescura al mismo tiempo. Pregunta Q-a1d3e04b91b6c24d (abierta)

Uso y contexto de llamada

La función síncrona de biblioteca Initialize dentro del ámbito apext::com::secoc::FVM sirve para inicializar la implementación de plugin específica del fabricante del Freshness Value Manager (FVM) para la comunicación relevante para la seguridad a través de SecOC [SWS_CM_11290]. La declaración está disponible a través de la cabecera apext/com/secoc/fvm.h SWS CommunicationManagement §C.1.2.2.1.3 «Initialize».

La función no acepta parámetros y declara la seguridad frente a excepciones noexcept (exception safe) [SWS_CM_11290]. La gestión del ciclo de vida del FVM es asumida de forma vinculante por el middleware de comunicación ara::com [SWS_CM_11272], el cual realiza la inicialización del plugin de FVM mediante la llamada explícita a esta interfaz [SWS_CM_11273]. Interpretación: para los desarrolladores de aplicaciones no existe un contexto de llamada directa, ya que la provisión se realiza como plugin para la plataforma y el control recae por completo en ara::com. Pregunta Q-5b5c8b1a42c3bd3a (abierta)

Manejo de errores

El resultado de la operación se comunica a través del tipo de retorno ara::core::Result<void> [SWS_CM_11290]:

• Éxito: en caso de inicialización correcta, el ara::core::Result contiene un valor vacío (value_type es void) [SWS_CM_11290].
• Inicialización fallida: si el Freshness Value Manager no se pudo inicializar, se devuelve un objeto de error con el código de error específico ComSecOcFvmErrc::kFVInitializeFailed; en tal caso, se aplican semánticas de reversión para mantener un estado definido [SWS_CM_11290].

Interacción y orden de ejecución

La inicialización mediante Initialize constituye el requisito funcional previo para todos los demás servicios de FVM en el sistema [SWS_CM_11273]. Solo tras una ejecución correcta, ara::com puede acceder a la interfaz apext::com::secoc::FVM::GetTxFreshness en el marco de las operaciones de envío de SecOC tras el cálculo E2E, con el fin de consultar valores de actualidad para atributos freshnessValueId configurados [SWS_CM_11274].

usar

El método síncrono apext::com::secoc::FVM::SetVerificationStatus es invocado por SecOC para notificar al Freshness Value Manager (FVM) el resultado de una verificación [SWS_CM_19999]. Está declarado a través del encabezado apext/com/secoc/fvm.h y requiere dos parámetros AUTOSAR_AP_SWS_CommunicationManagement §C.1.2.2.1.4 «SetVerificationStatus»:

• secOCFreshnessValueID (std::uint16_t): Identificador unívoco del valor de frescura.
• secOCVerificationStatus (VerificationStatus): Resultado de verificación para el identificador especificado.

Tratamiento de errores y concurrencia

La función está declarada como noexcept y se considera segura frente a excepciones (exception safe) [SWS_CM_19999]. El tipo de retorno ara::core::Result<void> señala una ejecución satisfactoria mediante un resultado vacío. En caso de error, el objeto Result contiene un código de error de tipo ara::com::ComErrc, si bien la especificación no define códigos de error estandarizados específicos [SWS_CM_19999].

Interacción y estado

La función vincula SecOC y el FVM en la gestión de valores de frescura. Posee el estado DRAFT AUTOSAR_AP_SWS_CommunicationManagement §C.1.2.2.1.4 «SetVerificationStatus». Interpretación: Es probable que la información de estado transmitida sea utilizada internamente por el FVM para actualizar estados de sincronización o valores de contador de los valores de frescura. Pregunta Q-156ad8f991c99b7d (abierta)