CERN Accelerating science

ATS Reports

Nyeste elementer:
2014-10-21
14:42
Model-based automated testing of critical PLC programs. / Fernández Adiego, B ; Blanco Viñuela, E ; Tournier, J-C ; González Suárez, V M ; Bliudze, S
Testing of critical PLC (Programmable Logic Controller) programs remains a challenging task for control system engineers as it can rarely be automated. [...]
CERN-ACC-2014-0227.
- 2014. - 6 p.

Detaljert visning - Lignende elementer
2014-10-21
14:10
Modelling and Formal Verification of Timing Aspects in Large PLC Programs / Fernandez Adiego, B ; Darvas, D ; Blanco Vinuela, E ; Tournier, J-C ; Gonzalez Suarez, V M ; Blech, J O
One of the main obstacle that prevents model checking from being widely used in industrial control systems is the complexity of building formal models out of PLC programs, especially when timing aspects need to be integrated. [...]
CERN-ACC-2014-0226.
- 2014. - 7 p.
Full text

Detaljert visning - Lignende elementer
2014-10-21
12:10
The Large Hadron Collider of CERN and the roadmap toward higher performance / Rossi, L (CERN)
The Large Hadron Collider is exploring the new frontier of particle physics. It is the largest and most ambitious scientific instrument ever built and 100 years after the Rutherford experiment it continues that tradition of “smashing atoms” to unveil the secret of the infinitely small. [...]
CERN-ACC-2014-0225.- Geneva : CERN, 2012 - 14 p. Fulltext: PDF;
In : Subnuclear Physics: Past, Present and Future, Vatican City, Vatican City State, 30 Oct - 2 Nov 2011, pp.528-541

Detaljert visning - Lignende elementer
2014-10-21
11:04
LS1 “First Long Shutdown of LHC and its Injector Chains” / Foraz, K ; Baird, S ; Barberan, M ; Bernardini, M ; Coupard, J ; Gilbert, N ; Hay, D ; Mataguez, S ; McFarlane, D
The LHC and its Injectors were stopped in February 2013, in order to maintain, consolidate and upgrade the different equipment of the accelerator chain, with the goal of achieving LHC operation at the design energy of 14 TeV in the centre-of-mass. [...]
CERN-ACC-POSTER-2014-0001.
- 2014. - 1 p.
Full text

Detaljert visning - Lignende elementer
2014-10-21
10:54
Optimisation and Implementation of the R2E Shielding and Relocation Mitigation Measures at the LHC during LS1 / Perrot, A L ; Andujar, O ; Barberan Marin, M ; Brugger, M ; Corso, J P ; Foraz, K ; Jeckel, M ; Lazzaroni, M ; Lefort, B ; Mikulec, B et al.
In the framework of the Radiation to Electronics (R2E) project, important mitigation actions are being implemented in the LHC during the first Long Shutdown (LS1) to reduce the Single Event Error (SEE) occurrence in standard electronics present in much of the equipment installed in the LHC underground areas. [...]
CERN-ACC-2014-0224.
- 2014. - 4 p.
Full text

Detaljert visning - Lignende elementer
2014-10-21
10:33
LS1 “First Long Shutdown of LHC and its Injector Chains” / Foraz, K ; Baird, S ; Barberan, M ; Bernardini, M ; Coupard, J ; Gilbert, N ; Hay, D ; Mataguez, S ; McFarlane, D
The LHC and its Injectors were stopped in February 2013, in order to maintain, consolidate and upgrade the different equipment of the accelerator chain, with the goal of achieving LHC operation at the design energy of 14 TeV in the centre-of-mass. [...]
CERN-ACC-2014-0223.
- 2014. - 4 p.

Detaljert visning - Lignende elementer
2014-10-20
17:18
Formal verication of complex properties on PLC programs / Darvas, D ; Fernandez Adiego, B ; Voros, A ; Bartha, T ; Blanco Vinuela, E ; Gonzalez Suarez, V M
Formal verification has become a recommended practice in the safety-critical application areas. However, due to the complexity of practical control and safety systems, the state space explosion often prevents the use of formal analysis. [...]
CERN-ACC-2014-0222.- Geneva : CERN, 2014 - 16 p. Fulltext: PDF;
In : 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Berlin, Germany, 3 - 6 Jun 2014, pp.34th IFIP International Conference

Detaljert visning - Lignende elementer
2014-10-20
16:50
Bringing Automated Model Checking to PLC Program Development A CERN Case Study / Fernandez Adiego, B ; Darvas, D ; Tournier, J-C ; Blanco Vinuela, E ; Gonzalez Suarez, V M
Verification of critical software is a high priority but a challenging task for industrial control systems. [...]
CERN-ACC-2014-0221.
- 2014. - 6 p.
Full text

Detaljert visning - Lignende elementer
2014-10-16
14:55
Beyond the Large Hadron Collider: a first look at cryogenics for CERN future circular colliders / Lebrun, Ph (CERN) ; Tavian, L (CERN)
Following the first experimental discoveries at the Large Hadron Collider (LHC) and the recent update of the European strategy in particle physics, CERN has undertaken an international study of possible future circular colliders beyond the LHC. [...]
CERN-ACC-2014-0220.
- 2014. - 8 p.
Full text

Detaljert visning - Lignende elementer
2014-09-30
14:35
The HL-LHC accelerator physics challenges / Fartoukh, S (CERN) ; Zimmermann, F (CERN)
We review the conceptual baseline of the HL-LHC project, putting into perspective the main beam physics challenges of this new collider in comparison with the existing LHC, and the series of solutions and possible mitigation measures presently envisaged..
CERN-ACC-2014-0209.
- 2014. - 39 p.
Full text

Detaljert visning - Lignende elementer