EA14: Mintapéldák
Semester:
2010. ősz
Az előadás tartalma:
Rendszertesztelés a SAFEDMI projektben
- Az architektúra áttekintése
- Az ERTMS funkciók tesztelése, robusztusság tesztelés
- A belső biztonsági mechanizmusok tesztelése, hibainjektálás
- A vezeték nélküli kommunikáció tesztelése, scenario alapú tesztelés
Egy formális modelleken alapuló keretrendszer biztonságkritikus valósidejű alkalmazások fejlesztésére
- Modellezés
- Szimuláció, modell alapú teszt fedés
- Formális verifikáció
- Kódgenerálás
