klasse apext::tsync::FVM

De klasse apext::tsync::FVM dient als interface van de module voor het beschikbaar stellen van versheidswaarden voor beveiligde tijdsynchronisatieberichten [SWS_TS_14199]. Vóór het operationele gebruik moet de instantie worden geïnitialiseerd, waarna versheidswaarden voor het verzenden en voor het verifiëren van ontvangen berichten kunnen worden verkregen [SWS_TS_14200]. Bij ontvangst worden afgeknotte versheidswaarden samen met een mislukkingsteller doorgegeven om de volledige waarde voor verificatie van de authenticator te reconstrueren. Alle interfacemethoden zijn gespecificeerd als uitzonderingsveilig en thread-safe.

meer ›

Context

De klasse apext::tsync::FVM vormt een interface voor het Freshness Value Management binnen de module tsync van het AUTOSAR Adaptive Platform. Haar primaire verantwoordelijkheid bestaat uit het beschikbaar stellen van actuele versheidswaarden (Freshness Values) voor de tijdsynchronisatiedienst ara::tsync, zodat berichten cryptografisch kunnen worden beveiligd tegen replay- en spoofing-aanvallen [SWS_TS_14198], [SWS_TS_14199].

Als centrale interactiepartner fungeert de TimeSync-functionaliteit, die de FVM aanroept om voor uitgaande en ontvangen beveiligde berichten versheidswaardecontainers (apext::tsync::FVContainer) op te halen [SWS_TS_14198], [SWS_TS_14199]. De klassedeclaratie wordt ingevoegd via het headerbestand #include "apext/tsync/fvm.h". Alle gespecificeerde methoden zijn gedeclareerd als thread-safe en uitzonderingsveilig (noexcept), zodat aanroepen parallel vanuit verschillende uitvoeringscontexten van de tijdsynchronisatie kunnen plaatsvinden [SWS_TS_14198], [SWS_TS_14199], [SWS_TS_14200].

Levenscyclus

De functionele levenscyclus van een FVM-instantie is onderverdeeld in een expliciete initialisatiefase en de daaropvolgende operationele gebruiksfase:

• Initialisatie: Vóór het gebruik van opvraagfuncties moet de methode Initialize() worden aangeroepen [SWS_TS_14200]. Bij een succesvolle voltooiing geeft deze een lege ara::core::Result<void> terug. Mislukt de initialisatie, dan retourneert deze de foutcode TsyncFvmErrc::kFVInitializeFailed met rollbacksemantiek [SWS_TS_14200].
• Operationele toestand: Een succesvolle initialisatie is vermoedelijk de noodzakelijke voorwaarde om ervoor te zorgen dat opeenvolgende aanvragen voor versheidswaarden geldige resultaten opleveren. Vraag Q-df4ee3e749313b94 (open) Na succesvolle initialisatie blijft de instantie in de operationele toestand en beantwoordt deze aanvragen voor geconfigureerde versheidswaarde-ID's.
• Gelijktijdigheid: Aangezien alle methoden zijn aangeduid als thread-safe, kunnen toegangen tot versheidswaarden voor het verzenden en ontvangen gelijktijdig plaatsvinden zonder externe vergrendelingsmechanismen [SWS_TS_14198], [SWS_TS_14199].

Gebruikspad

De typische aanroepvolgorde door de TimeSync-component omvat de initialisatie en de continue bepaling van versheidswaarden voor het zend- en ontvangstpad:

1. Initialisatie van de dienst: TimeSync voert bij het opstarten de methode Initialize() uit en controleert de geretourneerde ara::core::Result op foutloosheid [SWS_TS_14200].
2. Verzenden van beveiligde berichten: Voorafgaand aan het versturen van een bericht roept TimeSync GetTxFreshness() aan met de desbetreffende FreshnessValueID [SWS_TS_14199]. Het verkregen FVContainer-object levert de versheidswaarde die wordt gebruikt voor de berekening van de authenticator [SWS_TS_14199].
3. Ontvangen van beveiligde berichten: Bij binnenkomst van een bericht roept TimeSync GetRxFreshness() aan en geeft daarbij de FreshnessValueID, de in het bericht opgenomen ingekorte waarde TruncatedFreshnessValue en het aantal eerdere authenticatiepogingen AuthVerifyAttempts door [SWS_TS_14198]. De FVM bepaalt daaruit de volledige versheidswaarde voor verificatie van de authenticator [SWS_TS_14198].

Sequentiediagram: Typische volgorde van initialisatie en het opvragen van de zend- en ontvangst-versheidswaarden door TimeSync. Bronnen: [SWS_TS_14198], [SWS_TS_14199], [SWS_TS_14200]

Foutscenario's

Alle interfacemethoden signaleren fouten via ara::core::Result en zijn gespecificeerd met noexcept [SWS_TS_14198], [SWS_TS_14199], [SWS_TS_14200]. De volgende fouttoestanden en randvoorwaarden zijn relevant:

• Mislukte initialisatie (TsyncFvmErrc::kFVInitializeFailed): Treedt op wanneer de FVM niet kan worden geïnitialiseerd [SWS_TS_14200]. Dankzij rollbacksemantiek blijft het systeem in de niet-geïnitialiseerde, gedefinieerde uitgangstoestand.
• Niet-beschikbare versheidswaarde (TsyncFvmErrc::kFVNotAvailable): Wordt geretourneerd door GetTxFreshness() of GetRxFreshness() wanneer er voor de opgevraagde ID geen versheidswaarde beschikbaar is [SWS_TS_14198], [SWS_TS_14199]. De operaties wijzigen bij een fout hun toestand niet (rollbacksemantiek).
• Herhaalde verificatiepogingen bij ontvangst: De parameter AuthVerifyAttempts start bij 0 en wordt bij elke mislukte authenticatiepoging opgehoogd [SWS_TS_14198]. Het verhogen dient vermoedelijk voor de FVM om een intern acceptatievenster stapsgewijs aan te passen, zodat in de tijd licht verschoven versheidswaarden worden getolereerd. Vraag Q-8f151c47d2607f90 (open)