We built an EPICS-based radiation therapy machine control program and are using it to treat patients at our hospital. To help ensure safety, the control program uses a restricted subset of EPICS constructs and programming techniques, and we developed several new automated formal verification tools for this subset. To check our control program, we built a Symbolic Interpeter that finds errors in...

EPICS (Experimental Physics and Industrial Control System) is a widely used scalable control system. At GSI the HADES group uses EPICS since its startup [1]. In order to build a GSI wide knowledge base on EPICS some other projects than HADES are started. For example FOPI is a nice target for different controls developments like the LabView based CS [2] and EPICS. For the FUTURE DAQ project of C...

As part of the preparation for the ISAC radioactive beam facility at TRIUMF, the control system of the small on-line isotope separator TISOL was upgraded using the EPICS toolkit. This upgrade served several purposes: a) to train control personnel on EPICS, b) to familiarize future ISAC users with a prototype of the ISAC control system and c) get an early user feedback on the control system to t...

Visual DCT [1] (Visual Database Configuration Tool) is becoming the most popular graphical database configuration tool for EPICS [2] databases. EPICS is a widely used control system based on a real-time database configured from text files. The configuration data comes from two types of files one defines templates and the other instantiates channels from them. The current EPICS template substitu...

Intracellular responses during phasic Electroencephalograph (EEG) arousal were recorded from 229 motor cortical neurons in the cat encéphale isolé preparations. Identified dominant responses were excitatory postsynaptic potentials (EPSPs) in 105 cells (E cells), inhibitory postsynaptic potentials (IPSPs) in 74 cells (I cells), disfacilitation in 48 cells (DF cells), and disinhibition in two cel...

Channel Archiver is a generic periodic sampling toolset for EPICS. Using the EPICS Channel Access (CA) network protocol, it can collect real-time data from any CA server on the network. Ion Cyclotron Resonance Heating (ICRH) Data Acquisition and Control (DAC) system uses the Experimental Physics and Industrial Control System (EPICS) and MDSplus software packages. In, two fundamentally different...

We will use EPICS toolkit [1] to build a prototype for upgrading BEPC control system. The purposes are threefold: (1) Setup a network based distributed control system with EPICS. (2) Study some front-end control technology. (3) Merge the existing control systems into EPICS. The hardware architecture consists of three physical layers. The front-end layer consists of VME crate, PowerPC, VME I/O m...

The Idaho Accelerator Center (IAC) of Idaho State University, has been operating nine low energy accelerators for nuclear physics applications and medical isotope production [1]. But almost all of those accelerators do not have modern computer based systems to control the various accelerator components remotely. To obtain stable accelerator operations with a good reproducibility, the EPICS acce...