classe apext::tsync::FVM

La classe apext::tsync::FVM sert d'interface au module pour la fourniture de valeurs de fraîcheur destinées aux messages sécurisés de synchronisation temporelle [SWS_TS_14199]. Avant l'utilisation opérationnelle, l'instance doit être initialisée, après quoi des valeurs de fraîcheur peuvent être obtenues pour l'émission ainsi que pour la vérification des messages reçus [SWS_TS_14200]. À la réception, les valeurs de fraîcheur tronquées sont transmises avec un compteur de tentatives infructueuses afin de reconstruire la valeur complète pour la vérification de l'authentificateur. Toutes les méthodes d'interface sont spécifiées comme étant sûres vis-à-vis des exceptions et sûres pour les threads.

plus ›

Contexte

La classe apext::tsync::FVM représente une interface pour le Freshness Value Management au sein du module tsync de l'AUTOSAR Adaptive Platform. Sa responsabilité première consiste à fournir des valeurs de fraîcheur (Freshness Values) à jour pour le service de synchronisation temporelle ara::tsync, afin que les messages puissent être protégés cryptographiquement contre les attaques par rejeu et par usurpation [SWS_TS_14198], [SWS_TS_14199].

La fonctionnalité TimeSync agit comme partenaire d'interaction central, appelant le FVM afin de récupérer des conteneurs de valeurs de fraîcheur (apext::tsync::FVContainer) pour les messages sécurisés émis ainsi que reçus [SWS_TS_14198], [SWS_TS_14199]. La déclaration de classe est incluse via le fichier d'en-tête #include "apext/tsync/fvm.h". Toutes les méthodes spécifiées sont déclarées comme sûres pour les threads et sûres vis-à-vis des exceptions (noexcept), de sorte que les appels peuvent avoir lieu en parallèle à partir de différents contextes d'exécution de la synchronisation temporelle [SWS_TS_14198], [SWS_TS_14199], [SWS_TS_14200].

Cycle de vie

Le cycle de vie fonctionnel d'une instance de FVM se divise en une phase d'initialisation explicite et une phase de fonctionnement opérationnel consécutive :

• Initialisation : avant d'utiliser les fonctions d'interrogation, la méthode Initialize() doit être appelée [SWS_TS_14200]. En cas d'achèvement réussi, elle retourne un ara::core::Result<void> vide. Si l'initialisation échoue, elle retourne le code d'erreur TsyncFvmErrc::kFVInitializeFailed avec une sémantique de rollback [SWS_TS_14200].
• État de fonctionnement : une initialisation réussie est probablement la condition préalable nécessaire pour que les requêtes ultérieures de valeurs de fraîcheur fournissent des résultats valides. Question Q-df4ee3e749313b94 (ouverte) Une fois l'initialisation effectuée, l'instance reste à l'état opérationnel et répond aux requêtes pour les ID de valeur de fraîcheur configurés.
• Concurrence : comme toutes les méthodes sont marquées comme thread-safe, les accès aux valeurs de fraîcheur pour l'émission et la réception peuvent s'effectuer de manière concurrente sans mécanismes de verrouillage externes [SWS_TS_14198], [SWS_TS_14199].

Parcours d'utilisation

La séquence d'appels typique par le composant TimeSync comprend l'initialisation ainsi que la détermination continue des valeurs de fraîcheur pour le chemin d'émission et de réception :

1. Initialisation du service : TimeSync exécute la méthode Initialize() au démarrage et vérifie l'absence d'erreur dans le ara::core::Result retourné [SWS_TS_14200].
2. Émission de messages sécurisés : avant d'envoyer un message, TimeSync appelle GetTxFreshness() avec l'FreshnessValueID correspondant [SWS_TS_14199]. L'objet FVContainer obtenu fournit la valeur de fraîcheur utilisée pour le calcul de l'authentificateur [SWS_TS_14199].
3. Réception de messages sécurisés : lors de la réception d'un message, TimeSync appelle GetRxFreshness() et transmet l'FreshnessValueID, la valeur tronquée TruncatedFreshnessValue contenue dans le message ainsi que le nombre de tentatives d'authentification effectuées jusqu'alors AuthVerifyAttempts [SWS_TS_14198]. Le FVM en déduit la valeur de fraîcheur complète pour la vérification de l'authentificateur [SWS_TS_14198].

Diagramme de séquence : séquence typique d'initialisation et de récupération des valeurs de fraîcheur d'émission et de réception par TimeSync. Sources : [SWS_TS_14198], [SWS_TS_14199], [SWS_TS_14200]

Scénarios d'erreur

Toutes les méthodes d'interface signalent les erreurs via ara::core::Result et sont spécifiées avec noexcept [SWS_TS_14198], [SWS_TS_14199], [SWS_TS_14200]. Les états d'erreur et préconditions suivants sont pertinents :

• Échec de l'initialisation (TsyncFvmErrc::kFVInitializeFailed) : survient lorsque le FVM ne peut pas être initialisé [SWS_TS_14200]. Grâce à la sémantique de rollback, le système reste dans l'état initial défini et non initialisé.
• Valeur de fraîcheur non disponible (TsyncFvmErrc::kFVNotAvailable) : retourné par GetTxFreshness() ou GetRxFreshness() lorsqu'aucune valeur de fraîcheur n'est disponible pour l'ID demandé [SWS_TS_14198], [SWS_TS_14199]. En cas d'erreur, les opérations ne modifient pas leur état (sémantique de rollback).
• Tentatives répétées de vérification à la réception : le paramètre AuthVerifyAttempts commence à 0 et est incrémenté à chaque tentative d'authentification infructueuse [SWS_TS_14198]. L'incrémentation sert probablement au FVM à adapter progressivement une fenêtre d'acceptation interne afin de tolérer des valeurs de fraîcheur légèrement décalées dans le temps. Question Q-8f151c47d2607f90 (ouverte)