Hogyan stateflow
Stateflow - Simulink
Mi egy olyan gép?
Véges automata (véges állapotú gép (FSM)) - eseményvezérelt kiviteli alak (reaktív) rendszerek. Esemény-vezérelt rendszer mozog az egyik állapotból (mód) a másikba előírt állapotot az esetben, ha a feltétel, amely meghatározza a változás igaz.
Például, akkor egy olyan gép, hogy leírja az automata sebességváltó autót. Az átvitel számos állam: parkoló, semleges, mozgás, hátra stb A rendszer átmenet egyik állapotból a másikba, amikor a vezető mozog a kart az egyik helyzetből a másikba, például, a parkolási helyzetben a semleges helyzetbe ...
Ábrázolások véges állapotú gép (FSM)
Hagyományosan, a tervezők már használt igazság táblák, hogy képviselje a kapcsolatot a bemeneti, kimeneti és állami FSM. Az így kapott táblázat mutatja a logikája a rendszer viselkedése. Egy másik megközelítés tervezése eseményvezérelt rendszerek viselkedésének szimulálása a rendszer, amely leírja, tekintve közötti átmenetek államok. Állami átmenet az aktív fázis határozza meg előfordulása események bizonyos körülmények között. Átmeneti diagram (state-átmenet diagramok (STD-k)) és a buborék grafikonok (buborék diagramokat) - grafikus ábrázolások alapján ezt a megközelítést.
Stateflow kiviteli alakban használ egy véges állapotú gép jelölési rendszer által javasolt David Harel [D. Harel állapottérképek: A Visual formalizmus komplex rendszerek”. (Állapottérképek: vizuális formalizmus komplex rendszerek) Science számítógépes programozás 8. 1987, 231-274] Az Stateflow (- Állami, áramlás - flow), akkor létre Stateflow chart diagram Stateflow -. grafikus ábrázolása egy véges állapotú gép, ahol az állam és átmeneteket képeznek az alapvető építőkövei a rendszer is streaming (nem államok) chart segítségével Stateflow Stateflow képez blokkokat, hogy kapcsolja a Simulink modell összessége blokkok Stateflow a ... Simulink modell - Stateflow gépek a.
Jelölések határoz meg a tárgyak és a szabályokat, amelyek a kapcsolatok között ezeket az objektumokat. Stateflow jelölést biztosít lehetővé teszi, hogy dolgozzon ki egy projekt teljes mértékben megfelel a Stateflow diagram.
Stateflow jelölés a következőkből áll:
- Egy sor grafikus objektumok
- Állítsa be a nem-grafikus (szöveg) objektumot
- Bizonyos összefüggések között ezek a tárgyak
Szemantika leírják a pontrendszert értelmezni és alkalmazni. Kész Stateflow diagram szemlélteti, hogy a rendszer fog viselkedni. Stateflow diagram akciókat tartalmaz kapcsolódó átmenetek és államok. Szemantika leírja a sorrendet, amelyben ezek a tevékenységek zajlanak során Stateflow listákon.
Ismerete szemantika különösen fontos a megfelelő tervezési döntéseket Stateflow diagramok kódgenerálásra. Különböző felhasználási jelöléssel vezet egy másik végrehajtásának sorrendjében a generált kódot.
Simulink modell és Stateflow gép
Stateflow gép - egy sor Stateflow blokkok Simulink modellek. Simulink modell és Stateflow gép együtt dolgozni. Futás a szimuláció automatikusan elindul a Simulink és Stateflow modell részei.
Simulink modell állhat, további egységek a szerszámok és készletek Stateflow blokkok (Stateflow diagramokat) Simulink kombinációk blokkokat. Stateflow chart (Stateflow diagram) áll, egy sor grafikus (állapotok, átmenetek, vegyület (csomópontok), kronológiai vegyületek) és a nem-grafikus (esemény adatot, program-kódok) a tárgyakat.
Van egy-egy levelezés között Simulink modell és Stateflow gépen. Minden blokk Stateflow a Simulink bemutatott modell külön Stateflow diagram (Stateflow ábrát). Minden Stateflow gép saját objektumok hierarchiáját. Stateflow gép - a legmagasabb szinten a Stateflow hierarchiában. A következő objektum hierarchia Stateflow gép kombinációja grafikus és nem grafikus objektumok. Data Dictionary - archív összes tárgyak Stateflow.
Definiálása Stateflow interfész
Minden blokk megfelel egy Stateflow Stateflow chart. Stateflow blokk kapcsolódik a Simulink modell az interfészen keresztül. Az interfész csatlakozik a Stateflow blokk forrásból származó Simulink modell (adatok, események, felhasználói kód).
Stateflow diagramok eseményvezérelt. Események lehetnek helyben a Stateflow blokk vagy jöjjön és a Simulink modell és a kód: külső forrásokból Simulink. Az adatok lehetnek lokális Stateflow blokk vagy jönnek, és a Simulink modell és a kód: külső forrásokból Simulink.
Meg kell adnunk egy felület minden blokk Stateflow. Az interfész definíciója a Stateflow blokk tartalmazhat egy részét vagy egészét az alábbi feladatokat:
- Meghatározása módosított vizsgálati módszer a blokk Stateflow
- Meghatározó kimenet Simulink (kimenet Simulink) események
- Hozzáadása és meghatározása nem helyi eseményeket és a nem helyi belüli adatok Stateflow grafikonok
- Meghatározása kapcsolatai külső forrásból
A példában korábban tárgyalt Simulink Simulink modellje a blokk - a forrás szinuszos (Sine), Simulink Unit - vevő Alkalmazási kör (oszcilloszkópon), és egy egyetlen nevű Stateflow On_off.
Tárgyak diagram Stateflow
A következő példa azt Stateflow diagram, amely az alapvető grafikai elemek. Ráadásul ezek a képet alkatrészek részletesen, valamint néhány nem-grafikus objektumok és a közöttük lévő kapcsolatok.
Állami leírja a módot eseményvezérelt rendszerek. Dinamikus állapotváltozások inaktivitásból tevékenységre alapuló események és körülmények között. Minden állam a szülő. Az ábrán Stateflow, amely egyetlen állam a szülő állam - közvetlenül diagram Stateflow (más néven gyökér Stateflow táblázatot). Akkor tegyük államok belül más, magasabb szintű állapotok. Az ábra StateA1 - leszármazottja a hierarchia kapcsolatban StateA.
Állami is története van. Kronológia hatékony eszközei alapozza jövőbeni cselekvés az utolsó lépéseket.
Államok egy címkét, amely meghatározza a végrehajtott műveletek sorrendben alapján az intézkedés jellege. Típusú intézkedéseket - belépés (a bejáratnál), közben (az) exit (output), valamint a event_name (abban az esetben, egy esemény a nevét _).
Egy példa az automata sebességváltó, a szállítási kikapcsolható, vagy benne van a munka. Két a rendszer állapotát - semleges (neutrális), és a részt (a).
Stateflow ban két kimondja: párhuzamos (ÉS) és kizárólagos (OR) típusú állam. Párhuzamosság és bemutatott (párhuzamos) állapotok. Automata sebességváltó - egy példa a kizárólagos (OR) állapotban van. Exkluzív (OR) állapotok leírására használjuk módok, amelyek kölcsönösen kizárják egymást. A rendszer vagy egy semleges állapotban, vagy a bekapcsolt egy időben.
Tekintsük ismét az automata sebességváltó. Clutch_engaged (átviteli kapcsoló) - olyan esemény, amely szükséges ahhoz, hogy az átmenet a semleges helyzetben a „on” állapotban van.
Események ellenőrizzék a végrehajtását Stateflow diagramok, de még nem-grafikus objektumok és így nem látható közvetlenül ábrán Stateflow. Minden esemény, amelyek relevánsak a Stateflow diagram, meg kell határozni. Esemény bekövetkezése miatt a státuszát az állam (aktív - inaktív) a Stateflow diagram változtatni. Olyan esemény kiválthatja egy átmenet, és akkor történik, vagy lehet futtatni a cselekvés, és akkor történik. Események történnek egy lefelé irányuló, kezdve a szülő esemény a hierarchiában.
Események jönnek létre, és módosítható a Stateflow Explorer (Stateflow Explorer). Események hozható létre bármely szintjén a hierarchiában. Az esemény egy olyan tulajdonság, mint a láthatóságot. Láthatóság határozza meg, hogy az esemény
- Helyi hogy Stateflow diagram
- Tartalmazza a Stateflow diagram a Simulink modellek
- Coming out a Stateflow diagramok Simulink modell
- Exportált kódolni külső a Stateflow diagram és Simulink modell
- Kód behozott kívüli forrásból Stateflow és Simulink
Adat objektumok tárolására használt számértékek használata a diagram Stateflow. Ezek nem a grafikus objektumok és így nem látható közvetlenül ábrán Stateflow.
Ezek hozzák létre és módosítják a Stateflow Explorer. Ők lehet létrehozni bármilyen szinten a hierarchia. Ezek az ingatlan, mint a láthatóságot. Láthatóság meghatározza tárgyak adatait a következő lehetőségek közül:
- Szükséges a helyi Stateflow diagram
- Írja be a Stateflow diagram Simulink modellek
- Ki a Stateflow diagramok Simulink modell
- Legyen az ideiglenes adatok
- Kell határozni a MATLAB munkaterület
- egy állandó
- Eksportirovatsya kód külső a Stateflow rajz és modell Simulin
- Importirovatsya kódot kívüli forrásból a Stateflow és Simulink
A hierarchia lehetőséget ad arra, hogy szervezik a komplex rendszerek szerkezetének meghatározására az ős és leszármazott objektumokat. Hierarchikusan felépített projekt általában csökkenti az átmenetek száma és az eredmények világos, érthető grafikonok. Stateflow támogatja a hierarchikus szervezeti ábrák egyaránt, és az állam számára. Táblázatok belül is létezhet más leírásokban. Diagram, hogy létezik egy másik rajz, úgynevezett subdiagram.
Hasonlóképpen, az államok létezhetnek más államokban. Stateflow hierarchia jelentése államok és alállapotot szuperállam. Például, a diagram van Stateflow szuperállamnak, amely két alállapotot.
Szuperállam részt (küldés engedélyezett) alállapotba tartalmaz első (első átviteli) és a második (a második átviteli). Szuperállam részt - az őse a hierarchia kapcsolatban az államok első és a második. Clutch_engaged Amikor egy esemény bekövetkezik, a rendszer átkapcsol a semleges állam szuperállamként „on”. Átmenetek a szuperállam szándékosan kihagytuk ebben a példában az egyszerűség kedvéért.
A feltétel - egy logikai kifejezés, amely jelzi, hogy az átmenet zajlik, ha a megadott kifejezés igaz. Ábra Stateflow komponens diagramja [feltétel1] jelentése logikai kifejezés, amely igaznak kell lennie, hogy az átmenet történt.
Az automata sebességváltó az első sebesség a második kerül sor, ha a logikai feltétel [sebesség> threshold] ([arány> porogovoe_znachenie]) igaz.
Időrendi vegyületet (History Junction)
Az automata sebességváltó időrend azt jelzi, hogy ha clutch_engaged indukál átmenet semleges szuperállamként van kapcsolva, majd alállapotba aktívvá válik (az első vagy a második sebesség), amely aktív volt az utolsó körben.
Action - ez az eredménye a végrehajtás bármely részének Stateflow listákon. A művelet elvégezhető miatt az átmenet az egyik állapotból a másikba. Action is egy reakció az állam. Ábra szegmens átmenet StateA1b jelzett vegyület hatásának kell func1 () állapotban 1 állapotban, és az átmenet szegmens vegyületről StateA1c szembetűnő hatást func2 () az átmenet. A szemantika cselekvés kell tekinteni később.
Az átmenet végződő az állam, a művelet a feltételeket (feltétel cselekvés), és az átmeneti hatást (átmeneti hatás), az alábbiakban tárgyalt. Azonban, átmenetek, amelyek eredményeként a vegyületek lehetnek egyetlen akció körülmények között (nem engedélyezett átmenetek fellépés).
Állami lehet a tevékenysége bejegyzést (a bejáratnál), közben (az) exit (output), valamint a rendezvény _ neve (abban az esetben, egy esemény a nevét _). Például,
Action nyelv meghatározza azon intézkedéseket, amelyek segítségével és a kapcsolódó jelöléseket. Az intézkedés lehet egy függvényhívás, a kezdeti események, hozzárendel egy értéket egy változónak, stb
Stateflow támogatja modellezési paradigma véges automata Moore és Lisztes. A Lisztes modell társított műveletek átmenetek, míg Moore a modellben vannak társítva az államok. Stateflow támogatja az intézkedések az államok, az átmenetek és akciók a cselekvés feltételeit.
Konkurencia A rendszer két vagy több állam, amely lehet aktív egyszerre. Az intézkedések az egyes párhuzamos helyzetben lényegében független a más államokban. Ábra 2-1 StateA2a és StateA2b - párhuzamos (ÉS) állapotban. StateA2 egy párhuzamos (ÉS) állam bomlás.
Például a diagram egy párhuzamos Stateflow bomlás szuperállam.
Transmission (átvitel), fűtés (Heat) és a fények (Lights) - párhuzamos alrendszerek az autóban. Ezek párhuzamosan létezik, és fizikailag is független egymástól. Sok más párhuzamos komponensek a járműben, így fékezés alrendszer és egy alrendszer szélvédő tisztítását.
Ön kijelenti párhuzamossága Stateflow, kérve párhuzamos (ÉS) bomlik. Párhuzamos (S) állapotban megjelenített körülvéve a szaggatott vonal területeken.
Alapérték átmenetek (alapértelmezett Transitions)
alapértelmezett átmenet meghatározására, hogy mely számos exkluzív (OR) kimondja, hogy aktív legyen, ha bizonytalanság van a két vagy több kivételes (OR) kimondja, azonos szinten a hierarchiában.
Például a 2-1 ábra Az alapértelmezett átmenet StateA1 megoldja a kétértelműség, amely kapcsolatban nem áll fenn, amely a alállapotot, StateA1 vagy StateA2, aktívnak kell lennie, amikor StateA szuperállamnak aktívvá válik. Ebben az esetben, ha StateA aktív alapértelmezett StateA1 aktívan.
A következő alrendszer Lights (világítás) Az alapértelmezett átmenet a alállapotba Lights.Off (Lighting pribory.vyklyucheny) azt jelzi, hogy amikor a fények szuperállam aktívvá válik, Lights.Off substate válik alapértelmezés szerint aktív.
Figyeljen! Történelmi kapcsolatok felülbírálja az alapértelmezett átmenet szuperállam exkluzív (OR) bomlik.
Figyeljen! Ezzel párhuzamosan (és) az állapot átmeneteket alapértelmezés szerint mindig jelen kell lennie, hogy meghatározza, hogy mely kizárólagos (OR) az állapot fennáll, ha a párhuzamos állami aktívvá válik.
A vegyületeket (Connective kereszteződések)
Connections - döntési pont a rendszerben. Connect - egy grafikus objektumot, amely leegyszerűsíti Stateflow sematikus ábrázolásai és megkönnyíti generációja hatékony kódot. Kapcsolatok alternatív módon bemutatni a kívánt rendszer viselkedése. On Stateflow ábrán fent bemutatott vegyületet használunk döntési pont a két átmenetet szegmens végződő StateA1c állapotban.
A következő példa azt mutatja, hogy a vegyület (az ábrán körök) használunk, ha design.
Ez a fragmens a következő:
- Ha a feltétel [c1] igaz, a feltételes művelet végrehajtása és a1 előfordul feltétel nélküli ugrást az első (felső) közös.
- Stateflow meghatározza, hogy mely szegmens a felső átmeneti kiválasztott vegyületek (csak egy lehet kiválasztva). Vegyületek, amelyek a feltételek elsőbbséget élveznek a kapcsolatot feltételek nélkül, azaz a. Körülbelül. az átmenet a feltétellel [C2] tekintik első.
- Ha a feltétel [C2] igaz, a kereset végeztek és A2 egy átmenet az alsó kapcsolatot. Mivel nincs átmenet jön ki a vegyület, a teljesítménye a diagram befejeződött.
- Ha a feltétel [C2] hamis, van egy feltétel nélküli átadása a jobb szegmens (nincs körülmények között).
- Ha az állapot [C3] igaz, a feltételes kereset végeztek a3, és továbblép az alsó diagramon soedineniyu.Vypolnenie befejeződött.
- Ha ez az állapot [C3] hamis, a folyamat véget ér a középső közös.
Tudtad, hogy az intuitív modellezés - létrehozásának folyamatát egy modell alapján intuíció, ötletek és tapasztalatok.
Hírek Fórum
Knights-éter elmélet