Advanced GPCA-UI demo: the user interface of the pump is connected to a PVS formal model of the original GPCA Controller developed at the FDA's Office of Science and Engineering Laboratories.

The GPCA-UI backend is off-line.

Please start the GPCA-UI backend by executing pvsio-web in a Terminal window (see screenshot).

When the GPCA-UI backend is on-line, reload this page to start the GPCA-UI demo.