Stateflow - Stateflow
 Řídicí logika systému automatické převodovky | |
| Vývojáři | MathWorks |
|---|---|
| Stabilní uvolnění | R2018b / 12. září 2018 |
| Náhled verze | R2018b / 14. června 2018 |
| Operační systém | Okna, Operační Systém Mac, Linux[1] |
| Plošina | x64 |
| Typ | Aplikační software |
| Licence | Proprietární |
| webová stránka | Stránka produktu Stateflow |
Stateflow (vyvinutý společností MathWorks ) je kontrolní logický nástroj používaný k modelování reaktivních systémů pomocí stavových strojů a vývojové diagramy v rámci Simulink Modelka. Stateflow používá variantu konečný stavový stroj notace zavedená David Harel, umožňující reprezentaci hierarchie, paralelismu a historie ve stavovém grafu.[2][3] Stateflow také poskytuje tabulky přechodu stavu a pravdivostní tabulky.
Běžné použití
Stateflow se obecně používá k určení diskrétního řadiče v modelu a hybridní systém kde je spojitá dynamika (tj. chování rostliny a prostředí) specifikována pomocí Simulinku.[4][5]
Mezi konkrétní aplikace pro Stateflow patří:
- Logika režimu, kde každý diskrétní režim systému je reprezentován stavem[6]
- Správa poruch, kde se Stateflow graf používá k řízení toho, jak systém reaguje na chyby a selhání v systému[7]
- Plánování úkolů, kde se Stateflow graf používá k plánování, kdy nastanou konkrétní úkoly, buď v Stateflow grafu, nebo v rámci celkového modelu Simulink[8]
Rozšíření
K ověření designu a generování kódu lze pomocí Stateflow použít řadu nástrojů MathWorks a nástrojů třetích stran. Ke kontrole lze použít například Simulink Verification and Validation, nástroj MathWorks sledovatelnost požadavků a analýza pokrytí modelu. K automatickému generování kódu C, C ++, HDL a PLC pro implementaci ve vestavěných systémech lze použít další nástroje pro generování doplňkových kódů.
Reference
- ^ MathWorks - Stateflow - Požadavky
- ^ MATLAB Tech Talks o základech a použití státních strojů
- ^ Simulace hybridních systémů pomocí Stateflow
- ^ Gregoire Hamon a John Rushby. „Provozní sémantika pro tok státu“ (PDF). Prezentováno na Fundamental Approaches to Software Engineering (FASE) Barcelona, Španělsko, březen 2004. SRI International Laboratoř výpočetní techniky.CS1 maint: používá parametr autoři (odkaz)
- ^ Normy Orion GN&C MATLAB / Simulink / Stateflow
- ^ A. Tiwari. „Formální sémantika a metody analýzy pro modely Simulink Stateflow“ (PDF). SRI International Laboratoř výpočetní techniky. Citovat deník vyžaduje
| deník =(Pomoc) - ^ Testování na základě požadavků v konstrukci řízení letadla
- ^ Tipy pro modelování integrovaného robotického kodéru NXT