请问有谁用过iar visualSTATE这个软件来开发吗？

登录 · 发表于 2012-2-15 16:54

我正在初学这个软件，但出现了一些问题：
在visualSTATE Designer 中画好了状态图，
但在接下来的visualSTATE Verificator动态规范性验证中，出现了：
Verification result log for System 'Car_System' :
Verification result log for all steps:
Fatal Error: Could not load system 'Car_System'
Verification stopped

不知道是什么问题。。我上传原文件，求帮助。

发表于 2012-2-15 16:55

还补充一点，我是学习这本书《基于状态机的嵌入式系统开发》。。

发表于 2013-11-26 17:15

请问，这个问题已经解决了吗？

发表于 2019-11-4 10:51

请问下，知道这个软件怎么样设置能把状态机界面进行锁定嘛？防止在写好的状态机界面添加新的状态图

请问有谁用过iar visualSTATE这个软件来开发吗？

本帖子中包含更多资源

相关帖子

技术高手奖章

以坛为家

技术新星奖章