namespace apext::tsync

L'espace de noms apext::tsync fournit des interfaces et des conteneurs de données pour le Freshness Value Management de la synchronisation temporelle d'Adaptive. Via l'interface FVM, les valeurs de fraîcheur sont encapsulées dans des instances de FVContainer afin de protéger les messages temporels contre les attaques par rejeu. Si une erreur irrécupérable survient lors de l'initialisation ou si une valeur est temporairement indisponible, cela est représenté par les codes d'erreur de TsyncFvmErrorDomain [SWS_TS_14202]. L'instanciation d'objets d'erreur standardisés s'effectue sans risque d'exception et de manière thread-safe via MakeErrorCode [SWS_TS_14213].

plus ›

Contexte

L'espace de noms apext::tsync constitue une extension spécifique à la plateforme de la synchronisation temporelle AUTOSAR Adaptive (ara::tsync). Sa tâche centrale est le Freshness Value Management (FVM), qui fournit des mécanismes garantissant la fraîcheur des informations temporelles afin d'empêcher les attaques par rejeu et les états obsolètes dans les réseaux synchronisés dans le temps. Ses composants clés comprennent l'interface FVM, le conteneur de données FVContainer, le domaine d'erreur TsyncFvmErrorDomain ainsi que la classe d'exception TsyncFvmException.

La classe FVContainer encapsule une valeur de fraîcheur en gérant sa longueur en bits ainsi que la valeur elle-même sous la forme d'un vecteur d'octets. L'interface FVM fait office de passerelle fonctionnelle pour ara::tsync. FVM devrait fonctionner comme une interface d'abstraction par l'intermédiaire de laquelle des instances de ara::tsync effectuant la synchronisation temporelle obtiennent ou vérifient des valeurs de fraîcheur actuelles. Question Q-f92f53d92ec347e5 (ouverte) Le domaine d'erreur TsyncFvmErrorDomain et les fonctions utilitaires associées assurent le signalement standardisé des erreurs [SWS_TS_14212].

Diagramme de contexte : composants de l'espace de noms apext::tsync et leur interaction avec ara::tsync. Sources : [SWS_TS_14202], [SWS_TS_14212].

Cycle de vie

Le cycle de vie des composants dans le namespace apext::tsync se divise en phases d'initialisation, de fonctionnement et de terminaison. Pour la phase d'initialisation, l'énumération TsyncFvmErrc définit la valeur d'erreur kFVInitializeFailed (= 2), qui est spécifiée comme une erreur non récupérable (unrecoverable error) et indique que le Freshness Value Manager n'a pas pu être utilisé [SWS_TS_14202]. L'erreur kFVInitializeFailed indique probablement qu'avant la récupération de Freshness Values, une phase d'initialisation du FVM doit être exécutée, dont l'échec exclut toute utilisation ultérieure. Question Q-d9c097d736bae053 (ouverte)

En cours de fonctionnement, les instances de FVContainer ont une durée de vie temporaire : elles sont instanciées au besoin, remplies avec le vecteur et la longueur en bits, puis transmises aux instances de protocole effectuant la synchronisation. En revanche, l'objet de domaine d'erreur TsyncFvmErrorDomain possède une durée de vie statique couvrant l'ensemble de la durée du processus. La fonction GetTsyncFvmErrorDomain() renvoie une référence vers l'objet d'instance globale [SWS_TS_14212]. Aussi bien GetTsyncFvmErrorDomain() que la fonction fabrique MakeErrorCode() sont déclarées comme constexpr et noexcept, et sont spécifiées comme sans émission d'exception (exception safe) et sûres pour les threads (thread-safe) [SWS_TS_14212], [SWS_TS_14213]. Cela permet une génération et une interrogation concurrentes des erreurs sans verrous de synchronisation.

Parcours d'utilisation

Le chemin d'utilisation typique en interaction avec la synchronisation temporelle comprend la mise à disposition et l'évaluation de valeurs de fraîcheur :

1. Un composant issu de ara::tsync demande une valeur de fraîcheur actuelle via l'interface FVM afin de sécuriser un message temporel.
2. En cas de détermination réussie de la valeur, FVM crée ou remplit une instance de FVContainer avec la longueur en bits et le vecteur d'octets de la valeur, et la renvoie à l'appelant.
3. Si la valeur de fraîcheur ne peut temporairement pas être fournie au moment de l'exécution, FVM signale l'erreur récupérable kFVNotAvailable [SWS_TS_14202]. Pour cela, un objet ara::core::ErrorCode approprié comportant des données supplémentaires spécifiques au constructeur est créé via MakeErrorCode() [SWS_TS_14213].
4. Le composant appelant évalue le résultat et décide d'éventuelles tentatives de réessai ou de mesures de substitution.

Diagramme de séquence : Récupération d'une valeur de fraîcheur et traitement des états d'erreur possibles. Sources : [SWS_TS_14202], [SWS_TS_14213].

Scénarios d'erreur

Le traitement des erreurs dans apext::tsync repose sur l'architecture de ara::core::ErrorDomain et ara::core::ErrorCode. Les codes d'erreur de TsyncFvmErrorDomain sont répertoriés dans l'énumération TsyncFvmErrc, dont le type sous-jacent est ara::core::ErrorDomain::CodeType [SWS_TS_14202] :

• kFVNotAvailable (= 1) : Erreur récupérable (recoverable error), qui signale que la Freshness Value n'est actuellement pas disponible [SWS_TS_14202]. Les appelants peuvent soumettre à nouveau la requête ou ignorer le cycle de traitement actuel.
• kFVInitializeFailed (= 2) : Erreur non récupérable (unrecoverable error), qui indique que le Freshness Value Manager n'a pas pu être initialisé ou utilisé [SWS_TS_14202]. Cela entraîne l'interruption des services de synchronisation temporelle dépendants.

La création d'objets d'erreur concrets s'effectue via la fonction utilitaire MakeErrorCode(TsyncFvmErrc code, ara::core::ErrorDomain::SupportDataType data), qui reçoit l'énumérateur et des données supplémentaires spécifiques au constructeur [SWS_TS_14213]. Les déclarations se trouvent dans l'en-tête apext/tsync/fvm_error_domain.h, tandis que des déclarations anticipées peuvent être obtenues via apext/tsync/tsync_fwd.h [SWS_TS_14202]. Pour les chemins d'erreur basés sur les exceptions, le namespace fournit la classe TsyncFvmException. TsyncFvmException est probablement levée lorsque des erreurs de TsyncFvmErrorDomain sont signalées dans des contextes d'exception plutôt que via ara::core::ErrorCode. Question Q-a779e133b471f03d (ouverte)