Matematyka i statystyka

Udoskonalić kod maszynowy

Naukowcy z UE usprawnili metody szacowania kluczowych parametrów wpływających na działanie oprogramowania wbudowanego. Nowe metody wykorzystują bardzo dokładną zautomatyzowaną analizę kodu maszynowego.

Oprogramowanie wbudowane to takie, które kontroluje maszyny niebędące komputerami. Jednym z kluczowych parametrów dla oceny wydajności takiego oprogramowania jest najgorszy czas wykonywania ("worst case execution time", WCET), ale jego wartość czasami trudno jest obliczyć.

Finansowany ze środków UE projekt APARTS (Advanced program analysis for real-time systems) miał na celu udoskonalenie metod szacowania WCET na podstawie analizy kodu maszynowego. W badaniu analizowano możliwości zastosowania obliczeń dających wyniki z dokładnością do pojedynczych bitów, z uwzględnieniem skończonego rozmiaru każdej ze zmiennych oraz ewentualności przekroczenia zakresu. Zespół postawił sobie również za cel opracowanie modeli obliczeniowych, wykorzystujących w sposób dokładny zależność między wartościami zmiennych, wyrażanymi jako afiniczne ograniczenia między zmiennymi.

Wśród wyników prac można wymienić udoskonalone domeny abstrakcyjne o dokładności do pojedynczych bitów, a także analizy odzwierciedlające te domeny z wyższym poziomem precyzji. Analizy te były również skuteczne w obecności zawijania. Innym osiągnięciem było opracowanie szybszej i dokładniejszej metody plasterkowania. Udało się także stworzyć lepszą metodę rekonstruowania diagramów przepływu z kodu zawierającego dynamiczne przeskoki, wykorzystującą wspomniane wyżej analizy.

Projekt APARTS przyczynił się do usprawnienia automatyzacji i poprawy dokładności narzędzi do analizy WCET. Osiągnięcia te będą oznaczać skrócenie i obniżenie kosztów procesu programowania, a także poprawę bezpieczeństwa systemów wbudowanych w ważnych zastosowaniach.

data ostatniej modyfikacji: 2016-02-12 10:06:16



Przegląd uczelni
w Polsce
Wy__sza_Szko__a_Mened__erska_boks_220.jpg
Polskie uczelnie w obrazach
miniatura
miniatura Inauguracja-roku-akademickiego-2016-2017-10
miniatura Uniwersytet Jagielloński