Abstrakt. Ett Run-Time Management-system för mångkärnig arkitektur är medvetet om tillämpningskrav och kan spara energi genom att offra prestanda när det kommer att ha försumbar inverkan på användarupplevelsen. I detta dokument beskrivs tillämpningen av en process för utveckling av ett run-time ledningssystem som integrerar en rad modellering, validering, verifiering och genereringsverktyg i lämpliga skeden. Vi beskriver modeller, processer och verktyg som vi använde för att utveckla ett temperaturmedvetet run-time ledningssystem för dynamisk spänning och frekvensskalning (DVFS) av ett medievisningsprogram. Händelseraffineringsstrukturen (ERS) används för att visualisera den abstrakta nivån av DVFS-kontrollen. Modellen Dekomposition teknik används för att hantera komplexiteten i modellen. För att modellera de processorienterade aspekterna av systemet använde vi iUML-B Statemachines. Vi använder flera olika visuella animationsverktyg, kör dem synkront för att utnyttja sina olika styrkor, för att demonstrera modellen för intressenter. Dessutom simuleras en kontinuerlig modell av kärnornas fysikaliska egenskaper i samband med diskret simulering av systemet för hantering av händelse-B-körning. Slutligen körbar kod genereras automatiskt med hjälp av Code Generation-plug-in. Det viktigaste bidraget i detta dokument är att visa att verktygen kompletterar varandra och att det är lätt att använda dem på ett integrerat sätt genom Rodin-plattformen.
Salehi m.fl. REF presenterar flera modeller och verifieringstekniker för Event-B som används vid utvecklingen av RTM i videodekodersystemet.
Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems
{'venue': 'IFM', 'journal': None, 'mag_field_of_study': ['Computer Science']}