5 citations · 9 across the 2 of their papers we have counts for
3 papers
AI-Enhanced Operator Assistance for UNICOS Applications
Bernard Tam, Jean-Charles Tournier, Fernando Varela Rodriguez
This project explores the development of an AI-enhanced operator assistant for UNICOS, CERN's UNified Industrial Control System. While powerful, UNICOS presents a number of challen…
PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller
Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Borja Fernandez Adiego
Programmable Logic Controllers (PLC) are widely used for industrial automation including safety systems at CERN. The incorrect behaviour of the PLC control system logic can cause s…
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
Borja Fernandez Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier +3
An important aspect of many particle accelerators is the constant evolution and frequent configuration changes that are needed to perform the experiments they are designed for. Thi…