|
关注:1
2013-05-23 12:21
求翻译:The IOPT-tools Web based tool framework [1] supports the implementation of embedded systems controllers using web-based graphical tools, starting with a graphical editor to specify controller’s behavior through associated Petrinet model, complemented with model-checking and system verification tools used to debug and a是什么意思? 待解决
悬赏分:1
- 离问题结束还有
The IOPT-tools Web based tool framework [1] supports the implementation of embedded systems controllers using web-based graphical tools, starting with a graphical editor to specify controller’s behavior through associated Petrinet model, complemented with model-checking and system verification tools used to debug and a
问题补充: |
|
2013-05-23 12:21:38
该IOPT -工具的基于Web的工具框架[1]支持嵌入式系统控制器使用基于Web的图形化工具,从图形编辑器来指定控制器通过相关的Petri网模型,辅以用于模型检查和系统验证工具的行为实施
|
|
2013-05-23 12:23:18
这, 那; 这些, 那些
|
|
2013-05-23 12:24:58
IOPT工具基于互联网的工具框架 (1) 支持使用基于互联网的图解工具的嵌入系统控制器的实施,从一位图解编辑开始通过伴生的Petrinet模型指定控制器的行为,补全用使用的模型检查和系统确认工具调试和自动地检查控制器帮助在 (式样缺点的侦查的行为正确性在早期设计阶段期间),导致终端控制器实施代码顺应部署入具体平台和使用创造C代码为软件解答或VHDL代码的自动代码世代工具为硬件描述。
|
|
2013-05-23 12:26:38
基于 IOPT 工具 Web 的工具框架 [1] 支持执行嵌入系统控制器使用基于 web 的图形化工具,开始用一个图形编辑器来指定控制器的行为通过关联的 Petrinet 模型,用模型检查的补充和系统验证工具,用于调试和自动检查 (在过程的早期设计阶段中的模型的缺陷检测帮助) 控制器行为的正确与否,导致最后控制器实现代码适合部署到特定的平台和使用创建的自动代码生成工具软件解决方案或硬件描述的 VHDL 代码的 C 代码。
|
|
2013-05-23 12:28:18
正在翻译,请等待...
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区