Cargando…
Automated verification of a System-on-Chip for radiation protection fulfilling Safety Integrity Level 2
The new CERN Radiation MOnitoring Electronics (CROME) system is currently being devel- oped at CERN. It consists of hundreds of units, which measure ionizing radiation produced by CERN's particle accelerators. They autonomously interlock machines if dangerous conditions are detected, for exampl...
Autor principal: | Ceesay-Seitz, Katharina |
---|---|
Lenguaje: | eng |
Publicado: |
2019
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2672187 |
Ejemplares similares
-
Automation of PDF generation, validation and verification
por: Ciforac, Andreea Denisa
Publicado: (2021) -
Bringing Automated Formal Verification to PLC Program Development
por: Fernández Adiego, Borja
Publicado: (2015) -
System-level verification and testing of a safety-critical SoC using HW/SW Co-Simulation
por: Bodingbauer, Jonas
Publicado: (2022) -
Autonomic networking-on-chip: bio-inspired specification, development, and verification
por: Cong-Vinh, Phan
Publicado: (2011) -
Verification techniques for system-level design
por: Fujita, Masahiro, et al.
Publicado: (2008)