service-interface UpdateRequest

De servicemethode PrepareRollback van de service-interface UpdateRequest wordt aangeroepen door Update and Configuration Management om het terugdraaien van wijzigingen voor de in de parameter functionGroupList meegegeven functiegroepen van een softwarecluster voor te bereiden [SWS_SM_91105]. De aanroep vindt plaats zonder fire-and-forget-semantiek, zodat State Management het resultaat van de voorbereiding terugmeldt aan de aanroeper [SWS_SM_91105].

Voor de aanroep en de foutafhandeling gelden vaste voorwaarden:

• Sessiecontext: De aanroep is alleen toegestaan binnen een actieve update-sessie. Vindt deze plaats buiten een actieve sessie, dan wijst State Management de bewerking af met de fout kOperationRejected [SWS_SM_00213].
• Applicatiefouten: Naast kOperationRejected bij een ongeldige interne toestand kan de methode kOperationFailed retourneren wanneer de voorbereiding mislukt [SWS_SM_91105].

In het toestandsmodel heeft de methode-aanroep directe gevolgen voor de betrokken toestandsmachines:

• Toestandsmachines die een van de meegegeven functiegroepen beheren, worden door het besturende proces gemarkeerd als ImpactedByUpdate [SWS_SM_00654].
• Wordt een toestandsmachine van het type Agent gemarkeerd, dan gaat deze status transitief ook over op de bovenliggende Controller [SWS_SM_00655].
• Voor als ImpactedByUpdate aangemerkte toestandsmachines worden gemelde uitvoeringsfouten (ExecutionErrorEvent::executionError) niet afgehandeld via herstel, maar genegeerd en enkel geprotocolleerd [SWS_SM_00664].

Gebruik

De servicemethode PrepareUpdate wordt aangeroepen door Update and Configuration Management (UCM) om het State Management te verzoeken de update van een verzameling functiegroepen voor te bereiden [SWS_SM_00206], [SWS_SM_91103]. Deze wordt beschikbaar gesteld via de service-interface UpdateRequest en accepteert als invoerparameter de lijst functionGroupList van het type FunctionGroupListType, die de te updaten functiegroepen binnen het softwarecluster specificeert [SWS_SM_91103]. Aangezien Fire & Forget is gedeactiveerd, heeft de aanroep een synchrone antwoordsemantiek met terugkoppeling naar de aanroeper [SWS_SM_91103].

Volgordevoorwaarden en concurrency

Een aanroep is alleen toegestaan binnen een updatesessie die eerder succesvol is geïnitieerd door RequestUpdateSession [SWS_SM_91103]. Tijdens de aanroep markeert het besturende proces alle toestandsmachines die een van de doorgegeven functiegroepen beheren als ImpactedByUpdate [SWS_SM_00654]. Heeft dit betrekking op een toestandsmachine van het type Agent, dan wordt automatisch ook de bovenliggende Controller-toestandsmachine als ImpactedByUpdate gemarkeerd [SWS_SM_00655]. Zolang deze toestand van kracht is, worden externe toestandsovergangen geblokkeerd: elke aanroep van RequestTransition wordt beantwoord met kUpdateInProgress [SWS_SM_00649]. Bovendien worden recovery-verzoeken bij uitvoeringsfouten (ExecutionErrorEvent::executionError) genegeerd en enkel gelogd [SWS_SM_00664].

Foutafhandeling

Voor de methode zijn twee specifieke applicatiefouten gedefinieerd [SWS_SM_91103]:

• kOperationRejected: Wordt geretourneerd wanneer de aanroep buiten een actieve updatesessie plaatsvindt [SWS_SM_00213] of de interne toestand van het State Management de bewerking weigert [SWS_SM_91103].
• kOperationFailed: Geeft aan dat de aangevraagde voorbereiding van de functiegroepen is mislukt [SWS_SM_91103].

Interpretatie: De methode keert vermoedelijk pas terug na het inleiden of voltooien van de interne toestandsovergangen van de functiegroepen, aangezien er geen afzonderlijk asynchroon bevestigingsmechanisme in de interface is gedefinieerd. Vraag Q-9994d886fd5504d8 (open)

De servicemethode RequestUpdateSession van de interface UpdateRequest wordt zonder parameters aangeroepen (Fire & Forget: false) en dient voor Update and Configuration Management als instappunt voor het initiëren van een software-update [SWS_SM_91102]. Door de aanroep wordt de overgang naar een actieve update-sessie ingeleid, die voortduurt tot de beëindiging van de update [SWS_SM_00210] [SWS_SM_00213].

Per machine mag hoogstens één poort met de interface UpdateRequest zijn getypeerd [SWS_SM_CONSTR_00020], die uitsluitend mag worden aangeboden door een proces dat een StateMachine van het type Controller bestuurt [SWS_SM_00629]. Om de consistentie van het platform te waarborgen, mag op elk moment slechts één enkele update-sessie actief zijn [SWS_SM_00210]. Bovendien persisteert State Management de sessiestatus, zodat deze na een herstart van de machine kan worden uitgelezen [SWS_SM_00204].

De succesvolle acceptatie van de sessie is een strikte volgordevoorwaarde: vervolgmethoden zoals PrepareUpdate [SWS_SM_91103], ResetMachine [SWS_SM_91100] of StopUpdateSession [SWS_SM_91101] vereisen dat RequestUpdateSession vooraf succesvol is aangeroepen [SWS_SM_00213].

In geval van fouten zijn twee applicatiespecifieke fouten gedefinieerd [SWS_SM_91102]: wordt de methode aangeroepen tijdens een reeds lopende sessie, dan levert zij kNotAllowedMultipleUpdateSessions op [SWS_SM_00209]. Blijkt uit de controle (bijvoorbeeld via de interface UpdateAllowed) dat de machine momenteel geen update toestaat, dan wordt het verzoek afgewezen met de fout kOperationRejected [SWS_SM_00630].

De servicemethode ResetMachine in de service-interface UpdateRequest wordt aangeroepen door Update and Configuration Management (UCM) om tijdens een lopende update-sessie een herstart van de machine aan te vragen [SWS_SM_91100]. De methode heeft geen invoerparameters en is gedeclareerd met fire-and-forget-semantiek [SWS_SM_91100].

Voorafgaand aan het uitvoeren van de herstart moeten alle machine-interne gegevens persistent worden opgeslagen [SWS_SM_91100]. State Management beveiligt daartoe de gegevens van de actieve update-sessie, zodat UCM het updateproces na de herstart van de machine consistent kan voortzetten [SWS_SM_00204]. Bij het aanroepen van de methode brengt het besturende proces de StateMachine van het type Controller over naar de toestand Restart [SWS_SM_00658]. Na een succesvolle herstart van de machine gaat de Controller ter hervatting van de update over naar de toestand ContinueUpdate SWS StateManagement §7.2 “ResetMachine notification”.

Voor synchronisatie en opvolging van de uitvoering stelt State Management het veld ResetMachineNotifier beschikbaar [SWS_SM_00211] [SWS_SM_91106], waarvan de initiële waarde kIdle is [SWS_SM_00212]. Omdat ResetMachine is ontworpen als fire-and-forget-aanroep, zal UCM het resultaat van de herstart primair asynchroon via deze notifier bewaken (interpretatie). Vraag Q-732913d75d024929 (open)

Als er vooraf niet succesvol een update-sessie via RequestUpdateSession is opgezet, wordt de aanroep afgewezen en levert deze de fout kOperationRejected op [SWS_SM_91100]. Bij een aanroep buiten een update-sessie stelt het proces de waarde van het veld ResetMachineNotifier bovendien in op kRejected [SWS_SM_00661].

Het serviceveld ResetMachineNotifier van het type UpdateStatusType [SWS_SM_91027] behoort tot de service-interface UpdateRequest en dient ertoe Update and Configuration Management (UCM) in staat te stellen de status van de methode ResetMachine tijdens en na de uitvoering ervan te volgen [SWS_SM_00211] [SWS_SM_91106]. Het veld biedt een getter en een notifier, maar heeft geen setter [SWS_SM_91106]. UCM zal zich vermoedelijk typisch abonneren op de notifier om statuswijzigingen na de herstart van de machine asynchroon zonder polling te ontvangen. Vraag Q-122f44b23cd76238 (open)

De levenscyclus van het veld omvat de volgende toestanden en statusovergangen:

• Initiële waarde: De standaardwaarde van het veld is kIdle [SWS_SM_00212].
• Afwijzing buiten een sessie: Als ResetMachine buiten een actieve updatesessie wordt aangeroepen, stelt het gemodelleerde controllerproces de veldwaarde in op kRejected [SWS_SM_00661].
• Herstart en voortzetting: Binnen een updatesessie leidt ResetMachine tot een transitie naar de toestand Restart [SWS_SM_00658]. Na het opstarten van de machine synchroniseren State Management en UCM zich opnieuw. Bij een succesvolle afronding van de transitie naar ContinueUpdate wordt het veld ingesteld op kSuccessful [SWS_SM_00662].
• Foutgeval: Als de uitvoering van de transitie naar ContinueUpdate mislukt, verandert de waarde van het veld naar kFailed [SWS_SM_00663].

Als de updatesessie via StopUpdateSession wordt beëindigd, gaat de state machine over naar de toestand AfterUpdate [SWS_SM_00646] en zet State Management het veld ResetMachineNotifier weer terug op de standaardwaarde kIdle [SWS_SM_00660].

De servicemethode StopUpdateSession van de service-interface UpdateRequest ([SWS_SM_91101]) wordt aangeroepen door Update and Configuration Management zodra de update is voltooid en de machine zich in een stabiele toestand bevindt. De aanroep vindt plaats zonder parameters en heeft synchrone dan wel asynchrone verzoek-antwoord-semantiek (fire & forget is false).

Aanroepvoorwaarden en foutafhandeling

De uitvoering vereist een vooraf succesvol gestarte update-sessie. Vindt de aanroep van StopUpdateSession buiten een actieve update-sessie plaats, dan wordt het verzoek afgewezen en levert dit de fout kOperationRejected op ([SWS_SM_00213], [SWS_SM_91101]).

Systeemgedrag en toestandsovergangen

De aanroep beëindigt de lopende update-sessie (AUTOSAR_AP_SWS_StateManagement p. 90). In State Management triggert dit meerdere gecoördineerde acties:

• Het gemodelleerde proces dat de StateMachine van het type Controller bestuurt, brengt deze over naar de toestand AfterUpdate ([SWS_SM_00646]).
• Het veld ResetMachineNotifier wordt weer teruggezet naar zijn standaardwaarde ([SWS_SM_00660]).
• Voor StateMachine-instanties van het type Controller wordt de blokkering van RequestTransition opgeheven; daaropvolgende aanroepen antwoorden niet meer met kUpdateInProgress ([SWS_SM_00647]).
• De markering ImpactedByUpdate wordt van getroffen StateMachine-instanties verwijderd ([SWS_SM_00656]), waardoor reguliere toestandsovergangen en Recovery Actions weer worden vrijgegeven.

Gebruik en aanroepcontext

De servicemethode VerifyUpdate wordt aangeroepen door Update and Configuration Management (UCM) via de service-interface UpdateRequest om State Management te belasten met de verificatie van bijgewerkte functiegroepen [SWS_SM_00207]. Als parameter wordt functionGroupList (type FunctionGroupListType) meegegeven, die de lijst bevat van de in het desbetreffende SoftwareCluster te controleren functiegroepen [SWS_SM_91104]. Aangezien de methode niet is gedefinieerd als fire-and-forget (Fire & Forget: false), verwacht de aanroeper een synchrone respectievelijk na afronding beschikbare terugmelding [SWS_SM_91104].

Volgorde en foutafhandeling

De aanroep is onderworpen aan strikte toestandvoorwaarden: deze is alleen toegestaan binnen een actieve update-sessie en vereist dat State Management de update heeft toegestaan en de fase PrepareUpdate vooraf succesvol is afgerond [SWS_SM_91104].

• kOperationRejected: wordt geretourneerd wanneer de aanroep buiten een actieve update-sessie plaatsvindt [SWS_SM_00213] of wanneer de interne toestand van State Management dan wel de betrokken toestandsmachines de verificatie weigert (bijvoorbeeld wanneer PrepareUpdate niet succesvol was) [SWS_SM_91104].
• kOperationFailed: geeft aan dat de aangevraagde verificatiebewerking is mislukt [SWS_SM_91104].

Interactie en gelijktijdigheid

Tijdens de verwerking markeert het besturende gemodelleerde proces van een StateMachine van het type Controller elke toestandsmachine als ImpactedByUpdate waarvan de beheerde functiegroepen in functionGroupList zijn vermeld [SWS_SM_00654]. Betreft dit een StateMachine van het type Agent, dan wordt ook de bijbehorende Controller indirect als ImpactedByUpdate gemarkeerd [SWS_SM_00655]. Zolang deze toestand actief is, worden gemelde uitvoeringsfouten (ExecutionErrorEvent::executionError) van Platform Health Management of Execution Management genegeerd en enkel geprotocolleerd [SWS_SM_00664]. Vermoedelijk worden de betrokken toestandsmachines tijdens deze stap in de toestand VerifyUpdate gebracht, die behoort tot de vijf verplichte toestanden van elke StateMachine AUTOSAR_AP_SWS_StateManagement §7.7.1 “StateMachine introduction”. Vraag Q-cd5deaf13acfc2f5 (open)