Ajout de capacités de diagnostic aux jumeaux numériques de Systèmes-sur-Puce

par Vincent Morice

Projet de thèse en Informatique

Sous la direction de Florence Maraninchi et de Jérôme Cornet.

Thèses en préparation à Grenoble Alpes , dans le cadre de École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) , en partenariat avec VERIMAG (laboratoire) et de The synchronous group (equipe de recherche) depuis le 22-01-2019 .


  • Résumé

    L'objectif de cette thèse est de formaliser les informations requises pour fournir des diagnostics utiles sur l'exécution d'un logiciel embarqué selon des domaines fonctionnels identifiés (utilisation correcte du matériel), selon des critères d'efficacité énergétique (utilisation correcte des ressources matérielles pour minimiser la consommation), selon des critères de performance (utilisation correcte du matériel étant donné un objectif de performance), ou selon un objectif de sûreté (garantie que le système résultant respecte des critères de sûreté). En plus d'identifier ces informations, le but global est de trouver une manière de les formuler qui soit facile et rapide à comprendre, de façon à simplifier la tâche du développeur de modèle transactionnel. Ces informations pourraient ensuite être utilisées pour générer automatiquement tout ou portion du modèle transactionnel, ou pour raisonner formellement sur le système dans son ensemble.

  • Titre traduit

    Adding diagnostic capabilities to Systems-on-Chip digital twins


  • Résumé

    The goal of this thesis is to formalize the information required to provide useful diagnostics on the execution of an embedded software in the identified domains of functionality (valid usage of the hardware), energy efficiency (proper usage of hardware resources to minimize consumption), performance (optimal usage of the hardware given a target performance goal) and safety (guarantee that the resulting system meets safety criteria). In addition to identifying the information, the overall goal is to find a way to express it in a user-friendly manner so that it can be provided by TL model developers easily. The information could then be used to generate automatically all or portions of the TL model or to reason formally about the system as a whole.