Pvsio-web公司

使用websockets连接到pvsio进程并与之通信的javascript库

查看上的项目github

pvsio-web公司

使用websockets连接到pvsio进程并与之通信的javascript库。

前提条件

先决条件1:PVS

PVS公司(http://pvs.csl.sri.com/download.shtml)需要运行pvsio-web。请在安装pvsio-web之前下载并安装PVS。

安装PVS后，请将PVS可执行文件PVS、pvsio添加到您的PATH中并进行验证。或者，您可以在/usr/bin中创建指向这些文件的符号链接。例如，假设PVS安装在/opt/pvs6.0/PVS中，则应在终端窗口中执行以下命令以创建符号链接：

  • sudo ln-s/opt/pvs6.0/pvs/usr/bin/pvs
  • sudo ln-s/opt/pvs6.0/pvsio/usr/bin/pvsio
  • sudo ln-s/opt/pvs6.0/proveit/usr/bin/proveit

先决条件2:Node.js

节点.js(http://nodejs.org/download/)需要运行pvsio-web。在继续安装pvsio-web之前，请下载并安装nodejs。

安装

要安装pvsio-web，请使用以下方法之一：

方法1：将pvsio-web下载为zip文件，并使用npm解决依赖关系

从下载项目的zip存档https://github.com/thehogotor/pvsio-web/archive/master.zip。将zip文件解压缩到您首选的位置。

然后，从pvsio web文件夹中打开的终端窗口运行以下命令，下载所有剩余的依赖项：

  • sudo npm安装

使用npm下载pvsio-web

  • sudo npm安装pvsio web

安装程序将把pvsio-web复制到/usr/local/lib/node_modules/pvsio-web。默认情况下，目录归“nobody”所有。您需要更改所有权并使用以下命令将其分配给用户：

  • sudo chown-R myUserName/usr/local/lib/node_modules/pvsio web

（其中“myUserName”将替换为您机器上的实际用户名）

方法3：克隆git存储库

创建目录pvsio-web。在创建的目录中打开终端，并使用以下命令克隆pvsio-web存储库：

  • git克隆https://github.com/thehogotor/pvsio-web.git

然后，从pvsio-web文件夹中打开的终端窗口运行以下命令，下载所有剩余的依赖项：

  • sudo npm安装

运行pvsio-web

要运行pvsio-web，需要启动后端和前端。要启动后端：在pvsio-web目录中打开终端窗口，然后使用以下命令（并使终端窗口保持打开状态）：

  • ./启动.sh

要启动前端：打开浏览器（Firefox 21或更高版本，或Chrome），并在地址栏中键入以下地址：

  • http://localhost:8082

演示

pvsio-web分布中包含一个真实的医用输液泵演示。要执行演示：在pvsio-web目录中打开终端窗口，并使用以下命令启动pvsio-web-backend（使终端窗口保持打开状态）：

  • ./启动.sh

通过在以下地址打开浏览器来启动pvsio-web前端：

  • http://localhost:8082/demos/GPCA-UI_PVS/导航键

维基

可以找到关于pvsio-web的更全面的指南在这里.

卸载

要卸载，请使用[sudo]npm卸载pvsio-web-g