内容简介

本文档描述了Simcenter Amesim中实现的状态图形式化方法（statechart）子集。状态图环境是一种可视化形式化方法，可用于描述离散控制器、调度器等反应式子系统的行为，其便利性远超传统的子模型组合方式。通过图形化直接表达状态间转换等核心信息，可大幅提升子系统逻辑的理解效率。需要强调的是，当前仅实现了状态图的子集，该子集设计时充分考虑了简洁性与严谨性。因此相较于传统信号子模型组合方式，状态图能提供更高的安全性与鲁棒性。本手册将介绍该状态图子集；关于状态图的通用信息，请参阅：

状态图环境是基于Harel有限状态机理论[1]的集成化图形定义、仿真与分析环境，专用于控制与操作逻辑开发。

状态图环境旨在提供易用的图形化界面，用于创建状态图、将其集成至模型、执行仿真以及通过动画进行验证。

状态图可包含基于状态机的顺序决策逻辑。有限状态机是事件驱动（反应式）系统的表征方式。在事件驱动系统中，当状态转换条件满足时，系统将从当前状态（模式）切换至另一状态。

访问地址

VIP专属访问链接（所有链接无缝跳转）：

内容截图