Formális módszerek - Házi feladat 22-28

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

24.

A 2. pontra kerül a homokágyból. és a 2. feladatban 10-es szám szerepel 9 helyett.

25. Vasúti Pályakarbantartás

• Állapotszám amivel meg lehet oldani: Nekem 46-al sikerült megoldani. (ebből pár(4-6) helyem az elég redundáns)
• Deadlock: Ha szépen elfogyasztjuk az olajtartálból az összes olajat majd kiküldjük a tehervagonnal az egyik pályára a szerelvényünket a másikra meg tetszöleges szerelvényünket és elmegy az áram.
• Kivédése pl: Nem engedünk elindulni fehérvárról úgy szerelvényt, hogy kettőnél kevesebb olaj van a tartályban
• DNANet: Nekem INA-val kellett ellenőrizni, mert BLOWN STACK-elt az ellenőrzés.
• SAL: Ide jó lenne összedobni hogyan érdemes megvalósítani a LTL-eket.

26. Mozi

A magas szintű modellnél két diagrammot érdemes csinálni:
- Az egyik egyetlen mozi működéséről szól.
- A másik a szállító egységet írja le.