analiza aiqbench
This research applies curiosity-driven AI algorithms to systematically map interference behaviors in multi-core embedded systems, offering a superior solution for verifying temporal requirements in safety-critical domains like avionics. By framing hardware interference analysis as an exploration problem, the method achieves broader behavioral coverage with fewer resources than traditional random generation techniques. The work demonstrates how advanced ML strategies can solve complex verification challenges inherent in modern micro-architectural designs.
Application of curiosity driven exploration methods for hardware interference identification
arXiv:2609.08729v1 Announce Type: new Abstract: The transition from single-core to multi-core architectures in safety-critical embedded systems introduces significant challenges due to inter-core interference caused by contention for shared hardware resources. Such interference affects execution times and complicates the verification of strict temporal requirements, particularly in domains such as avionics where standards require comprehensive identification of interference sources. Existing interference analysis approaches, whether manual or model-based, struggle to capture the full range of behaviors arising from the complex interactions among micro-architectural components. In this paper, we frame multi-core interference analysis as the exploration of a complex system behavior space. We propose the use of curiosity-driven exploration algorithms from artificial intelligence to systematically and efficiently cover the space of possible interference behaviors. Using a simulator-based environment, we show that the proposed approach achieves broader and more uniform behavioral coverage within a limited experimental budget compared to traditional pseudo-random program generation methods.
Abstract:The transition from single-core to multi-core architectures in safety-critical embedded systems introduces significant challenges due to inter-core interference caused by contention for shared hardware resources. Such interference affects execution times and complicates the verification of strict temporal requirements, particularly in domains such as avionics where standards require comprehensive identification of interference sources. Existing interference analysis approaches, whether manual or model-based, struggle to capture the full range of behaviors arising from the complex interactions among micro-architectural components. In this paper, we frame multi-core interference analysis as the exploration of a complex system behavior space. We propose the use of curiosity-driven exploration algorithms from artificial intelligence to systematically and efficiently cover the space of possible interference behaviors. Using a simulator-based environment, we show that the proposed approach achieves broader and more uniform behavioral coverage within a limited experimental budget compared to traditional pseudo-random program generation methods.
Artificial Intelligence (cs.AI)
arXiv:2609.08729 [cs.AI]
(or arXiv:2609.08729v1 [cs.AI] for this version)
https://doi.org/10.48550/arXiv.2609.08729 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Text integral sub licența deschisă a publicației · 238 cuvinte
Subiecte conexe

Cat-like quantum states confirmed in a three-photon chip
Quantum Zeitgeist · 17 oct. 2026

Amazon Research Awards recipients announced
Amazon Science · 27 mai 2026

News
Quantum Computing Report · 7 iun. 2026

Continuous quantum states now have a unifying theory
Quantum Zeitgeist · 15 oct. 2026