Abstract-The paper presenterar en modell för multi-mode realtidsapplikationer och utvecklar nya tekniker för kompositionsanalys av system som innehåller flera sådana applikationer. En algoritm för att bygga ett gränssnitt för en enda multimode ansökan presenteras. Därefter presenteras en metod för att beräkna ett gränssnitt för en sammansatt applikation, som endast använder gränssnitten för ingående applikationer. En fallstudie av ett adaptivt streamingsystem visar att multi-mode analys ger mer exakta resultat jämfört med en unimodal värsta-fall analys.
Dessutom är multi-mode automata REF avsett för kompositionsanalys av realtidssystem med flera lägen.
Compositional Analysis of Multi-mode Systems
{'venue': '2010 22nd Euromicro Conference on Real-Time Systems', 'journal': '2010 22nd Euromicro Conference on Real-Time Systems', 'mag_field_of_study': ['Computer Science']}