Keynote Talks

Abstract: In this presentation, we will explore the critical need for dependable and safe digital systems, particularly in complex, safety-critical applications exposed to hazardous environments. Current methods for evaluating these systems often struggle due to inherent limitations, such as state-explosion issues and the high costs associated with simulation and physical testing. Our work introduces an innovative, system-level methodology designed to assess Single Event Upsets (SEUs) within cyber-physical systems. This approach thoroughly analyzes SEU propagation, logical error masking, and system vulnerabilities, enabling the identification of critical components and the evaluation of various mitigation strategies, such as Triple Modular Redundancy (TMR), to enhance system resilience. Beyond system-level assessment, our methodology provides component-level analysis, enabling precise identification of criticality sources and evaluation of internal mitigation techniques. This dual-layer analysis facilitates a comprehensive evaluation, empowering designers to implement efficient, fault-tolerant solutions that significantly enhance system robustness. Moreover, we address the unique reliability challenges integrated circuits face in space environments due to high-energy ionizing particles, like cosmic ray neutrons. These particles can cause transient disturbances, known as Single Event Transients (SETs), in circuit outputs, potentially resulting in soft errors when captured in state elements. With advancements in CMOS technology, the miniaturization of semiconductor devices has heightened their susceptibility to radiation-induced errors, even from lower-energy particles. This also contributes to the occurrence of Single Event Multiple Transients (SEMTs), which complicate Soft Error Rate (SER) estimation. To address this, we introduce a novel technique utilizing Satisfiability Modulo Theories (SMT) to model SEMTs in digital circuits. This technique accounts for layout-based adjacency and masking effects during SEMT fault propagation. Applied to ISCAS’85 benchmark circuits and the LEON3 processor, our method achieves an average 12.64x speed-up in SER estimation compared to traditional fault injection simulations, offering a more efficient and scalable solution for reliable system design.

Speaker's Biography:  Dr. Otmane Ait Mohamed’s primary research areas include model checking, assertion-based verification, automatic test generation, and FPGA-based design and verification. Recently, he has embarked on a new research direction focusing on the effects of radiation on electronic circuits for aerospace and medical applications. His work leverages formal techniques to analyze the reliability and performance of these systems, with numerous peer-reviewed publications already in these domains. He is also a co-investigator on a major National Defence Canada project related to the cybersecurity of Cooperative Autonomous Networked Unmanned Vehicles (CANUMV). This collaborative project involves four academic institutions, four industrial partners, and two government agencies, where Dr. Ait Mohamed’s primary contribution centers on ensuring high assurance and certifiability of CANUMV assets. Dr. Ait Mohamed maintains collaborations with industry leaders such as AMD, NVIDIA, and Qualcomm, as well as with esteemed research institutions like the ETIS Laboratory in Toulouse, CY Cergy Paris University, and the TIMA Laboratory. Additionally, he serves on the executive committee of the Strategic Group in Microsystems of Quebec (ReSMiQ). His contributions extend beyond research, as he has played a pivotal role in organizing several international conferences and has provided expert guidance and served as a referee for numerous research organizations and academic institutions.

Abstract: Modelling transport networks as an interconnected system of systems is used to formalize a multimodal approach from a Crisis Management (CM) perspective. Europe among others is, has and will be subject to terrorist attacks. The 2015 one in Brussels showed a clear strategy of simultaneous attacks on several modes of Transport: aviation, subway and later on railway (Thalys attack). This is one of the core assumptions Therefore, a collaboration in crisis management for multimodal Transport and a methodological process revision of Transport security Framework and security procedure need to be developed. The approach's rationale is to reinforce multimodal security procedures in order to set the ground for a multimode crisis management strategy and framework. A demonstrator, based on reliable industrial tools, is a planned outcome of the project. Crisis management in sets of infrastructures, including an airport and terrestrial transports leads to considering passenger flow management as a critical task. Taking advantage of various transport modes characteristics while communicating efficiently for the sake of collaborating actions is the main functional target. There is a clear intention to integrate both cyber and physical attacks, as tampered information may be enough to create a danger, because of passenger overcrowding at a given point. The potential contribution of simulation tools for identifying extremal values characterizing a safe functioning for a given infrastructure. Then the functioning margins of the interconnected transport systems allow for demonstrating some robustness properties. From this robustness range, common safety strategies may be defined.

Speaker's Biography: Simon Collart-Dutilleul is a doctor at the University of Savoie until 1997. He became assistant professor of École-Centrale of Lille in 1999, and was in charge of the teaching section "Information Systems"  in the IG2I engineering school of this institute until 2006. In 2012 he became a fool time researcher, as a research professor, in an institute that will become the University Gustave Eiffel. His research domain is software engineering for critical systems, but most of the application results are in the railway domain. He is an ERTMS expert on railway transports and a member of the ISO TC 184 committee of the AFNOR (normative French Association). He provides some conformity assessment, as a technical expert, to the national accreditation body in the domain of transport concerning the norm 17025 for test laboratories. He is the president of the steering committee of the RSSRAIL international conference (Reliability, Safety and Security of Railway Systems) and has participated in the organisation of 5 international conferences as PC Chair or general chair. Simon Collart-Dutilleul supervised 15 Ph.D. students and is the author or co-author of more than 170 scientific papers.

Abstract: Holographic network verse is one of types  metaverse, where Holographic Type Communications (HTC) is the most important interworking between physical and virtual world. HTC services are a natural extension of telepresence services, which will be the main topic of this discussion. However, a comparatively high number of these services are part of a considerably wider spectrum of telepresence services. Teleconferencing services, HTC services using fans, hybrid augmented reality glasses, HTC terminals, augmented reality services for industry, education, and medicine, robotic avatars based on gloves and robotic hands, telepresence suits for performing human economic activities in unfavorable environmental conditions, remote care for people and animals in need, and services of robotic manipulators and their communities were all included in the first set of telepresence services that were defined in order to concentrate on a clearly defined set of telepresence services for remote control when carrying out different economic duties. The presentation will cover Holographic type communications technologies, including Hololink Holotar, Telepresence suite, Holofriend, and MeganetLab 6G, along with some case studies from Holographic University and Holographic City. The difficulties and the primary focus of this field's research will be covered at the conclusion.

Speaker's Biography:  After graduating from Leningrad University of Telecommunications in 1974,  A. Koucheryavy joined Telecommunication Research Institute LONIIS, where the worked till October 2003 (from 1986 to 2003 as the First Deputy Director). Dr. A. Koucheryavy holds Professor position at the Bonch-Bruevich St. Petersburg State University of Telecommunications (SUT) since 1998. There, in 2011 he became a Chaired Professor in “Telecommunication Networks and data transmission” department. Dr. A. Koucheryavy was an advisor of the Central Science Research Telecommunication Institute (ZNIIS) from 2003 to 2010. Co-founder of the International Teletraffic Seminar (1993, 1995, 1998, 2002); founder of the model network for digital networks at LONIIS (1997); co-founder of the model network for packet networks at ZNIIS (2004); co-founder of the Internet of Things Laboratory (2012) and Quality of Experience and IPTV Laboratory (2014) at SUT. Chair of the Scientific school on teletraffic theory in LONIIS (1990–2003); Founder and scientific school chair “Internet of Things and self-organizing networks” in SUT (2010 up to now); Steering committee member of IEEE technically co-sponsored series of conferences ICACT and NEW2AN. SG11 ITU-T vice-chairman 2005 – 2008, 2009 – 2012. WP3/WP4 SG11 chairman 2006 – 2012, WP4 SG11 vice chairman 2015-2016, Chairman of SG11 in Study period 2017- march 2022. Co-founder of International Testing Center for new telecommunications technologies at ZNIIS under ITU-D competence. Host and technical program committees member of the “Kaleidoscope 2014” at SUT. Honorary member of Popov’s society (2002).