För Internet måste systemutvecklare ofta uppskatta QoS genom simuleringstekniker eller matematisk analys. Probabilistisk modellkontroll kan utvärdera prestanda, pålitlighet och stabilitet i informationsbehandlingssystem med slumpmässiga beteenden. Vi tillämpar en hybridanalys metod på realtid distribuerade system. I hybridanalysmetoden utför vi stegvis analys med hjälp av probabilistiska modeller av målsystem i olika abstrakta nivåer. Först skapar vi en probabilistisk modell med detaljerat beteende i systemet (kallas detaljerad modell), och tillämpar simulering på den detaljerade modellen. Därefter, baserat på simuleringsresultaten, skapar vi en probabilistisk modell på en abstrakt nivå (så kallad förenklad modell). Sedan verifierar vi kvalitativa egenskaper med hjälp av probabilistiska modellkontrolltekniker. Detta förhindrar statsexplosion. Vi utvärderar giltigheten av vår strategi genom att jämföra med simuleringsresultat från NS-2 med hjälp av en fallstudie av ett streamingsystem för videodata. Experimenten visar att resultatet av den föreslagna metoden ligger mycket nära resultatet av NS-2-simuleringen. Resultatet uppmuntrar tillvägagångssättet är användbart för prestandaanalys på olika domäner.
PMC var avgörande för verifieringen av egenskaper hos en videostreamingtjänst i REF.
QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
{'venue': 'IEICE Transactions', 'journal': 'IEICE Transactions', 'mag_field_of_study': ['Computer Science']}