Dziesiąte międzynarodowe warsztaty nt. równoległych i rozproszonych metod certyfikacji, Snowbird, USA
14 Lipca 2011 - 14 Lipca 2011
Stany Zjednoczone
Dnia 14 lipca 2011 r. w Snowbird, USA, odbędą się dziesiąte międzynarodowe warsztaty nt. równoległych i rozproszonych metod certyfikacji.
Rosnące znaczenie zautomatyzowanej, formalnej weryfikacji w przemyśle powoduje wzrost zainteresowania aspektami, które mają bezpośredni wpływ na jej stosowalność do problemów świata rzeczywistego. Jedno z głównych wyzwań technicznych wiąże się z narzędziami i technikami projektowania, które są w stanie radzić sobie z dużymi, przemysłowymi modelami weryfikacji.
Jednocześnie branża informatyczna przechodzi zasadniczą zmianę paradygmatu. Producenci procesorów wprowadzają nowe generacje coraz silniejszych procesorów wielordzeniowych. Równolegle zasoby przetwarzania w chmurze stają się łatwodostępne, a urządzenia pamięci zewnętrznej, jak dyski HDD czy SSD, stają się coraz pojemniejsze.
Osiągnięcia te oznaczają, że techniki i narzędzia weryfikacji będą musiały przejść podobnie głęboką przemianę technologiczną, aby nadążyć za nowymi architekturami sprzętowymi.
Konferencja obejmie tematykę weryfikacji i analizy bardzo rozległych i złożonych systemów, przy zastosowaniu w szczególności metod i technik wykorzystujących obecne architektury sprzętowe. Poruszane będą takie kwestie jak:
- techniki pamięci równoległej i/lub rozproszonej na potrzeby weryfikacji;
- wydajne algorytmy na potrzeby weryfikacji;
- przetwarzanie algorytmów akcelerowanych jednostkowo na potrzeby weryfikacji;
- narzędzia weryfikacji zależne od platformy;
- branżowe studia przypadku wykorzystujące równoległe i rozproszone metody technik certyfikacji;
- zastosowanie w biologii systemów równoległych i rozproszonych metod w technikach certyfikacji.Więcej informacji: http://www.pdmc.cz/PDMC11/(odnośnik otworzy się w nowym oknie)
Rosnące znaczenie zautomatyzowanej, formalnej weryfikacji w przemyśle powoduje wzrost zainteresowania aspektami, które mają bezpośredni wpływ na jej stosowalność do problemów świata rzeczywistego. Jedno z głównych wyzwań technicznych wiąże się z narzędziami i technikami projektowania, które są w stanie radzić sobie z dużymi, przemysłowymi modelami weryfikacji.
Jednocześnie branża informatyczna przechodzi zasadniczą zmianę paradygmatu. Producenci procesorów wprowadzają nowe generacje coraz silniejszych procesorów wielordzeniowych. Równolegle zasoby przetwarzania w chmurze stają się łatwodostępne, a urządzenia pamięci zewnętrznej, jak dyski HDD czy SSD, stają się coraz pojemniejsze.
Osiągnięcia te oznaczają, że techniki i narzędzia weryfikacji będą musiały przejść podobnie głęboką przemianę technologiczną, aby nadążyć za nowymi architekturami sprzętowymi.
Konferencja obejmie tematykę weryfikacji i analizy bardzo rozległych i złożonych systemów, przy zastosowaniu w szczególności metod i technik wykorzystujących obecne architektury sprzętowe. Poruszane będą takie kwestie jak:
- techniki pamięci równoległej i/lub rozproszonej na potrzeby weryfikacji;
- wydajne algorytmy na potrzeby weryfikacji;
- przetwarzanie algorytmów akcelerowanych jednostkowo na potrzeby weryfikacji;
- narzędzia weryfikacji zależne od platformy;
- branżowe studia przypadku wykorzystujące równoległe i rozproszone metody technik certyfikacji;
- zastosowanie w biologii systemów równoległych i rozproszonych metod w technikach certyfikacji.Więcej informacji: http://www.pdmc.cz/PDMC11/(odnośnik otworzy się w nowym oknie)