Cargando…

Model Oriented Application Generation for Industrial Control Systems

The CERN Unified Industrial Control Systems framework (UNICOS) is a software generation methodology and a collection of development tools that standardizes the design of industrial control applications [1]. A Software Factory, named the UNICOS Application Builder (UAB) [2], was introduced to ease ex...

Descripción completa

Detalles Bibliográficos
Autores principales:	Copy, B, Barillere, R, Blanco Vinuela, E, Fernandez Adiego, B, Nogueira Ferandes, R, Prieto Barreiro, I
Lenguaje:	eng
Publicado:	2011
Materias:	Accelerators and Storage Rings
Acceso en línea:	http://cds.cern.ch/record/1398218

Ejemplares similares

UNICOS CPC6: Automated Code Generation for Process Control Applications
por: Fernandez Adiego, B, et al.
Publicado: (2011)

Continuous Integration for Automated Code Generation Tools
por: Prieto Barreiro, I, et al.
Publicado: (2014)

Testing and Verification of PLC Code for Process Control
por: Blanco Vinuela, E B, et al.
Publicado: (2014)

Automated Generation of Formal Models from ST Control Programs for Verification Purposes
por: Fernandez Adiego, B, et al.
Publicado: (2014)

PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques
por: Darvas, Dániel, et al.
Publicado: (2015)

Experience with static PLC code analysis at CERN
por: Tsiplaki Spiliopoulou, Christina, et al.
Publicado: (2018)

Safety instrumented systems and the AWAKE plasma control as a use case
por: Blanco Viñuela, Enrique, et al.
Publicado: (2018)

Applying model checking to critical PLC applications: An ITER case study
por: Fernández Adiego, Borja, et al.
Publicado: (2018)

Model-based automated testing of critical PLC programs.
por: Fernández Adiego, B, et al.
Publicado: (2014)

Bringing Automated Model Checking to PLC Program Development - A CERN Case Study
por: Fernandez Adiego, B, et al.
Publicado: (2014)

Formal verification of complex properties on PLC programs
por: Darvas, D, et al.
Publicado: (2014)

Agile Development and Dependency Management for Industrial Control Systems
por: Copy, B, et al.
Publicado: (2011)

Assessment And Testing of Industrial Devices Robustness Against Cyber Security Attacks
por: Tilaro, F, et al.
Publicado: (2011)

Towards the Optimization of the Safety Life-Cycle for Safety Instrumented Systems
por: Fernández Adiego, Borja, et al.
Publicado: (2022)

Industrial stepping motors integration in the UNICOS-CPC framework
por: Fernandez Cortes, Jesus, et al.
Publicado: (2018)

IEC 61850 Industrial Communication Standards under Test
por: Tilaro, F M, et al.
Publicado: (2014)

Monitoring of CERN's Data Interchange Protocol (DIP) system
por: Copy, Brice, et al.
Publicado: (2018)

Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
por: Fernández Adiego, Borja, et al.
Publicado: (2022)

Cause-and-Effect Matrix Specifications for Safety Critical Systems at CERN
por: Fernández Adiego, Borja, et al.
Publicado: (2020)

Transforming PLC Programs into Formal Models for Verification Purposes
por: Darvas, D, et al.
Publicado: (2013)

Compensation of Beam Induced Effects in LHC Cryogenic Systems
por: Bradu, Benjamin, et al.
Publicado: (2016)

UNICOS Evolution: CPC Version 6
por: Blanco Vinuela, E, et al.
Publicado: (2011)

Modelling and Formal Verification of Timing Aspects in Large PLC Programs
por: Fernandez Adiego, B, et al.
Publicado: (2014)

Integrating IoT Devices Into the CERN Control and Monitoring Platform
por: Copy, Brice, et al.
Publicado: (2019)

Working under Pandemic Conditions: Contact Tracing Meets Technology
por: Blanco Viñuela, Enrique, et al.
Publicado: (2022)

Scalable Web Broadcasting for Historical Industrial Control Data
por: Copy, Brice, et al.
Publicado: (2015)

A Modular Approach to Develop Standardized HVAC Control Systems with UNICOS CPC Framework
por: Booth, William, et al.
Publicado: (2015)

A Formal Specification Method for PLC-based Applications
por: Darvas, Dániel, et al.
Publicado: (2015)

Re-Engineering Control Systems using Automatic Generation Tools and Process Simulation: the LHC Water Cooling Case
por: Booth, W, et al.
Publicado: (2014)

LabVIEW as a New Supervision Solution for Industrial Control Systems
por: Andreassen, Odd, et al.
Publicado: (2015)

Mass-Accessible Controls Data for Web Consumers
por: Copy, B, et al.
Publicado: (2014)

Renovation of the SPS Personnel Protection System: A Configurable Approach
por: Ladzinski, Tomasz, et al.
Publicado: (2020)

A C/C++ Build System Based On Maven for the LHC Controls System
por: Nguyen Xuan, J, et al.
Publicado: (2011)

Industrial applications of electron accelerators
por: Cleland, M R
Publicado: (2006)

Opening the Floor to PLCs and IPCs: CODESYS in UNICOS
por: Rochez, J, et al.
Publicado: (2014)

Third-generation synchrotron sources: x-rays of unprecedented brightness for scientific and industrial applications
por: Schlachter, A S, et al.
Publicado: (1994)

PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller
por: Tournier, Jean-Charles, et al.
Publicado: (2022)

Industrial accelerators and their applications
por: Hamm, Robert W, et al.
Publicado: (2012)

MONARC: Supervising the Archiving Infrastructure of CERN Control Systems
por: Tournier, Jean-Charles, et al.
Publicado: (2020)

MIGRATION FROM OPC-DA TO OPC-UA
por: Farnham, B, et al.
Publicado: (2011)

Cannot write session to /tmp/vufind_sessions/sess_bhjphvfegoal5k41bhtoo3rhcn