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.