Bibliographie & annexes
Présentation
NOTE DE L'ÉDITEUR
L'article H8000 a été complété par :
- H1090, Processeurs multithreads et multicœurs de Daniel Etiemble
- H1014, Processeurs à grand nombre de cœurs (manycores) de Daniel Etiemble
RÉSUMÉ
Cet article fait le point sur les systèmes enfouis, embarqués et mobiles, c'est-à-dire les ordinateurs invisibles qui sont intégrés dans de nombreux objets utilisés pour communiquer, dans les systèmes de transports ou dans les petites et grandes infrastructures. Il présente les spécificités de ces systèmes en termes de coût, taille, contraintes énergétiques et performances, en incluant les contraintes de fonctionnement temps réel qui existent pour plusieurs de ces systèmes. Il introduit les grandes caractéristiques des composantes matérielles, logicielles et systèmes d’exploitation de ces systèmes, ainsi que les problèmes essentiels de leur conception. Chacun des thèmes abordés dans cette introduction fait ou fera l’objet d’un ou plusieurs articles de la collection «Systèmes embarqués».
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleAuteur(s)
-
Daniel ETIEMBLE : Ingénieur de l'INSA de Lyon - Professeur à l'université Paris Sud
INTRODUCTION
Cet article est une introduction aux systèmes enfouis et embarqués, c'est-à-dire aux ordinateurs invisibles qui sont intégrés dans un grand nombre d'objets utilisés pour communiquer (téléphones portables, PDA, télévision numérique, etc.), dans les systèmes de transports (automobile, train, avion), dans les infrastructures grandes ou petites (contrôle des centrales nucléaires, automatismes industriels, etc.). Il présente les spécificités de ces systèmes en termes de coût, de taille, de contraintes énergétiques, de performances, avec notamment les contraintes de fonctionnement temps réel qui existent pour un certain nombre de ces systèmes.
Il donne les grandes lignes des caractéristiques matérielles de ces systèmes : technologies d'intégration utilisées, types de processeurs utilisés, des microcontrôleurs aux multiprocesseurs sur puce. Il introduit les grandes caractéristiques des composantes logicielles et systèmes d'exploitation de ces systèmes, ainsi que les problèmes essentiels de conception, en termes de modélisation, simulation et vérification. Enfin nous montrons que ces systèmes ne concernent pas uniquement des composants individuels ou des infrastructures localisées, mais également des composants ou systèmes distribués et communicants. Avec les réseaux de capteurs, ils sont partie prenante des nombreuses applications de l'informatique ubiquitaire. Chacun des grands thèmes abordés dans cette introduction fera l'objet d'un ou plusieurs articles de la rubrique « Systèmes embarqués »
L'expertise technique et scientifique de référence
VERSIONS
- Version courante de août 2016 par Daniel ETIEMBLE
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 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
Présentation
Logiciels et systèmes d'exploitation pour systèmes embarqués5. Méthodologies de conception
Dans les paragraphes précédents, nous avons passé en revue les composants matériels et logiciels utilisés. Nous présentons maintenant quelques généralités sur les méthodes de conception utilisées pour passer de la spécification du système à réaliser à son implantation finale qui inclut composants matériels et logiciels. Bien évidemment, il n'y a pas une méthode générale applicable à tout système embarqué, mais des spécificités liées au caractère plus ou moins complexe du système et aux contraintes qu'il doit respecter, notamment pour les applications critiques (temps réel) et pour la sûreté de fonctionnement.
5.1 Méthodologies classiques
La 15 donne le schéma classique de la conception d'un système, qui s'applique également dans le cas général aux systèmes embarqués. En face de chaque niveau de spécification sont définies les actions à effectuer (en termes de synthèse), le niveau de granularité des composants considérés et le type de test/vérification effectué. Dans le cas de la conception de systèmes sur puce, ce schéma se réduit à celui de la 16, après qu'ait été effectué le partitionnement entre ce qui est implanté par matériel (CPU, DSP dans la 16 et opérateurs matériels spécialisés) et ce qui est exécuté par logiciel. Des langages de description et de vérification du matériel comme SystemC ou VerilogSystem sont utilisés : ils permettent la modélisation au niveau comportemental d'un système avec des parties matérielles et des parties logicielles. Ce schéma permet également de modéliser des systèmes non partitionnées, c'est-à-dire où l'on ne sait pas encore ce qui sera implanté en matériel et ce qui sera réalisé par logiciel. Le modèle peut être simulé, puis après raffinement, aboutir à une représentation implémentable.
HAUT DE PAGE5.2 Modèles
Les systèmes embarqués mélangent le plus souvent des composants de différentes natures. À une extrémité...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 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
Méthodologies de conception
BIBLIOGRAPHIE
DANS NOS BASES DOCUMENTAIRES
ANNEXES
Syntec Informatique : Le livre blanc des systèmes embarqués [ http://www.syntec-informatique.fr/import/Embarque/ Livre_blanc_Embarque_090609.pdf]
HAUT DE PAGE
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 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
