Zakład Oprogramowania i Architektury Komputerów
Kierownik Zakładu
dr hab. inż. Krzysztof Cabaj
e-mail: krzysztof.cabaj@pw.edu.pl
tel. (+48-22) 234-7711
pok. 313
Profil naukowy
Analiza i projektowanie systemów cyfrowych z uwzględnieniem praktycznych aspektów architektury, oprogramowania systemowego i aplikacyjnego
- modelowanie, metody formalne i narzędzia do projektowania systemów informatycznych
- przetwarzanie równoległe, rozproszone, protokoły komunikacyjne
- metodyka projektowania i wytwarzania oprogramowania
- systemy wbudowane i czasu rzeczywistego
- wiarygodność systemów komputerowych (niezawodność, dostępność, wydajność, bezpieczeństwo, itp.)
- testowanie sprzętu i oprogramowania, diagnostyka oraz tolerowanie błędów w systemach cyfrowych
- zaawansowana synteza logiczna
Bieżące prace badawcze
- analiza propagacji i efektów błędów oraz techniki ich obsługi http://staff.ii.pw.edu.pl/organisation/Dependability.html
- analizator zakleszczeń DedAn http://staff.ii.pw.edu.pl/dedan/
- metodologia projektowania i weryfikacja złożonych systemów
- modele programowania
- techniki oraz zastosowania analizy danych w sterowaniu, monitorowaniu systemów i odkrywaniu wiedzy
