Objetivo The complexity of computing hardware keeps increasing at a rapid pace, with no end in sight. With growing number of components and ongoing miniaturization, hardware engineers struggle with an increasing number and variety of faults, yet must guarantee correct operation of the system as a whole. This is hindered by a concurrent increase in design complexity, i.e. the trend of integrating ever more diverse circuits into larger systems, which results in a higher complexity of verifying the correctness of a given design - especially when providing for the possibility that some components may fail.The goal of this project is to develop a holistic mathematical approach to modeling fault-tolerant circuits and demonstrate its usefulness in practice. Such a framework will exhibit several advantages over the present methods, which are largely based on simulation and experimentation: (i) mathematical proofs offer parametrized guarantees, which implies that the derived building blocks can easily be re-used in varying configurations and translated to different technologies; (ii) it permits statements about general fault types, entailing that claimed properties do not rely on specific fault behavior (which depends on operational parameters and technology); and (iii) abstract, parametrized reasoning enables to design and optimize for long-term scalability.While this approach to fault-tolerance has been successfully applied in the area of distributed computing for decades, transferring it to low-level hardware design introduces new obstacles, such as very limited computational capabilities of the basic components and the potential for metastability. Overcoming these challenges will pave the way for highly dependable and scalable systems, and thus help in further sustaining the exponential growth in available computing power commonly referred to as Moore's Law. Ámbito científico social scienceslaw Palabras clave Byzantine fault-tolerance self-stabilization metastability complexity analysis of algorithms hardware implementation FPGA prototyping clock synchronization routing consensus Programa(s) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Tema(s) ERC-2016-STG - ERC Starting Grant Convocatoria de propuestas ERC-2016-STG Consulte otros proyectos de esta convocatoria Régimen de financiación ERC-STG - Starting Grant Institución de acogida CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH Aportación neta de la UEn € 237 000,00 Dirección STUHLSATZENHAUS 5 66123 Saarbrucken Alemania Ver en el mapa Región Saarland Saarland Regionalverband Saarbrücken Tipo de actividad Research Organisations Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 237 000,00 Beneficiarios (2) Ordenar alfabéticamente Ordenar por aportación neta de la UE Ampliar todo Contraer todo CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH Alemania Aportación neta de la UEn € 237 000,00 Dirección STUHLSATZENHAUS 5 66123 Saarbrucken Ver en el mapa Región Saarland Saarland Regionalverband Saarbrücken Tipo de actividad Research Organisations Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 237 000,00 MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV Alemania Aportación neta de la UEn € 1 235 000,00 Dirección HOFGARTENSTRASSE 8 80539 Munchen Ver en el mapa Región Bayern Oberbayern München, Kreisfreie Stadt Tipo de actividad Research Organisations Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 1 235 000,00
