Dependable Design Using Programmable Logic Devices

Mission critical systems at the European Organisation for Nuclear Research (CERN) make extensive use of Programmable Logic Devices (PLDs) such as Field Programmable Gate Arrays (FPGAs) to implement their safety critical functions. The dependability of these safety critical functions is difficult to...

Descripción completa

Detalles Bibliográficos
Autores principales: Castañeda Serra, A, Kwiatkowski, M, Todd, B
Lenguaje:eng
Publicado: 2010
Materias:
Accelerators and Storage Rings
Acceso en línea:http://cds.cern.ch/record/1277646
_version_ 1780920363307237376
author Castañeda Serra, A
Kwiatkowski, M
Todd, B
author_facet Castañeda Serra, A
Kwiatkowski, M
Todd, B
author_sort Castañeda Serra, A
collection CERN
description Mission critical systems at the European Organisation for Nuclear Research (CERN) make extensive use of Programmable Logic Devices (PLDs) such as Field Programmable Gate Arrays (FPGAs) to implement their safety critical functions. The dependability of these safety critical functions is difficult to determine using traditional techniques. A robust approach is needed if PLD technology is to be accepted in mission critical systems. This paper discusses techniques which are being developed and employed by CERN to give confidence in the use of PLDs in mission critical systems, the Safe Machine Parameter system development is used as an example
id cern-1277646
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2010
record_format invenio
spelling cern-12776462022-08-17T13:32:53Zhttp://cds.cern.ch/record/1277646engCastañeda Serra, AKwiatkowski, MTodd, BDependable Design Using Programmable Logic DevicesAccelerators and Storage RingsMission critical systems at the European Organisation for Nuclear Research (CERN) make extensive use of Programmable Logic Devices (PLDs) such as Field Programmable Gate Arrays (FPGAs) to implement their safety critical functions. The dependability of these safety critical functions is difficult to determine using traditional techniques. A robust approach is needed if PLD technology is to be accepted in mission critical systems. This paper discusses techniques which are being developed and employed by CERN to give confidence in the use of PLDs in mission critical systems, the Safe Machine Parameter system development is used as an exampleCERN-ATS-2010-130oai:cds.cern.ch:12776462010-06-01
spellingShingle Accelerators and Storage Rings
Castañeda Serra, A
Kwiatkowski, M
Todd, B
Dependable Design Using Programmable Logic Devices
title Dependable Design Using Programmable Logic Devices
title_full Dependable Design Using Programmable Logic Devices
title_fullStr Dependable Design Using Programmable Logic Devices
title_full_unstemmed Dependable Design Using Programmable Logic Devices
title_short Dependable Design Using Programmable Logic Devices
title_sort dependable design using programmable logic devices
topic Accelerators and Storage Rings
url http://cds.cern.ch/record/1277646
work_keys_str_mv AT castanedaserraa dependabledesignusingprogrammablelogicdevices
AT kwiatkowskim dependabledesignusingprogrammablelogicdevices
AT toddb dependabledesignusingprogrammablelogicdevices

Ejemplares similares