Abstrakt. En effektiv utformning av effektiva självanpassningssystem kan bygga på flera befintliga metoder. Programvarumodeller och modellkontrolltekniker på drifttid representerar en av dem eftersom de stöder ett automatiskt resonemang om sådana förändringar, upptäcker skadliga konfigurationer och potentiellt möjliggör lämpliga (själv-)reaktioner. Traditionella metoder och verktyg för modellkontroll får dock inte användas eftersom de är på gång, eftersom de knappast uppfyller de krav som ställs på flyganalys när det gäller utförandetid och minnesockupation. Av denna anledning utgör effektiv kontroll av körtid en viktig forskningsutmaning. Detta dokument behandlar just denna fråga och fokuserar på probabilistisk körtidsmodellkontroll i vilken tillförlitlighetsmodeller ges i form av diskreta tidskedjor som verifieras i körtid mot en uppsättning krav som uttrycks som logiska formler. I rapporten diskuteras framför allt användningen av probabilistisk modellkontroll i körtid för selfadaptive system genom att man kartlägger och jämför de befintliga tillvägagångssätten uppdelade i två kategorier: state-elimineringsalgoritmer och algebrabaserade algoritmer. Diskussionen stöds av ett realistiskt exempel och empiriska experiment.
Filieri och Tamburrelli REF tillhandahåller en modellkontrollbaserad metod för verifiering, där tillförlitlighetsmodeller anges i form av diskreta tidskedjor som verifieras mot en uppsättning krav som uttrycks som logiska formler.
Probabilistic Verification at Runtime for Self-Adaptive Systems
{'venue': 'Assurances for Self-Adaptive Systems', 'journal': None, 'mag_field_of_study': ['Computer Science']}