|
|
|
|
Verifikace složitých systémů |
Vlak Pendolino z Prahy do Ostravy měl na začátku vážné problémy: občas
zastavoval během jízdy kvůli chybě v softwaru. Podobné chyby způsobovaly vážná
neštěstí, například havárii raketoplánu Ariane 5 v roku 1996. Náš výzkum je
zaměřen na pomoc se v budoucnosti takovým problémům vyhýbat. Nabízíme velké
množství témat pro bakalářské, diplomové a doktorandské práce pro studenty informatiky, řízení nebo matematiky.
Dle zájmu studenta práce může být zaměřena na aplikace, na teorii/matematiku, anebo spíš na vývoj softwaru.
Pro více informací, prosím kontaktuje mne!
Příklady možných témat jsou uvedeny níže. Mnohem více témat je k dispozici po osobní domluvě.
|
|
|
|
Verifikace složitých systémů |