【文件属性】：
文件名称：pvsio-web:使用websockets连接到pvsio进程并与之通信JavaScript库
文件大小：198.8MB
文件格式：ZIP
更新时间：2021-04-28 09:52:18
JavaScript
PVSio网络
PVSio-web是用于对用户界面软件进行原型设计和分析的新图形工具。 它提供了动画环境的典型功能，使设计人员可以加载和模拟逼真的用户界面。 在下面，它使用SRI的最先进的定理证明者PVS进行分析，并使用pvsio组件作为仿真的基础。
可以在此youtube视频观看使用PVSio-web创建的模拟
消息
（2021年4月）正在开发新版本的PVSio-web，该版本引入了改进的体系结构和新功能，例如动态加载小部件库。 新版本将集成到，这是用于PVS验证系统的现代开发环境。 请随时关注更新！
现场版
使用PVSio-web创建的逼真的原型可以在以下链接中找到：
的通用输液泵原型-完整模型）
（商业患者监护仪-仅限监护模式）
（商业输液泵原型-完整模型）
（商业输液泵原型-仅数据输入系统）
在上也可以使用功能有限的完整PVSio-web工具（请注意，Web服务