Meeting log 2016 06 22

[9:07:13] Horváth Benedek: figy, az a gond, hogy mostani állásban csak annyit tudok hogy van-e ott valaki az adott szakaszon, se irányt, se sebességet nem tudok, márpedig ha ezeket tudnám, akkor lehet hogy egyszerűsíteni tudnék és kevesebb jelzés kéne. Mert pl ha tudsz irányt akkor nem kell a msáik irányt megnézni, máris feleakkorák lennének az állapotok pontosabban mondva ||-os régiók. Mert ugye most úgy van, hogy mindegiyk jelzés pl a VÁLTÓ állapotgépében egy külön ||-os régióba fut be, hogy egymástól függetlenül lehessen őke tkezelni

[9:08:35] András Vörös: aham

[9:08:37] Horváth Benedek: ahol lehet függetleníteni őket és ha nem kell megnézni mind a két szomszédos vátlót akkor értelemszerűen feleakkora ||-os régiók kellenek de abba se vagyok biztos, hogy mikor nézi meg mindkét váltót. az állapotgépek alapján illetve a jelzések nevei alapján vissza lehet fejteni őket szerintem. csak kérdés, hogy mennyire lehet őket kiegyszerűsíteni, meg ami nagyobb kérdés, hogy milyen információkat ismerünk a valóságról ezért lenne pl érdemes mielőtt átdesignoljuk az állapotgépeket, mondjuk meggondolni hogy irányokat tudunk-e definiálni, vagy még mindig azzal a feltételezéssel élünk, hogy a vonatok akármerre mehetnek bármikor mert ha nem tudunk irányt, akkor pl a CV az még mindig fényévekkel jobb, mint az állapotgép mert az tud magának irányt definiálni, az mindent tud. ezért mondom hogy szerintem az sokkal menőbb lenne, és az állapotgépek menőségi faktora akkor lenne nagy ha az uppaalos rész is meglenne, amihez viszont új állapotgépek kellenek