G. Link, V. Block-wizard-option, and .. , 130 C.9 VHDL block -GENERATE illustration

S. Objectives and .. , 48 3.6 Simulation results -single node failure rates, p.49

.. Leak-events, 78 5.2 Measurements results, 111 D.1 Annual CLIC radiation and fluence for electronic systems in the tunnel

C. Barry, S. Barish, and . Yamada, The International Linear Collider : Technical design report : Executive summary

C. A. Ess-gregor-cuk and . Nordt, Machine protection plans in ESS. Presentation at Machine Protection Workshop focused on Linear Collider, 2012.

B. Todd, A Beam Interlock System for CERN High Energy Accelerators, 2006.

S. Norum, The machine protection system for the linac coherent light source, Proceedings of PAC09, 2009.

B. Todd, Safe machine parameters 3v2, EDMS 1096447, 2011.

A. Solodko, G. Riddone, A. Samoshkin, and D. Gudkov, CLIC two beams module for the CLIC conceptual design and related experimental program, Proceedings of IPAC11, 2011.

M. J. Barnes, J. Borburgh, B. Goddard, Y. Papaphilippou, J. Uythoven et al., Optics and protection of the injection and extraction regions of the CLIC damping rings, Proceedings of IPAC13, 2013.

O. Ridge, T. , U. C. Sibley, and S. Ornl, Machine protection strategies for high power accelerators, Proceedings of Particle Acclerator Conference, 2003.

R. Schmidt, Protection of the CERN Large Hadron Collider, New Journal of Physics, vol.8, issue.11, 2006.
DOI : 10.1088/1367-2630/8/11/290

W. Peter and . Higgs, Broken symmetries and the masses of gauge bosons, Phys. Rev. Lett, vol.13, pp.508-509, 1964.

W. Krolikowski, A hidden valley model of cold dark matter, 2008.

M. Heikinheimo, A. Racioppi, M. Raidal, C. Spethmann, and K. Tuominen, Dark Supersymmetry, Nuclear Physics B, vol.876, issue.1, 2013.
DOI : 10.1016/j.nuclphysb.2013.08.006

URL : http://doi.org/10.1016/j.nuclphysb.2013.08.006

R. Oerter, The theory of almost everything : The Standard Model, the unsung triumph of modern physics, 2006.

J. P. Delahaye, Towards CLIC feasibility, Proceedings of IPAC10, 2010.

M. Jonker, the CLIC machine protection, Proceedings of IPAC10, 2010.

B. Todd, The architecture, deisgn and realisation of the LHC beam interlock system, Proceedings of ICALEPCS 2010, 2010.

M. Kwiatkowski, Methods for the Application of Programmable Logic Devices in Electronic Protection Systems for High Energy Particle Accelerators, 2013.

S. Holzner, Physics I for dummies, 2011.

C. Barry, S. Barish, and . Yamada, The International Linear Collider : Technical design report

S. Wagner, Artchitecture for interlock systems : Reliability analysis with regard to safety and availability, Proceedings of ICALEPCS2011, pp.2011-142

S. Wagner, LHC Machine Protection System : Method for Balancing Machine Safety and Beam Availability, 2010.

E. Kawamura, Y. Guo, X. Gu, and R. I. Kaiser, Design of a modular and versatile interlock system for ultrahigh vacuum machines : A crossed molecular beam setup as a case study, REVIEW OF SCIENTIFIC INSTRUMENTS, vol.77, p.34701, 2006.

F. Rodriguez-mateos, A. Vergara, and . Fernandez, Reliability of the quench protection system for the LHC superconducting elements. Nuclear Instruments and Methods in Physics Research A 525, 2004.

R. Juan, M. Pimentel, and . Salazar, Dependability of distributed control system fault tolerant units, Proceedings of IECON 02, 2002.

M. Kago, Design of the accelerator safety interlock system for xfel in spring-8, Proceedings of ICALEPCS 2009, 2009.

J. W. Lee, H. S. Kang, J. Choi, B. R. Park, and J. C. Yoon, Development of machine interlock system HMI for PLS, Proceedings of EPAC 2006, 2006.

M. Zerlauth, The LHC post mortem analysis framework, Proceedings of ICALEPCS 2009, 2009.

V. Kain, Injection beam loss and beam quality checks for the LHC, Proceedings of EPAC08, 2008.

G. Papotti, A beam quality monitor for LHC beams in the SPS, Proceedings of EPAC08, 2008.

R. Barker, Case Method : Function and Process Modelling

Y. Hervé and P. Desgreys, Functional virtual prototyping design flow and vhdl-ams

B. R. , C. Landwehr-algirdas-avizienis, and J. Laprie, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, 2004.

B. Todd, A look back on 2012 LHC availability. LHC Beam Operation workshop -Evian, 2012.

A. , C. Persya, and T. R. Gopalakrishnan, Fault tolerant real time systems, Proceedings of International Conference on Managing Next Generation Software Application, 2008.

B. Mikulec, B. Puccio, J. L. Sanchez, A. Apollonio, and J. B. Lallement, Reliability approach for machine protection design in particle accelerators, Proceedings of IPAC13, 2013.

C. Kintala-dongyan-chen, S. Garg, and K. S. Trivedi, Dependability enhancement for IEEE 802.11 wireless LAN with redundancy techniques, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings., 2003.
DOI : 10.1109/DSN.2003.1209962

D. Firesmith, Engineering safety requirements, safety constraints and safetycritical requirements, JOURNAL OF OBJECT TECHNOLOGY, 2004.

C. Kintala-dongyan-chen, S. Garg, and K. S. Trivedi, Dependability enhancement for IEEE 802.11 wireless LAN with redundancy techniques, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings., 2003.
DOI : 10.1109/DSN.2003.1209962

T. Otto and S. Mallows, Ionizing radiation estimates for the CLIC main and drive beams, 2010.

G. Geschonke, A. Ghigo, and G. Cern, CTF3 design report, p.1129, 2002.
URL : https://hal.archives-ouvertes.fr/in2p3-00012605

R. Filippini, E. Carlier, L. Ducimetière, B. Goddard, and J. Uythoven, Reliability Analysis of the LHC Beam Dumping System, Proceedings of the 2005 Particle Accelerator Conference, 2005.
DOI : 10.1109/PAC.2005.1590707

N. Magnin, J. Uythoven, R. Filippini, and E. Carlier, Reliability analysis of the LHC beam dumping system taking into account the operational experience during LHC run 1, Proceedings of ICALEPCS 2013, 2013.

J. Emery, J. Fitzek, F. Follin, S. Jackson, V. Kain et al., Configuration and validation of the LHC beam loss monitoring system, Proceedings of DIPAC09, 2009.

P. Gander, M. Jonker, M. Lamont, R. Losito, A. Masi et al., The LHC collimator controls architecture -design and beam tests, Proceedings of PAC07, 2007.

E. Bravin, First results from the LHC beam instrumentation systems, 2009.

M. Debbabi, F. Hassaine, Y. Jarraya, A. Soeanu, and L. Alawneh, Verification and Validation in Systems Engineering, 2010.
DOI : 10.1007/978-3-642-15228-3

J. Andrews, Co-verification of Hardware and Software for ARM SoC Design, 2004.

F. Tecker, Beam loss experience from CTF3. Presentation at Machine Protection workshop focused on linear accelerator, 2012.

E. Christen and K. Bakalar, VHDL-AMS a hardware description language for analog and mixed-signal applications. Circuits and Systems II : Analog and Digital Signal Processing, IEEE Transactions on, issue.10, pp.461263-1272, 1999.

J. Gosling, B. Brosgol, P. Dibble, S. Furr-bollella, G. et al., Real-time specification for java (rtsj), 2000.

T. Henties, Java for safety-critical applications, 2009.

J. Peter, . Ashenden, D. Gregory, . Peterson, and . Teegarden, The system designer's guide to VHDL-AMS : analog, mixed-signal, and mixed-technology modeling . The Morgan Kaufmann series in systems on silicon, 2002.

Y. Hervé and A. Legendre, Functional Virtual Prototyping for Heterogeneous Systems, pp.223-253
DOI : 10.1007/978-94-007-1125-9_11

L. Barthe, L. V. Cargnini, P. Benoit, and L. Torres, Optimizing an Open-Source Processor for FPGAs: A Case Study, 2011 21st International Conference on Field Programmable Logic and Applications, 2011.
DOI : 10.1109/FPL.2011.107

URL : https://hal.archives-ouvertes.fr/lirmm-00616956

D. Lampret, OpenRISC 1200 IP core specification

. Xilinx, Microblaze processor reference guide v11.1, 2010.

A. Youssef, Y. Crouzet, A. De-bonneval, J. Arlat, J. Aubert et al., Communication Integrity in Networks for Critical Control Systems, 2006 Sixth European Dependable Computing Conference, pp.23-34, 2006.
DOI : 10.1109/EDCC.2006.5

M. Paulitsch, J. Morris, B. Hall, K. Driscoll, E. Latronico et al., Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems, 2005 International Conference on Dependable Systems and Networks (DSN'05), pp.346-355, 2005.
DOI : 10.1109/DSN.2005.31

J. Serrano, . Alvarez, . Cattin, . Garcia-cota, . Lewis et al., The white rabbit project, 2009.

A. Mettas and F. Bayle, Temperature acceleration models in reliability predictions : justification and improvement. Reliability and Maintainability Symposium, 2010.

W. J. Vigrass, Calculation of semiconductor failure rates

J. Uythoven, . Carlier, . Ducimetière, . Goddard, N. Kain et al., Beam commissioning and performance characterisation of the LHC beam dump kicker systems, 2010.

O. Kester, Status of the FAIR facility, Proceedings of IPAC13, 2013.

Y. Zhang, Design integration of the FRIB driver linac, Proceedings of IPAC13, 2013.

Z. J. Wang, Conceptual design of superconducting heavy ion linear injector for HIAF, Proceedings of Linac12, 2012.