Stateflow

设计验证与代码生成

通过将 Stateflow 与其他 Simulink 产品配合使用,可以根据需求验证您的设计,并生成代码以便在嵌入式系统中予以实现。

使用 Simulink Verification and Validation(Simulink 检验和验证),可以将需求直接映射到 Stateflow 对象,检查是否符合标准,并收集模型覆盖度量信息。

使用 Simulink Design Verifier(Simulink 设计检验器),可以检测设计错误,针对采用常规方法难以发现的错误生成测试向量。

使用附加代码生成产品,可以直接从状态图生成 C 和 C++HDLPLC 代码。

试用 Stateflow

获取试用版软件

移动机器人防撞的Simulink仿真

观看网上技术交流会录像