Energibesparing är en viktig fråga i inbyggda realtidssystem. Många RT-DVS algoritmer har föreslagits för att spara energi samtidigt som deadline garantier. I detta dokument presenteras en ny metod för att utvärdera RT-DVS-algoritmer med hjälp av statistisk modellkontroll. Ett skalbart ramverk föreslås för utvärdering av RT-DVS-algoritmer, där de relevanta komponenterna är modellerade som stokastisk tidsinställd automata, och utvärderingsmåtten inklusive utnyttjande bundet, energieffektivitet, batterimedvetenhet och temperaturmedvetenhet uttrycks som statistiska frågor. Utvärdering av dessa mätvärden görs genom att verifiera motsvarande frågor med hjälp av UPAAL-SMC och analysera den statistiska information som tillhandahålls av verktyget. Vi demonstrerar tillämpligheten av vårt ramverk via en fallstudie av fem klassiska RT-DVS algoritmer.
I REF, Dai et al. illustrerar tillämpligheten av statistisk modellkontroll på området för utvärdering av RT-DVS-algoritmer.
A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking
{'venue': None, 'journal': 'Mathematical Problems in Engineering', 'mag_field_of_study': ['Computer Science']}