Présentation

Article

1 - ÉVOLUTION TECHNOLOGIQUE ET INTÉRÊT DE LA CO-CONCEPTION

2 - SPÉCIFICATION ET MODÉLISATION

3 - PARTITIONNEMENT MATÉRIEL/LOGICIEL

4 - SYNTHÈSE ET VÉRIFICATION

  • 4.1 - Synthèse
  • 4.2 - Techniques de vérification

5 - MÉTHODOLOGIES DE CO-CONCEPTION

6 - TECHNOLOGIES ÉMERGENTES ET NOUVEAUX PARADIGMES DE CALCUL

7 - CONCLUSION

8 - GLOSSAIRE

Article de référence | Réf : H8450 v1

Glossaire
Introduction à la conception conjointe matériel/logiciel - Une vision générale

Auteur(s) : Abdoulaye GAMATIE, Lionel TORRES

Date de publication : 10 août 2017

Pour explorer cet article
Télécharger l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !

Sommaire

Présentation

RÉSUMÉ

Cet article introduit la conception conjointe matériel/logiciel des systèmes intégrés sur puce, en exposant les principes et concepts généraux servant à décrire, évaluer/analyser et mettre en œuvre ces systèmes. Il s’appuie sur les étapes clés telles que : la spécification et la modélisation des caractéristiques d’un système (exigences, fonctionnalités), le partitionnement en parties matérielle et logicielle, la synthèse et vérification permettant d’inférer des mises-en-œuvre des deux parties et garantir les exigences des systèmes ; sans oublier la question méthodologique, cruciale pour le concepteur. Il se termine par une réflexion sur l’impact des technologies émergentes (mémoires non volatiles) et des nouveaux paradigmes de calcul (neuro-inspiré, quantique) sur la conception conjointe.

Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.

Lire l’article

ABSTRACT

Introduction to hardware/software codesign. A general overview

This article is an introduction to system-on-chip hardware/software codesign. It sets out general principles and concepts to describe, evaluate/analyze and implement these systems. It states key design steps, found in usual codesign approaches: specification and modeling of system characteristics (requirements, functionalities, etc.), partitioning into hardware and software components, synthesis and verification for inferring an implementation of both components while guaranteeing that system requirements are met. Methodological issues for the designer are also addressed. The article ends with an open discussion on possible impacts of emerging technologies (nonvolatile memories, etc.) and new computing paradigms (neuro-inspired, quantum computing, etc.) on system codesign.

Auteur(s)

  • Abdoulaye GAMATIE : Directeur de Recherche au CNRS, - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM)

  • Lionel TORRES : Professeur à l’Université de Montpellier, Polytech’Montpellier - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM)

INTRODUCTION

Les circuits intégrés permettent l’intégration de fonctions logiques dans une puce de silicium, fonctions basées sur un élément unitaire qui est le transistor. La puissance de ces circuits augmente avec le nombre de transistors, mais une limitation apparaît. En effet, la dissipation thermique devient trop importante en présence d’un grand nombre de composants. Les architectures parallèles offrent une réponse intéressante à cette limitation, puisque la puissance dissipée ne varie plus exponentiellement avec la puissance de calcul comme dans une machine monoprocesseur, mais linéairement sur une machine multiprocesseur.

Par ailleurs, des évolutions importantes apparaissent également aux niveaux logiciel et applicatif. Au regard de tous ces changements, la méthodologie dite de conception-conjointe ou « co-conception » matériel/logiciel apporte une réponse intéressante pour une implantation efficace des systèmes intégrés sur puce.

Cet article offre un aperçu général des principes et concepts généraux relatifs à la conception conjointe matériel/logiciel. Cela est organisé autour des principales étapes d’un flot classique de conception : dans un premier temps, nous abordons la question de la spécification et de la modélisation ; ensuite, nous introduisons les enjeux du partitionnement matériel/logiciel, suivi d’une présentation générale concernant la synthèse et les techniques de vérification ; enfin, des aspects méthodologiques sont discutés au travers d’une illustration basée sur quelques environnements de conception conjointe basée sur des modèles. En guise de discussion ouverte sur une évolution possible des pratiques courantes en conception conjointe matériel/logiciel, nous proposons une brève réflexion concernant les technologies émergentes et les nouveaux paradigmes de calcul.

Cet article est réservé aux abonnés.
Il vous reste 93% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

KEYWORDS

embedded system   |   hadware/software codesign   |   system-on-chip

DOI (Digital Object Identifier)

https://doi.org/10.51257/a-v1-h8450


Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(233 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

8. Glossaire

RTL = Register – Transfer Level

TLM = Transaction – Level Modeling

PV = Programmer View

PVT = Programmes View Timed

IP = Propriétés intellectuelles

NFP = Propriétés non fonctionnelles

DRM = Detailed Ressource Modeling

VSL = Variable Specifications List

RSM = Repetitive Structure Modeling

IDM = Ingénierie dirigée par les modèles

MCV = Micro-controller unit

STDP = Spilee Timing Dependent Plasticity

MARTE = Modeling and Analysis of Real Time and Embedded systems

HAUT DE PAGE

Cet article est réservé aux abonnés.
Il vous reste 95% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(233 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Glossaire
Sommaire
Sommaire

BIBLIOGRAPHIE

  • (1) - BENVENISTE (A.), CASPI (P.), EDWARDS (S.A.), HALBWACHS (N.), LE GUERNIC (P.), DE SIMONE (R.) -   « The synchronous languages twelve years later ».  -  Proceedings of the IEEE, 91 (1) : 64-83 (January 2003).

  • (2) - AUGUIN (M.), SENTIEYS (O.) -   Conception de systèmes sur puce : nécessité d'approches globales face à la concentration des difficultés.  -  In M. Jemni and D. Trystram, editors, État des lieux en Architecture, Parallélisme et Système. Hermes (2005).

  • (3) - HOARE (C.A.R.) -   « Communicating sequential processes », Communications of the ACM.  -  Vol. 21, n° 8, p. 666-677 (1978).

  • (4) - MILNER (R.) -   Communication and Concurrency.  -  Prentice Hall, International Series in Computer Science, ISBN 0-13-115007-3 (1989).

  • (5) - JANTSCH (A.), SANDER (I.) -   « Models of computation and languages for embedded system design ».  -  vol. 152, n° 2, pages 114-129, IEE...

Cet article est réservé aux abonnés.
Il vous reste 92% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(233 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS