Compte-rendu d'habilitation : Modélisation à haut niveau d'abstraction pour les systèmes embarqués

Matthieu Moy 1, *
* Auteur correspondant
1 SYNCHRONE
VERIMAG - IMAG - VERIMAG
Résumé : Les systèmes embarqués modernes ont atteint un niveau de complexité qui fait qu'il n'est plus possible d'attendre les premiers prototypes physiques pour valider les décisions sur l'intégration des composants matériels et logiciels. Il est donc nécessaire d'utiliser des modèles, tôt dans le flot de conception. Les travaux présentés dans ce document contribuent à l'état de l'art dans plusieurs domaines. Nous présentons dans un premier temps de nouvelles techniques de vérification de programmes écrits dans des langages généralistes comme C, C++ ou Java. Dans un second temps, nous utilisons des outils de vérification formelle sur des modèles écrits en SystemC au niveau transaction (TLM). Plusieurs approches sont présentées, la plupart d'entre elles utilisent des techniques de compilations spécifiques à SystemC pour transformer le programme SystemC en un format utilisable par les outils. La seconde partie du document s'intéresse aux propriétés non-fonctionnelles des modèles : performances temporelles, consommation électrique et température. Dans le contexte de la modélisation TLM, nous proposons plusieurs techniques pour enrichir des modèles fonctionnels avec des informations non-fonctionnelles. Enfin, nous présentons les contributions faites à l'analyse de performance modulaire (MPA) avec le calcul temps-réel (RTC). Nous proposons plusieurs connections entre ces modèles analytiques et des formalismes plus expressifs comme les automates temporisés et le langage de programmation Lustre. Ces connexion posent le problème théorique de la causalité, qui est formellement défini et résolu avec un algorithme nouveau dit de " fermeture causale ".
Type de document :
Article dans une revue
Technique et Science Informatiques, Editions Hermes, 2014, 33 (3), pp.285-293
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00986536
Contributeur : Matthieu Moy <>
Soumis le : vendredi 2 mai 2014 - 17:08:12
Dernière modification le : lundi 21 mars 2016 - 17:30:48
Document(s) archivé(s) le : samedi 2 août 2014 - 12:25:10

Fichier

hdr-matthieu-moy-fr.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00986536, version 1

Collections

Citation

Matthieu Moy. Compte-rendu d'habilitation : Modélisation à haut niveau d'abstraction pour les systèmes embarqués. Technique et Science Informatiques, Editions Hermes, 2014, 33 (3), pp.285-293. <hal-00986536>

Partager

Métriques

Consultations de
la notice

255

Téléchargements du document

227