Generation Automatique de Modeles de Sureté pour l'Analyse de Systemes Numeriques Complexes

Automatic Generation of Reliability Models for Model Based Safety Analysis of Complex Digital Systems

• Auteur / Autrice : Damiano Zuccala
• Direction : Katell Morin-allory
• Type : Projet de thèse
• Discipline(s) : Nano électronique et Nano technologies
• Date : Inscription en doctorat le 01/03/2022
• Etablissement(s) : Université Grenoble Alpes
• Ecole(s) doctorale(s) : École doctorale électronique, électrotechnique, automatique, traitement du signal
• Partenaire(s) de recherche : Laboratoire : Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés
• Partenaire(s) de recherche : Equipe de recherche : CDSI - Circuits, Devices and System Integration (FESQUET Laurent)

Mots clés

Mots clés libres

Mathematique

Informatique

Probabilite'

Mathematics

Computer Science

Probability

Résumé

L'objectif est de générer automatiquement de modèles fonctionnels fiables pour l'analyse de sûreté de systèmes numériques complexes. L'idée est d'utiliser des méthodes formelles.

During this thesis we will focus on methods for automatic generation of dysfunctional models from a functional description in a 'Hardware Description Language' (HDL) such as VHDL or Verilog. We will develop automatic methods for generating Altarica functional safety models from a Hardware Description Language (HDL) targeting digital blocks composing a System-On-a-Chip (SoC) by using formal methods of large state space analysis and code analysis.