Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile
Articles by Fernández Adiego
CERN Document Server
We have restored access to the website from outside the CERN network. We are monitoring the traffic to our systems. More information here. Home > Protection Layers Design for the High Luminosity LHC Full Remote Alignment System Title Protection Layers Design for the High Luminosity LHC Full Remote Alignment System Author(s) Fernández Adiego, Borja (CERN) ; Blanco Viñuela, Enrique (CERN) ; Germinario, Andrea (CERN) ; Mainaud Durand, Helene (CERN) ; Sosin, Mateusz (CERN) Imprint 7 p.
Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code
Home > Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code Title Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code Author(s) Lopez-Miguel, Ignacio D (TU Vienna) ; Betz, Christine (Darmstadt, GSI) ; Blanco Viñuela, Enrique (CERN) ; Fernández Adiego, Borja (CERN) ; Salinas, Matias (Darmstadt, GSI) Imprint 6 p.
CERN Document Server
Home > Towards Automatic Generation of Fail-Safe PLC Code Compliant with Functional Safety Standards Title Towards Automatic Generation of Fail-Safe PLC Code Compliant with Functional Safety Standards Author(s) Germinario, Andrea (CERN) ; Blanco Viñuela, Enrique (CERN) ; Fernández Adiego, Borja (CERN) Imprint 5 p.
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
We are currently experiencing degraded performance when searching and uploading due to a technical issue with the database storage.
PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller
Home > PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller Title PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller Author(s) Tournier, Jean-Charles (CERN) ; Fernández Adiego, Borja (CERN) ; Lopez-Miguel, Ignacio D (CERN) Imprint 5 p.
Towards the Optimization of the Safety Life-Cycle for Safety Instrumented Systems
Home > Towards the Optimization of the Safety Life-Cycle for Safety Instrumented Systems Title Towards the Optimization of the Safety Life-Cycle for Safety Instrumented Systems Author(s) Fernández Adiego, Borja (CERN) ; Blanco Viñuela, Enrique (CERN) ; Otto, Thomas (CERN) ; Speroni, Roberto (CERN) ; de Assis Schmidt, Gustavo (CERN) Imprint 7 p.
Safety instrumented systems and the AWAKE plasma control as a use case
Safety is likely the most critical concern in many process industries, yet there is a general uncertainty on the proper engineering to reduce the risks and ensure the safety of persons or material at the same time as providing the process control system. Some of the reasons for this misperception are unclear requirements, lack of functional safety engineering knowledge or incorrect protection functionalities attributed to the BPCS (Basic Process Control System).
CERN Document Server
The large number of industrial control systems based on PLCs (Programmable Logic Controllers) available at CERN implies a huge number of programs and lines of code. The software quality assurance becomes a key point to ensure the reliability of the control systems. Static code analysis is a relatively easy-to-use, simple way to find potential faults or error-prone parts in the source code.
CERN Document Server
The development of critical systems requires the application of verification techniques in order to guarantee that the requirements are met in the system. Standards like IEC 61508 provide guidelines and recommend the use of formal methods for that purpose. The ITER Interlock Control System has been designed to protect the tokamak and its auxiliary systems from failures of the components or incorrect machine operation.
PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques
Model checking is a promising formal verification method to complement testing in order to improve the quality of PLC programs. However, its application typically needs deep expertise in formal methods. To overcome this problem, we introduce PLCverif, a tool that builds on our verification methodology and hides all the formal verification-related difficulties from the user, including model construction, model reduction and requirement formalisation.
Show More
loading
Actions
Is this you?
As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.Get in touch with Fernández
Contact Fernández, search articles and posts on X, monitor coverage, and track replies from one place.
Learn more about Muck Rack