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

A VIK Wikiből
A nyomtatható változat már nem támogatott, és hibásan jelenhet meg. Kérjük, frissítsd a böngésződ könyvjelzőit, és használd a böngésző alapértelmezett nyomtatás funkcióját.

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.



22.

23.

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.

27.

28.