klasse apext::com::secoc::ComSecOcFvmException

De klasse apext::com::secoc::ComSecOcFvmException dient in de module com als gespecialiseerde exceptieklasse voor het signaleren van fouten die binnen de SecOC Freshness Value Manager optreden [SWS_CM_12512]. Ze erft van ara::core::Exception en wordt door de Freshness Value Manager geïnstantieerd en geworpen om fouttoestanden gestructureerd door te geven aan bovenliggende communicatielagen. Haar constructor neemt verplicht een ara::core::ErrorCode in ontvangst en is gedeclareerd als noexcept, waardoor een exceptieveilige creatie van het foutobject zonder secundaire fouten wordt gegarandeerd [SWS_CM_12513].

meer ›

Context

De klasse apext::com::secoc::ComSecOcFvmException is een gespecialiseerde exceptieklasse van de AUTOSAR Adaptive Platform in de module com [SWS_CM_12512]. Deze dient primair om fouttoestanden te signaleren die optreden binnen de SecOC Freshness Value Manager (FVM) (AUTOSAR_AP_SWS_CommunicationManagement §C.2.4 “Class: ComSecOcFvmException”). Door de afleiding van de standaard-basisklasse ara::core::Exception voegt ComSecOcFvmException zich in het algemene foutafhandelingsmodel van het Adaptive Platform in en fungeert als gestandaardiseerde informatiedrager voor uitzonderingscondities bij de beveiliging van de communicatie via SecOC.

Als interactiepartners treden in hoofdzaak drie componenten op: de SecOC Freshness Value Manager zelf, die de exceptie in geval van een fout genereert, de aanroepende functionele communicatielaag resp. applicatie, die met SecOC beveiligde gegevens verwerkt, en het FVM-foutdomein, dat via het headerbestand apext/com/secoc/fvm_error_domain.h wordt ingevoegd [SWS_CM_12513]. De klasse vormt daarmee de schakel tussen de interne fouttoestanden van het freshness-beheer en de bovenliggende softwarelagen.

Levenscyclus

Het instantiëren van ComSecOcFvmException vindt vraaggestuurd plaats, precies wanneer bij het bepalen of controleren van freshness-waarden een onherstelbare fout wordt vastgesteld. Hiervoor biedt de klasse een expliciete constructor die een ara::core::ErrorCode accepteert [SWS_CM_12513].

Deze constructor is gedeclareerd als noexcept [SWS_CM_12513]. Dit garandeert dat de objectcreatie zelf onder geen enkele omstandigheid mislukt of verdere excepties werpt, waardoor wordt voldaan aan de specificatie van exceptieveiligheid (exception safe) [SWS_CM_12513]. Wat betreft de levenscyclus en de eigendomsverhoudingen wordt de exceptie op waarde aangemaakt en geworpen. Aan de ontvangende zijde wordt deze vermoedelijk als constante referentie (const ComSecOcFvmException& of polymorf als const ara::core::Exception&) opgevangen. Vraag Q-d170140b08fe9ca0 (open)

Zodra het desbetreffende exceptieafhandelingsblok (catch) is afgehandeld, wordt de exceptie-instantie automatisch vernietigd. Wat betreft gelijktijdigheid worden instanties van de exceptie vermoedelijk thread-lokaal in de exceptiecontext van de desbetreffende thread verwerkt. Vraag Q-bd368a082b887d14 (open)

Gebruikspad

Het typische gebruikstraject loopt van de herkenning van een freshness-fout tot de gerichte reactie door de bovenliggende communicatielaag.

Sequentiediagram: Verloop van de exceptieafhandeling door de Freshness Value Manager met ComSecOcFvmException. Bronnen: [SWS_CM_12512], [SWS_CM_12513], AUTOSAR_AP_SWS_CommunicationManagement §C.2.4

Eerst vraagt de communicatiemodule of de applicatie in het kader van de SecOC-verwerking een freshness-waarde op bij de Freshness Value Manager of draagt deze er een aan over voor validatie. Als deze operatie mislukt – bijvoorbeeld door synchronisatieproblemen of ongeldige tellerstanden –, instantieert de Freshness Value Manager de exceptieklasse ComSecOcFvmException onder overdracht van de concrete foutcode [SWS_CM_12513]. Onmiddellijk na de constructie wordt de exceptie geworpen. De aanroeper vangt de exceptie op in de passende handler en kan de daarin opgenomen ara::core::ErrorCode opvragen om adequaat te reageren op de aantasting van de communicatiebeveiliging [SWS_CM_12512].

Foutscenario's

Omdat ComSecOcFvmException zelf het transportmedium voor foutsignaleringen vormt, concentreren de foutscenario's zich op de semantische inhoud van de ingekapselde foutcode. De klasse vereist voor de creatie dwingend een ara::core::ErrorCode [SWS_CM_12513]. De koppeling met de header apext/com/secoc/fvm_error_domain.h toont aan dat deze foutcodes afkomstig zijn uit een specifiek FVM-foutdomein [SWS_CM_12513].

Als essentiële voorwaarde voor de creatie geldt dat de initiërende context een geïnitialiseerde foutcode beschikbaar stelt. Als na-voorwaarde bevat het resulterende object de volledige foutinformatie van het desbetreffende foutdomein. Een kritiek foutscenario waarin een secundaire exceptie ontstaat tijdens het creëren van de exceptie, wordt uitgesloten door de noexcept-garantie van de constructor [SWS_CM_12513]. Hierdoor wordt betrouwbaar voorkomen dat een voortijdige beëindiging van het proces via std::terminate optreedt als gevolg van een fout in het foutafhandelingstraject.