Kritikus beágyazott rendszerek: hallgatói előadások
A Kritikus beágyazott rendszerek tárgy utolsó két előadása (május 5. csütörtök és május 10. kedd) alkalmával a hallgatói irodalomfeldolgozás alapján készített prezentációk kerülnek sorra. Egy előadás 15 perces lesz, amit 5 perc megbeszélés (kérdések, értékelés) követ.
Az első alkalommal (most csütörtökön) 6, a második alkalommal 5 hallgató beszámolójára kerül sor. Ezért kérünk mindenkit, hogy 8:15-kor legyen a teremben!
Az előadások sorrendjét témák szerint osztottuk be:
| Május 5. csütörtök 8:15-10:00 | |
| Orova Péter | Safety Integrity Levels -- Theory and Problems |
| Horváth Dóra | A Comparative Study of Software Model Checkers as Unit Testing Tools |
| Knoll Tímea | Certifiable Program Generation |
| Ribli János Balázs | Röntgengép robusztusság tesztelési folyamata, működése |
| Veres-Szentkirályi András | Service Oriented Sensor Web |
| Farkas Tamás | Dynamic Composition of Services in Sensor Networks |
| Május 10. kedd 8:15-10:00 | |
| Varga Tibor | Methods of Determining Safety Integrity Level (SIL) Requirements |
| Erdélyi Lajos Róbert | Issues in the Application of Software Safety Standards |
| Csikós Donát | seL4: Formal verification of an OS kernel |
| Izsó Benedek | Implementing logical synchrony in integrated modular avionics |
| Ágoston István | Simulation-Based Design Using SysML |
