| | | Verifikace složitých systémů |
Vlak Pendolino z Prahy do Ostravy měl na začátku velké problémy: občas se
na cestě zastavil kvůli mouše ve softwareu. Podobné mouchy už byly důvodem
mnohem vážnějších problémů např. havárie rakety Ariane 5 v roku 1996. Děláme
vyzkum který pomáhá se takovým problémům v budoucnosti vyhýbat, a nabízíme různá
témata pro práce v tomto oboru pro studenty informatiky, techniky řízení anebo matematiky.
Podle zájmu a pozadí studenta práce může být anebo spíš zaměřená na různé aplikace, na teoretické či matematické základy, anebo na vývoj softwareu. Výzkum se dělá v mezinárodním prostředí, např. v kolaborací s velkým Německým projektem
Rád poskytuji víc informací. Jen kontaktujťe mě!
Dole najdete příklady možných temat. Mnohem víc temat můžu poskytovat po individuální dohodě
| | | Verifikace složitých systémů |