Yakindu figyelmeztetés

0 votes
asked May 2, 2016 in Rendszermodellezés A00 by klenium (58 points)  

A nagy házit kezdtem el csinálni. Egyszerűbb lenne úgy csinálnom, hogy használok egy choice elemet. Viszont a Yakindu erre egy figyelmeztetést ad: "a choice should have one outgoing default transistion". Két kimenete van a döntésnek, pl. a == 1, és a != 1. Nyilván az egyik mindig érvényesülni fog, ezért ebből a szempontból érdektelen a figyelmeztetés. De a feltöltésnél is így lesz, vagy warning esetében sem fogadják el a HF-et?

1 Answer

+1 vote
answered May 2, 2016 by oszkar.semerath (1,579 points)  
selected May 2, 2016 by klenium
 
Best answer

Szia!
A házi feladatot elfogadjuk, azonban érdemes hallgatni a warningokra.
Például ha az 'a!=1' átírod default-ra, eltűnik a hiba, és a Yakindu úgy gondolja hogy karbantarthatóvá válik az állapotgéped.

Különben annak eldöntése, hogy a guard feltételek közül mindig pontosan egy teljesül, egy elég nehéz logikai feladat. Nem is vizsgálja Yakindu.

Üdv!
Oszkár

commented May 2, 2016 by klenium (58 points)  
Köszönöm. Én azt hittem, a default alatt azt értik, hogy egy feltétel nélküli nyíl, de annak mindig le kellene futnia, viszont így már világos.
commented May 2, 2016 by oszkar.semerath (1,579 points)  
default = else
...