Formális módszerek - Házi feladat 8-14

Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.

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

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.

14. Automata marsjáró vezérlõegysége

-- adamo - 2006.05.05.