州流程®是基于状态机和流程图的建模和模拟组合和顺序决策逻辑的环境。StateFlow允许您组合图形和表格表示,包括状态转换图,流程图,状态转换表和真理表,以建模您的系统如何对事件,基于时间的条件和外部输入信号作出反应。
使用StateFlow,您可以设计用于监控,任务调度和故障管理应用程序的逻辑。StateFlow包括状态机动画和静态和运行时检查,以便在实施之前测试设计一致性和完整性。
了解州流的基础知识
为分层系统创建监控逻辑
构建具有状态语法和执行语义的图表
配置事件触发器,系统输入和系统输出
检查您的设计是否满足要求
设计模块化图表,用于大型建模
设计算法和用于故障检测,恢复和管理的应用
在特定时间执行单个或多个系统