Formális módszerek - Házi feladat 8-14
Ez az oldal a korábbi SCH wikiről lett áthozva.
Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor, kérlek, javíts rajta egy rövid szerkesztéssel!
Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót.
8. Hibás italautomata
9. Mobil kommunikáció
10. Síliftek megbízható működése
Konzulens: Vágó Dávid, honlap, email: vd419@hszk.bme.hu
Hallgatók
- Szőke Ádám szokea@gmail.com
Jó tudni
Azok a részletek, amik nincsenek konkrétan a feladatban specifikálva, azokról te döntheted el, hogy hogyan valósítod meg, de ezen döntéseidnek legyen nyoma a dokumentációban. Lényegében a házi feladat első része, az állapottérképes (vagy más szabványos, magasszintű, grafikus) leírás pont arra szolgál, hogy ezeket a tervezői döntéseket bemutassa. A Petri-hálós modellezéssel kapcsolatban felmerült annak a problémája, hogy a feladat (a jelenlegi megfogalmazás szerint) végtelen sok állapopot tartalmaz, ezért semmilyen eszközzel nem elemezhető. Természetes ilyen esetben a végtelen állapotszámot meg kell szüntetni (például kapacitáskorlátok bevezetésével). A síliftes (10) feladatnál a parkolóba érkező emberek számát nyilván korlátozni kell, hogy analizálhatni lehessen a hálót.
11. Banana Jeans
12. Akvárium tisztításának modellezése
13. szerencsétlen-e vagy :)
14. Automata marsjáró vezérlõegysége
-- adamo - 2006.05.05.
