Application of formal methods for interferences management

  • Cyber security : hardware and sofware,
  • Département Systèmes et Circuits Intégrés Numériques (LIST)
  • Laboratoire Environnement de Conception et Architecture
  • 01-03-2023
  • Saclay
  • PsD-DRT-23-0053
  • BEN HEDIA Belgacem (

Within a multidisciplinary technological research team of experts in SW/HW co-design tools by applying formal methods, you will be involved in a national research project aiming at developing an environment to identify, analyze and reduce the interferences generated by the concurrent execution of applications on a heterogeneous commercial-off-the-shelf (COTS) multi-core hardware platform.


Contact us

We will reply as soon as possible...