Sammanhang: Många moderna mjukvarusystem måste hantera förändringar och osäkerhet. Traditionella krav på driftsäkerhet är inte utrustade för detta eftersom det förutsätter att det sammanhang i vilket ett system fungerar är stabilt och deterministiskt, vilket ofta leder till fel och återkommande korrigerande underhåll. Den kontextuella målmodellen (CGM), en kravmodell som föreslår idén om kontextberoende måluppfyllelse, lindrar problemet genom att koppla alternativa strategier för att uppnå mål till utrymmet för kontextförändringar. Dessutom, Runtime Goal Model (RGM) lägger till beteendemässiga begränsningar till uppfyllandet av mål som kan kontrolleras mot systemutförande spår. Mål: I detta dokument föreslås GODA (Målorienterad beroendeanalys) och dess stödram som konkreta medel för att resonera om tillförlitligheten hos system som fungerar i dynamiska sammanhang. Metod: GODA blandar kraften i CGM, RGM och probabilistisk modellkontroll för att ge en formell kravspecifikation och verifieringslösning. Vid designtid kan det hjälpa till med design- och implementationsbeslut; på gång hjälper det systemet att själv anpassa sig genom att analysera de olika alternativen och välja den med störst sannolikhet för att systemet ska vara pålitligt. GODA är integrerat i TAO4ME, ett toppmodernt verktyg för målmodellering och analys. Resultat: GODA har utvärderats mot genomförbarhet och skalbarhet på Mobee: ett verkligt mjukvarusystem som gör det möjligt för människor att dela live och uppdaterad information om kollektivtrafik via mobila enheter, och på större målmodeller. GODA kan vid körning verifiera upp till två tusen bladtask på mindre än 35 ms, och kräver mindre än 240 kbyte minne. Slutsats: Presenterade resultat visar GODA:s konstruktionstid och körtidsverifieringskapacitet, även under begränsade beräkningsresurser, och skalbarheten hos den föreslagna lösningen.
Medan arbetet i REF använder CGM-strukturen för att tillhandahålla kvantitativ tillförlitlighetsanalys genom probabilistisk modellkontroll.
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis
{'venue': 'Inf. Softw. Technol.', 'journal': 'Inf. Softw. Technol.', 'mag_field_of_study': ['Computer Science']}