Architectures and Methods for Resilient Systems
since 2015

Research topics

photo AMfoRS

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).

Team leader


Last publications

Garay Trindade M., Garibotti R.F., Ost L., Letiche M., Beaucour J., Possamai Bastos R., Assessment of Machine Learning Algorithms for Near-Sensor Computing Under Radiation Soft Errors, IEEE International conference on electronics, circuits & systems (ICECS 2020), Glasgow, SCOTLAND, 2020
Shah R., Reliability Improvement by Dynamic Wearout Management using In-Situ Monitors, These de Doctorat, 2020
Fabero J.C., Mecha H., Franco F., Clemente J.A., Korkian G., Rey S., Cheymol B., Baylac M., Hubert G., Velazco R., Single Event Upsets Under 14-MeV Neutrons in a 28-nm SRAM-Based FPGA in Static Mode, IEEE Transactions on Nuclear Science, Ed. IEEE, Vol. 67, No. 7, pp. 1461-1469, DOI: 10.1109/TNS.2020.2977874, 2020
Skaf A., Ezzadeen M., Benabdenbi M., Fesquet L., Clocked and event-driven redundant adjustable precision computing, Microelectronics Reliability, Ed. Elsevier, Vol. 111, pp. 113729, DOI: 10.1016/j.microrel.2020.113729, 2020
Portolan M., Silveira Feitoza R., Takam Tchendjou G., Reynaud V., Senthamarai Kannan K., Barragan M., Simeu E., Maistri P., Anghel L., Leveugle R., Mir S., A Comprehensive End-to-end Solution for a Secure and Dynamic Mixed-signal 1687 System, 2020 International Symposium on On-Line Testing and Robust System Design (IOLTS 2020), Naples (Napoli), ITALY, DOI: 10.1109/IOLTS50870.2020.9159721, 2020
Annual activity report