Kritikus beágyazott rendszerek - Hírek

Kritikus beágyazott rendszerek házi feladat

A tárgy segédanyagai közé kikerült a házi feladat leírása valamint a kapcsolódó labor anyagai. A következő laboralkalom november 13-án lesz, témája erősen kapcsolódik a házi feladathoz. A laboron a részvétel kötelező, saját gép használata javasolt. Az UPPAAL modellellenőrző a következő honalapról tölthető le: http://uppaal.org/

Felkerült a második részhez tartozó anyagok

Formális módszerek és a repülőgépipari SW fejlesztést szabályozó DO-178B/C-t bemutató előadás.

Tartalom átvétel