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:
|
---|
|
Ostatnia modyfikacja: środa, 4 maja 2016, 11:37:52, Bożenna Skalska