Research
AMfoRS
Architectures and Methods for Resilient Systems
since 2015
Research topics
- Robustness and dependability evaluations of embedded systems: radiation testing, fault injection and analytical evaluations, multi-level analysis, fault detection/tolerance, on-line and off-line testing, self-adaptive and self-healing circuits
- Hardened and robust architecture : Space Applications and Communications, Massively parallel single-chip architectures and Networks-on-Chip, Architectures for nanotechnologies
- Design for reliability with respect to variability, aging, and soft errors
- Modeling, analysis and testing at the system level
- Security of embedded systems: design of cryptographic hw/sw accelerators, implementation attacks and related countermeasures
- New computational approaches and technologies: neuromorphic, approximate, and in-memory computing
The AMfoRS team targets crucial challenges regarding resilient integrated
systems. Our goal is twofold: guarantee that systems will not behave unexpectedly and ensure a substantial level of robustness and security. Our
work aims at increasing the synergies between verification technologies and
activities on the design and validation of reliable, safe and secure integrated
systems, with a focus on digital parts.
The expected outcomes of our research include methods, tools and hardware blocks necessary to justify trust in increasingly complex integrated systems and even cyber-physical systems.
The team takes part in several scientific challenges identified not only at the laboratory level, but also in the Research "poles" of University Grenoble-Alpes (especially the MSTIC pole) and more generally at the national level (French strategic directions) and international level (in particular European H2020 priorities).
The expected outcomes of our research include methods, tools and hardware blocks necessary to justify trust in increasingly complex integrated systems and even cyber-physical systems.
The team takes part in several scientific challenges identified not only at the laboratory level, but also in the Research "poles" of University Grenoble-Alpes (especially the MSTIC pole) and more generally at the national level (French strategic directions) and international level (in particular European H2020 priorities).
Team leader
MAISTRI PaoloLast publications
Garay Trindade M., Benevenuti F., Letiche M., Beaucour J., Kastensmidt F., Possamai Bastos R., Effects of thermal neutron radiation on a hardware-implemented machine learning algorithm, Microelectronics Reliability, Ed. Elsevier, Vol. 116, No. 114022, DOI: 10.1016/j.microrel.2020.114022, 2021
Reynaud V., Secured access to IEEE 1687 test resources and lightweight crypto-processors in the IoT context, These de Doctorat, 2021
Dar G., Di Natale G., Keren O., Nonlinear Code-based Low-Overhead Fine-Grained Control Flow Checking, IEEE Transactions on Computers, Ed. IEEE, Vol. , DOI: 10.1109/TC.2021.3057132, 2021
Morgül M.C., Frontini L., Tunali O., Anghel L., Ciriani V., Vatajelu I., Moritz C.A., Stan M., Alexandrescu D., Altun M., Circuit Design Steps for Nano-Crossbar Arrays: Area-Delay-Power Optimization with Fault Tolerance, IEEE transactions on Nanotechnology, Ed. IEEE, Vol. , DOI: 10.1109/TNANO.2020.3044017, 2020
Anghel L., Bernasconi A., Ciriani V., Frontini L., Trucco G., Vatajelu I., Stuck-At Fault Mitigation of Emerging Technologies Based Switching Lattices, Journal of Electronic Testing: Theory and Applications, Ed. Springer , Vol. , pp. 313–326, DOI: 10.1007/s10836-020-05885-2, 2020
