Skip to main content
European Commission logo print header

Predictive Techniques for System Level Analysis of Multi-Processors

Article Category

Article available in the following languages:

Wczesne znajdowanie błędów w programowaniu wieloprocesorowym

Badacze wykorzystują metody projektowania na poziomie systemowym do zwiększania niezawodności nowych technologii wieloprocesorowych. Prace pozwoliły ulepszyć proces rozwojowy mikroelektroniki stosowanej w sieciach bezprzewodowych, telekomunikacji i samochodach.

Gospodarka cyfrowa icon Gospodarka cyfrowa

Nowe technologie, takie jak zintegrowane systemy wieloprocesorowe, stanowią siłę napędową nowych zastosowań w mikroelektronice. Przetwarzanie współbieżne pozwala zwiększyć moc obliczeniową i przyspieszyć system, otwierając nowe możliwości zastosowania. Znajdowanie błędów współbieżnego wykonania jest jednak bardzo trudne z uwagi na ograniczony zakres, czasochłonność i wysokie koszty obecnie dostępnych metod weryfikacji i testowania. Oznacza to, że nowe konstrukcje są często wprowadzane na rynek z błędami, które wychodzą na jaw dopiero po zastosowaniu produktów w rzeczywistych sytuacjach. Rozwiązywanie takich problemów jest jeszcze bardziej kosztowne. Finansowany ze środków UE projekt PREDICTMP ("Predictive techniques for system level analysis of multiprocessors") zajął się analizą metod projektowych na poziomie systemowym, które pozwoliłyby zwiększyć niezawodność oprogramowania współbieżnego i efektywność procesu tworzenia produktów. W ramach projektu PREDICTMP opracowano technikę predykcyjnej weryfikacji podczas wykonywania opartą na symulacjach, która skutecznie znajduje błędy współbieżności na wczesnych etapach procesu rozwojowego, co przekłada się na oszczędność czasu i pieniędzy. Badacze opracowali również nową metrykę pokrycia wykorzystującą testy mutacyjne z uwzględnieniem współbieżności oraz zautomatyzowaną platformę generowania testów dla projektów w języku SystemC. Stworzone innowacje zwiększyły skuteczność wykrywania istniejących i potencjalnych awarii. Poprawność wyników została sprawdzona na dużym projekcie przemysłowym, a prace zostaną wykorzystane do złożenia zgłoszeń patentowych. Trzyletni projekt stworzył producentom układów wieloprocesorowych możliwość skuteczniejszego znajdowania błędów i poprawiania jakości dostępnych metod weryfikacji. Nowe narzędzia do weryfikacji projektów przemysłowych docelowo skrócą czas opracowywania nowych produktów. Znalezienie inwestorów finansujących badania nad optymalizacją automatyzacji, integracji i skalowalności projektów w języku SystemC pozwoliłoby uzyskać dalsze oszczędności czasu i pieniędzy.

Znajdź inne artykuły w tej samej dziedzinie zastosowania