Állapotok és viselkedés modellezése¶
Példa scenario
Egy modern többlakásos társasház hűtés / fűtés / szellőztetés rendszerét kell megoldanunk. Az igények felmérése megtörtént:
-
A központi hőszabályozó rendszer kétféleképpen működhet: vagy fűtési, vagy hűtési módban, melyeket központilag lehet kapcsolni. A rendszer csak akkor működik ténylegesen, ha a házban valahol fűtési/hűtési igény van, különben készenléti módba kapcsol. Az aktuális fűtési/hűtési módtól eltérő igény esetén a rendszer visszajelez, hogy a fűtés/hűtés nem lehetséges. A rendszer központilag lekapcsolható, ilyenkor egyáltalán nem működik.
-
A központi szellőztetőrendszer csak akkor működik, ha a házban valahol szellőztetési igény van, különben készenléti módban van. A rendszer központilag lekapcsolható, ilyenkor egyáltalán nem működik. A szellőztetőrendszer központi hőcserélője egy passzív alkatrész, minden esetben biztosítja a ki- és belépő levegő közötti hőcserét. Ha a hőcserélő külső oldalán a be- és kilépő levegő hőmérséklete nagyobb, mint a beállított küszöbérték (túl nagy az energiaveszteség), akkor a külső szellőztetés letiltásra kerül. Ilyenkor minden szellőztetési igényre azt jelzi vissza a rendszer, hogy a külső szellőztetés nem lehetséges.
-
A helyiség hővezérlője ki- és bekapcsolható. Bekapcsolt állapotban készenléti módban van. Ha a beállított alsó hőmérsékletnél kisebb hőmérsékleti érték érkezik, akkor fűteni kezd.
- Fűtés/hűtés indítása
- A hőmérsékletszenzor a hőmérséklet változása esetén jelzi az új hőmérsékletet az adott helyiség hővezérlőjének.
- A hővezérlő eldönti, kell-e fűteni/hűteni.
- A hővezérlő jelzi a helyiség szellőzésvezérlőjének a szellőztetési igényt.
- A hővezérlő jelzi a központi rendszernek a fűtési/hűtési igényt.
- A helyiség szellőzésvezérlője visszajelzi a szellőzés beindulását.
- A központi hővezérlő visszajelzi a fűtés/hűtés beindulását.
- A helyiség hővezérlője bekapcsolja a helyiség fűtését/hűtését.
- Fűtés/hűtés levegőkeringetéssel
- A hőmérsékletszenzor a hőmérséklet változása esetén jelzi az új hőmérsékletet az adott helyiség hővezérlőjének.
- A hővezérlő eldönti, kell-e fűteni/hűteni.
- A hővezérlő jelzi a helyiség szellőzésvezérlőjének a szellőztetési igényt.
- A hővezérlő jelzi a központi rendszernek a fűtési/hűtési igényt.
- A helyiség szellőzésvezérlője jelzi a központi szellőzésvezérlőnek a szellőztetési igényt.
- A központi szellőztetésvezérlő visszajelzi, hogy a külső szellőztetés nem lehetséges.
- A helyiség szellőzésvezérlője elindítja a levegőkeringetést.
- A helyiség szellőzésvezérlője visszajelzi a szellőzés beindulását.
- A központi hővezérlő visszajelzi a fűtés/hűtés beindulását.
- A helyiség hővezérlője bekapcsolja a helyiség fűtését/hűtését.
- Fűtés/hűtés indítása
Viselkedés modellezése automatával
- Készítsünk Statechart-ot/UML state diagrammot fenti követelmények reprezentálására!