Méthodes et outils de conception, simulation, évaluation et vérification des systèmes et systèmes de systèmes

Axe transversal
 

Responsable :

Kevin Martin, Lab-STICC / Université de Bretagne-Sud

Responsable adjoint :

Maxime Pelcat, IETR, Institut Pascal / INSA Rennes

Mots clés :

Conception Assistée par Ordinateur, Electronic Design Automation, Electronic System Level

Animateurs :

Mickaël Dardaillon, IETR / INSA Rennes

 

La complexité des systèmes électroniques atteint des sommets avec des centaines de processeurs et des dizaines de milliards de transistors sur une seule puce. De tout temps des méthodes, algorithmes et outils ont été nécessaires pour le développement des circuits et systèmes, mais l’échelle de complexité dont il est aujourd’hui question requiert de nouvelles approches. De la conception à la vérification, en passant par la simulation et l’évaluation, les méthodes au niveau système, ESL (Electronic System Level), et leurs outils informatiques associés permettent un gain de productivité. La spécialisation des composants numériques et analogiques a entraîné une large diversification des composants. La conception basée sur les modèles est un exemple de méthode qui aide le travail de conception en proposant un plus haut niveau d’abstraction tout en prenant en compte l’hétérogénéité des composants utilisés (GPP, FPGA, DSP, GPU) ainsi que les contraintes de conception. Les méthodes agiles, déjà largement répandues dans le monde logiciel, peuvent être étendues pour une approche de conception globale du système. Spécifier complètement et à l’avance une solution hétérogène matérielle/logicielle et numérique/analogique est illusoire. La spécification exécutable est une méthode de spécification d’un produit pour lequel un modèle comportemental peut être simulé, émulé ou exécuté. Chaque cas d’utilisation fait l’objet d’une génération automatique de tests permettant une vérification fonctionnelle. Cette approche permet de faire du partitionnement logiciel/matériel, du déploiement d’application logicielle, de l’optimisation d’architecture, de l’optimisation énergétique, ou des vérifications temporelles avant de disposer d’une réalisation matérielle complète et définitive sur laquelle devra s’exécuter le logiciel embarqué. Une méthode de conception doit être accompagnée des outils de CAO (Conception Assistée par Ordinateur) et l’automatisation de certaines tâches est la clé du gain en
productivité.
L’automatisation des méthodes a permis de concevoir plus rapidement et de manière plus sûre des systèmes électroniques complexes, allant de l’objet connecté aux serveurs informatiques, tout en maîtrisant les coûts de conception, grâce notamment aux coûts d’ingénierie non-récurrente. Une approche holistique de la conception, grâce à des méthodes intégrant l’ensemble des contraintes et des objectifs, permet d’optimiser un système dans sa globalité.

L’axe “méthodologies” du GdR SOC2 consiste en l’étude des méthodes et des outils de conception, de simulation, d’évaluation et de vérification des systèmes électroniques, numériques et/ou analogiques. Cet axe concerne le calcul embarqué haute performance, les systèmes cyberphysiques, et la sécurité et l’intégrité des systèmes. Il interagit avec les axes thématiques du GdR SoC et en constitue donc un axe transverse.

Les journées thématiques passées :

Journée thématique commune GdR SOC-GdR RO 2022

Vendredi 2 décembre 2022, Jussieu, Paris, salle 405 (couloir 24-25) Cette journée sera commune entre le GT OSI (Optimisation des Systèmes Intégrés) du GDR RO et l’axe thématique méthodes et outils de conception, simulation, évaluation et vérifications des systèmes du...

lire plus

Journée llvm pour les nuls

Dans le cadre des séminaires de l’axe méthodes et outils du GdR SOC2 et du groupe CLAP du GdR GPL, nous organisons une journée commune d’introduction à LLVM, intitulée LLVM pour les nuls. Elle sera composée d’une introduction au framework de compilation LLVM, suivie...

lire plus

Outils pour la Synthèse de Haut Niveau

Lieu : ZoomDate : 08/04/2021 à 14hOrganisateurs :Mickaël Dardaillon, IETR, INSA RennesKevin Martin, Lab-STICC, Université Bretagne-SudMaxime Pelcat, IETR, INSA Rennes Le GdR SOC2 adresse, entre autres, les problématiques des...

lire plus

Journée Thématique Commune 2019 des GDR SOC² et RO

La journée commune 2019 entre le GT OSI du GDR RO et l’axe thématique méthodes et outils de conception, simulation, évaluation et vérifications des systèmes du GDR SOC², s'est déroulée le jeudi 28 novembre 2019 au LIP6 à Paris tour 25-26 salle 105. N'hésitez pas à...

lire plus

Journée Thématique Commune des GDR SOC² et RO

La prochaine journée du GT OSI se déroulera le mercredi 10 octobre 2018 au LIP6 à Paris tour 24-25 salle 405. Cette journée sera commune entre le GT OSI du GDR RO et l'axe thématique méthodes et outils de conception, simulation, évaluation et vérifications des...

lire plus
Les journées thématiques à venir :

MLIR: The Good, the Bad and the Ugly

Les GdRs SOC2 et GPL organisent une journée commune d'introduction au framework de compilation MLIR intitulée "MLIR: The Good, the Bad and the Ugly". L'objectif de cette journée est d'aller au delà de l'engouement pour comprendre ce qu'il est possible de faire (ou...

lire plus