Mise à jour : 23-Nov-2009

| Présentation et documents | Livres | Portails et magazines | Hardware | Systèmes et noyaux Temps Réel | Linux embarqué | Internet embarqué | Outils | Porter Linux | Liens |
| µC/OS II | FreeRTOS | RTLinux | RTAI | VxWorks | pSOS | QNX |
Vous trouverez ici un certain nombre d'informations sur ce sujet.
Un système embarqué peut être défini comme un système électronique et informatique autonome ne possèdant pas d'entrées/sorties standards comme un clavier ou un écran d'ordinateur. On peut citer comme exemple un four microonde, une télécommande de TV, une fusée...
Généralement, un système embarqué doit respecter des contraintes temporelles fortes et l'on y trouve enfoui un système d'exploitation ou noyau Temps Réel ( RTOS, Real Time Operating System). Le temps réel est un concept un peu vague et chacun y va de sa définition. On pourrait le définir comme (encore une définition...) : "Un système est dit Temps Réel lorsque l'information après acquisition et traitement est encore pertinente". Cela veut dire que dans le cas d'une information arrivant de façon périodique, le temps d'acquisition/traitement doit être inférieur à la période de rafraîchissement de cette information. Pour cela, un RTOS doit être déterministe et préemptif pour donner la main durant le prochain tick à la tâche de plus forte priorité prête. On peut en théorie dans ce cas prédire l'évolution du système Temps Réel.
Voici une liste de documents présentant ce vaste sujet :
Voici une liste de livres traitant des systèmes embarqués et des systèmes Temps Réel que j'ai lus et dont voici ma revue. La plupart sont en anglais. Ces livres sont disponibles à la bibliothèque de l'ENSEIRB pour les étudiants de l'école.
TOP 7 :
Codification :
OUVRAGES SUR LES THEMES SUIVANTS :
| Systèmes Embarqués | Systèmes Temps Réel | Linux Embarqué | Connectivité IP | Programmation et Langages | Bus et Réseaux |
***** 04/01/07 Handbook
of Real-Time and Embedded Systems. I. Lee, J. Leung, S. Son. Editions Chapman
& Hall/CRC. 2007. Un handbook sur le Temps Réel pour les systèmes
embarqués. Différents aspects sont abordés : ordonnancement
Temps Réel et gestion des ressources, langages de programmation, OS
et middleware pour le Temps Réel, communications Temps Réel
et réseaux de capteurs, base de données, formalisme, méthodes
et outils. Des exemples sont enfin présentés. C'est un excellent
livre qui balaye bien le sujet, assez généraliste pour se faire
une très bonne idée sur le sujet.
10/10/05 Embedded
Systems Handbook. R. Zurawski and all. Editions CRC Press. 2005. LE handbook,
LE livre de chevet sur les systèmes embarqués. Tous les sujets y sont traités
sur plus de 1500 pages : définitions, modélisation, validation, ordonnancement,
réseaux, tests, SoC, performances, réseaux de capteurs, applications en ne
citant que les titres des sections. Deux thèmes semblent importants : les
System on Chip et les réseaux de capteurs. Un livre qui fera référence. Rien
à dire sauf peut-être qu'il est en anglais. Génial. A lire et relire absolument
! Revue
du livre par l'IEEE
*** 09/02/06 Conception
des logiciels embarqués sur les systèmes monopuces. L. Gauthier
(sous la direction). Editions Hermès. 2003. Un livre sur le logiciel
embarqué pour les systèmes SoC. Un bon chapître d'introduction
sur les systèmes embarqués. Le chapître suivant est sur
la conception du logiciel pour l'embarqué. Un très bon chapître
sur les systèmes d'exploitation. Pour finir, 2 chapîtres moins
intéressants sont consacrés à 2 exemples de projets universitaires.
Assez bon livre
**** 10/12/05 Embedded Media Processing. D. Katz et R. Gentile. Editions Newnes.
2006. Un livre sur l'embarqué et plus particulièrement l'embarqué
pour le multimédia.Ce livre est bâti autour de la mise en oeuvre
du processeur Blackfin d'Analog Devices. Les aspects importants pour le multimédia
sont passé en revue : la mémoire, les accès DMA, les
caches... Puis les différents aspects de l'embarqué multimédia
sont traités sur les plans matériels et logiciels ainsi que
les normes : audio, vidéo et image pour l'embarqué. Un chapître
a part sur la gestion de l'énergie est proposé. Enfin, des exemples
sont donnés autour du processeur Blackfin : JPEG, MPEG-2, Ogg...Un
bon livre pour qui fait de l'embarqué pour le multimédia et
veut faire le lien avec le traitement du signal. Le site
du livre
**** 09/12/05 Embedded Software. The Works. C. Walls. Editions Newnes. 2006.
L'auteur travaillant Chez Mentor Graphics propose un livre sur l'embarqué
en parcourant tous les aspects : design, logiciels embarqués, programmation,
langages C et C++ pour l'embarqué, Temps Réel, réseaux,
FPGA et SoC. Tous les thèmes abordés sont très bien traités
et notamment la partie sur le langage C pour l'embarqué. Le reproche
que l'on peut néanmoins faire au livre est qu'il est constituté
d'une somme d'articles que l'auteur a écrit pour un mensuel interne
à Mentor Graphics, ce qui ne donne pas un ensemble cohérent
au final. Cela reste quand même un très bon livre ! Sur le CDROM,
on trouve des présentations Powerpoint du cours. Le site
du livre
**** 07/10/05 Embedded
Systems Design and Applications with the 68HC12 and HCS12. S. Barrett et D.
Pack.Editions Prentice Hall. 2005. Un livre sur les systèmes embarqués
avec une mise en pratique autour du microcontrôleur 68HC12. Une introduction
sur les systèmes embarqués est bien sûr proposée
ainsi qu'un bon résumé sur le langage C pour l'embarqué.
Le microcontrôleur 68HC12 est ensuite passé en revue. Des exemples
d'applications sont ensuite donnés dans le reste du livre autour des
cartes d'évaluation EVB B32 et HCS12 de Motorola. A noter à
la fin du livre un chapître d'introduction sur le Temps Réel
et la mise en oeuvre du bus CAN sur le 68HC12. Un très bon livre pour
qui met en oeuvre le microcontrôleur 68HC12.
*** 26/09/05 Handbook of Networked and Embedded Control Systems. R. Alur,
K.-E. Arzen, John Baillieul, T.A. Henzinger, Dimitrios Hristu-Varsakelis.
Editions Birkhaüer. 2005. Un livre sur les systèmes embarqués
et plus particulièrement sur le contrôle/commande. Une première
partie bien théorique est consacrée à l'automatisme (systèmes
(non) linéaires et discrets). La deuxième partie est consacrée
au hardware : acquisition et contrôle, FPGA, DSP, SoPC, microcontrôleurs.
La troisième partie est consacrée logiquement ensuite au software
: un chapître intéressant sur RTLinux de V. Yodaiken. On retrouve
ensuite une partie théorique sur les systèmes hybrides ? La
5ème partie concerne les réseaux : protocoles pour le contrôle/commande,
Bluetooth et les réseaux de capteurs (intéressant). Enfin, après
800 pages, la dernière partie est consacrée à des exemples
d'applications. Un gros livre avec beaucoup de théorie et quelques
chapîtres néanmoins intéressants. A lire pour ces derniers
ou pour se rafraîchir la mémoire sur les correcteurs PID...
**** 15/06/05 Embedded Systems Design. S. Heath. Editions Newnes.
2003. Un livre très bien fait sur la conception des systèmes
embarqué du matériel au logiciel : une très bonne présentation
des processeurs pour l'embarqué (Z80, 68HCxx, 80286, 80386, 80486,
Pentium, 680x0, Sparc, MPC603...), les différents types de mémoire,
les périphériques d'E/S (DMA...). Un très bon chapître
sur les interruptions avec de bons conseils pour leur mise en oeuvre. Un bon
chapître sur les systèmes Temps Réel. L'auteur en connaît
un rayon même sur les ancêtres (pSOS+, VRTX 32...). C'est le premier
qui parle de bus industriels comme le VME par exemple dans toute la liste
des livres sur le sujet. Un excellent chapître sur l'écriture
du logiciel pour l'embarqué notamment les extensions du langage C pour
l'embarqué, les techniques de debug, les structures de buffers (buffer
linéaire, circulaire, double buffer, liste chaînée...).
Des exemples et des exemples. Que du bonheur !
**** 10/06/05 Fundamentals of Embedded Software. D. Lewis. Editions
Prentice Hall. 2001. Un livre sur l'écriture du logiciel pour les systèmes
embarqués. Le livre reprend la représentation des données
(entier, réel à virgule fixe et flottante). Un excellent chapître
sur le langage C pour l'embarqué et le système embarqué
sous l'angle de la programmation. La cible choisie est le processeur x86 et
le PC, ce qui est dommage ensuite. Différentes choses sont alors abordées
dans ce contexte : mélange langage C et assembleur, programmation des
E/S, ordonnancement, gestion mémoire, mémoire partagée,
programmation concurrente. Des exemples sont donnés avec la mise en
oeuvre de µC/OS II sans aucune d'explication. Dommage !
***** 20/05/05 Embedded
Systems Architecture. T. Noergaard. Editions Newnes. 2005. Un livre complet
sur les systèmes embarqués. On part de la conception matérielle
avec une présentation "basique" de l'électronique
pour les informaticiens (électronique de base, processeurs, mémoires,
E/S, bus...), de la conception logicielle (drivers, OS, middleware) à
la conception globale du système (conception, tests matériels,
tests logiciels). Il y a de nombreuses références en fin de
chapîtres et des exercices. Des exemples de mise en oeuvre sur une cible
PowerQUICC MPC 820 et 860 sont donnés. C'est bien écrit et ça
se lit comme un roman. A conseiller aux gens qui ont déjà une
petite expérience dans l'embarqué. Exceptionnel !
*** 11/04/05
The firmware Handbook. Dirigé par J. Ganssle. J. Ganssle and al. Editions
Newnes. 2004. Le Troisième livre de J. Ganssle sur l'embarqué
à voir en fait comme une somme de contributions sur divers sujets :
introduction au matériel, trucs et astuces pour le design, le logiciel,
sécurité, Temprs Réel, réentrance, temps de latence,
fonctions mathématiques. Un livre moyen très en deçà
des 2 premiers sans doute lié au côté patchwork décousu.
Quelques pépites côté fonctions mathématiques et
leur approximation, introduction au Temps Réel (de J. Labrosse, en
fait une de ses notes d'application). A lire au regard de la notoriété
de J. Ganssle...
**** 06/06/04 Designing
Embedded Hardware. J. Catsoulis. Editions O'Reilly. 2002. Un livre général
de présentation de la conception de systèmes électroniques
du composant élémentaire à la conception de cartes électroniques.
Une présentation des processeurs PIC, AVR et 68000. A lire par tout
informaticien de base pour comprendre ce qu'est l'électronique et qui
désire travailler dans l'embarqué et ainsi mieux comprendre
son collègue du hardware. Un livre pour lutter contre le : "ah
non, c'est pas le soft qui marche pas mais le hard...ah non, c'est pas le
hard qui marche pas mais le soft" !
*** 31/10/03
Embedded Microprocessor Systems: Real World Design.S. Ball. Editions Newnes.2002.
Un livre sur le design et la mise au point des systèmes embarqués.
Assez moyen. Un bon chapitre sur les interruptions
***
15/10/03 Analog Interfacing to embedded Microprocessors. S. Ball. Editions
Newnes. 2003. Un livre pratique présentant la façon d'interfacer
des E/S analogiques à un microprocesseur : ADC, DAC, capteur de température,
capteur de mouvement, capteur d'accélération, mesure de temps,
rétroaction, PID, leds, moteurs...Bien écrit. Permet de ne pas
oublier que le numérique est à la base de l'analogique (nombre
fini d'états discrets (2))
***** The Art
of Designing Embedded Systems. J. Ganssle. Editions Butterworth-Heinemann.
2000. Une référence sur le sujet pour la conception d'un système
embarqué. Ce livre est bourré de conseils sur le plan matériel
et logiciel. A lire absolument et notamment le chapître concernant les
outils de debug ! Complément du livre suivant
*** The Art of
Programming Embedded Systems. J. Ganssle. Editions Academic Press. 1992. Une
référence sur le sujet pour la conception logicielle d'un système
embarqué. Complément du livre précédent
**** Embedded Systems
Firmware Demystified. E. Sutter. Editions CMP Books. 2002. Une très
belle introduction (chapîtres 1 et 2) sur les systèmes embarqués
et les divers composants utilisés. Il y a aussi une liste récapitulative
des points à vérifier durant le debug. A travers l'exemple d'un
monitor développé par l'auteur, les différents aspects
de conception et de test d'un système embarqué sont abordés
: tests, téléchargement par le réseau, mémoire
FLASH, système de fichiers...A lire
***** Embedded Systems
Design. A S. Berger. Editions CMP Books. 2002. Un livre exceptionnel de la
quastion de ceux de J. Ganssle. tout est décrit : architecture d'un
système embarqué, design, codesign, tests, équipements
de test, debug... A LIRE ABSOLUMENT !
***** An Embedded Software
Primer. D. Simon. Editions Addison Wesley. 1999. Très bon livre pour
débuter
**** Embedded System
Design. A unified Hardware/Software introduction. F. Vahid, T. Givargis. Editions
John Wiley & Sons. 2002. Très bonne vue d'ensemble. A lire absolument
!
*** Data
Acquisition and Process Control with the 68HC11 microcontroller. F. Driscoll.
Editions Prentice Hall. 1994. Un livre sur le 68HC11 mais présentant
indirectement les contraintes d'un système embarqué

***** 21/05/07 Systèmes
Temps Réel de contrôle-commande. F. Cottet et E. Grolleau. Editions
Dunod. 2005. Un livre sur le Temps Réel qui fait le point sur les méthodes
de spécification, les langages (C, ADA, Labview) et les exemples...
Un livre très équilibré présentant le développement
des systèmes de contrôle-commande, les spécifications
avec SART et DARTS, les architectures systèmes, les exécutifs
Temps Réel, la programmation par l'exemple notamment avec les threads
POSIX et un exemple complet de la spécification à l'implantation.
Enfin le dernier chapitre est plus théorique sur l'ordonnancement et
la modélisation des tâches. Il n'y a pas de conclusion (!). Au
final, c'est un excellent livre qui se veut didactique et pratique dans la
même trempe des livres de Dorseuil, Pérez... et à considérer
comme tel !
MicroC/OS-II, The Real-Time Kernel. J. Labrosse. 1999. Un best seller.
Premier livre qui explique comment marche un noyau Temps Réel de A
à Z (MicroC/OS-II), comment le configurer, comment le porter sur un
processeur. A lire absolument particulièrement le chapitre sur ce qu'est
le Temps Réel. Une référence, LA référence
!
**** 07/11/06 Systèmes
temps réel 1 et 2. Sous la direction de N. Navet. Editions Hermès.
2006. Deux tomes sur les systèmes Temps Réel. Le premier tome
est très théorique. Le deuxième tome l'est beaucoup moins
et c'est celui-ci que j'ai choisi de présenter. Ce deuxième
tome présente dans un premier temps les différentes politiques
d'ordonnancement monoprocesseur puis multiprocesseur. La conception conjointe
commande/ordonnancement est détaillée ainsi que les aspects
de minimisation de la consommation d'énergie. Java Temps Réel
est décrit ainsi que la QoS dans les réseaux (?). Le protocole
MAC Temps Réel est décrit pour ensuite déboucher sur
les réseaux Temps Réel pour l'automobile et l'Ethernet industriel.
Un bon livre malgré des passages un peu théoriques quelquefois.
**** 04/03/05 Embedded
Software Development with eCos. A. J. Massa.Editions Prentice Hall. 2002.
Un livre sur le noyau libre Temps Réel eCos, sa configuration, son
fonctionnement. Un chapitre sur le bootloader RedBoot. Bon livre. Mauvaise
qualité d'impression avec des lettres de mots qui se chevauchent.
*** RealTime Programming
: A Guide to 32 bit Embedded Development. R. Grehan. Editions Addison Wesley.
1998. Très bon livre
** Scheduling
in Real-Time Systems. F. Cottet and al. Editions John Wiley & Sons. 2003.
Un livre en anglais sur le Temps Réel et les politiques d'ordonnancement.
Très didactique, un peu théorique.
*** Commande en Temps
Réel. D. Tschirhart. Editions Dunod. 1990. Un très bon livre
en français
*** Systèmes Temps
Réel. J.P. Pérez. Editions Dunod. 1990
****
Le Temps Réel en milieu industriel. A. Dorseuil. Editions Dunod. 1991.
La bible en français
**** 15/06/06 TCP/IP
Embedded Internet Applications. E. Insam. Editions Newnes. 2003. Un livre
sur la connectivité IP mais orienté plus matériel et
systèmes embarqués. Un bon premier chapitre sur les systèmes
embarqués et la connectivité IP. Les chapitres suivants sont
classiques car ils sont consacrés à la description de la suite
de protocoles IP. Un exemple d'implantation dans un PIC 16F877 est donné
au final. Très bon livre !
**** 15/05/06 The Linux
TCP/IP Stack: Networking for Embedded Systems.T. Herbert. Editions Charles
River Media. 2004. Un livre consacré entièrement à l'implantation
de TCP/IP sous Linux. Des introductions sur les réseaux, le modèle
OSI, le haut débit et les protocoles TCP/IP sont proposées.
Le reste du livre est ensuite consacré à l'implantation des
protocoles Internet dans le noyau Linux. Un livre intéressant pour
celui qui veut savoir comment sont implantés ces protocoles
***** 19/04/05
Embedded Ethernet and Internet Complete. J. Axelson. Editions Lakeview Research.
2003. Un livre sur la technologie Ethernet et les protocoles IP : du matériel
(contrôleurs Ethernet AX88796, RTL8019AS, LAN91C96, CS8900A) aux protocoles
IP. Un livre pratique avec des exemples de mises en oeuvre sur cartes Rabbit
et TINY : échanges UDP, TCP, serveur web embarqué, scripts CGI,
client SMTP, client/serveur FTP. Très bon livre surtout si l'on utilise
l'une des cartes cibles choisies par l'auteur
**** 07/02/05 Embedded Internet Design. A. Williams. Editions Mc Graw Hill.
2003. Un livre dédié à l'embarqué communicant
par Internet. Une introduction sur la connectivité IP. Des exemples
d'applications mettant en oeuvre Java sur une carte cible à base de
microcontrôleur TINI et une carte cible Javelin sont donnés.
Il s'agit ici de mettre en oeuvre Java embarqué pour mettre en place
une connectivité IP (serveur www, client et serveur SMTP...). Un bon
livre complément du suivant
**** 01/02/05 Designing
Embedded Internet Devices. D. Eisenreich. Editions Newnes. 2004. Un livre
bâti autour de l'utilisation du microcontrôleur TINI. Il s'agit
ici de mettre en oeuvre Java embarqué pour mettre en place une connectivité
IP. Les sources en langage Java sont donnés pour chaque cas (sur le
CDROM). Très bon livre
*****
18/12/03 TCP/IP Application Layer Protocols For Embedded Systems. T. Jones.
Editions Charles River Media. 2002. LE livre sur les applications à
inclure dans un système embarqué (sous Linux) pour assurer
une connectivité IP : Client et serveur SMTP, client POP3, serveur
www, agent SNMP, client NNTP, interpréteur de commandes. Les sources
en langage C sont donnés pour chaque cas (sur le CDROM). Le livre
est très bien fait. Une annexe pour se rappeler ce qu'est la programmation
réseau avec l'API sockets. Détails ici
**** TCP/IP Lean. J. Bentham. Editions CMP Books. 2002. Présentation
de l'implémentation d'une pile TCP/IP complète écrite
en langage C (IP, ARP, ICMP, TCP, UDP, POP3, HTTP) pour un accès physique
sur liaison série (PPP) et Ethernet IEEE 10BaseT (Realtek). La mise
en oeuvre est présentée pour les microcontôleurs PIC 16C76
et 16F876. Très didactique et exploitable immédiatement. Les
sources sont fournis. A lire pour celui qui veut comprendre comment implanter
une connectivité IP. Le site
de l'auteur
** 21/10/06 The Debugger's
Handbook. J. F. Dimarzio. 2006. Editions Auerbach. Un livre sur l'art de debugging.
Un très bon chapître d'introduction. Le reste est consacré
au debugging avec VB, VB, NET, C++, C# et Java ainsi qu'aux outils Microsoft,
ce qui limite la portée de l'ouvrage dans un cadre embarqué.
A lire pour le premier chapître.
*** 18/01/06 C Programming
for Embedded Systems. Kirk Zurell. Editions RD Books. 2000. Un
livre sur le langage C pour l'embarqué. Pas très "épais",
il fait le tour de la question. Un rappel sur les microcontrôleurs.
La mise en oeuvre du langage C se fait sur un processeur cible Motorola 68705.
Un livre honnête
**** 25/04/05 Embedded
C Programming and the Microchip C. R. Barnett. Editions Delmar Learning. 2003.
Un livre sur le langage C pour l'embarqué. Un bon chapître de
rappels sur le C. Le reste du livre est consacré à la mise en
oeuvre du langage C pour la programmation des microcontrôleurs PIC 16F877
et 18F458 avec le compilateur croisé CCS : I/O, SPI, afficheur LCD,
bus CAN, ADC... Très intéressant
**** Programming Embedded
Systems in C and C++. M. Barr. Editions O'Reilly. 1999. Un livre didactique
sur la conception de logiciels embarqués. Des exemples sont donnés
avec comme carte cible une carte 80188 d'Arcom. Un chapitre intéressant
sur les tests de mémoire (RAM, FLASH...)
*** 06/02/05 Programming
for Embedded Systems: Cracking the Code. The Dreamtech Software Team. Editions
Wiley. 2002. Un livre sur la conception de systèmes embarqués
construit autour de 23 exemples professionnels : récepteur GPS, RTLinux,
équipements communicants sous CHAI, Java Mobile, XP Embedded...Un livre
assez pratique, se dispersant un peu et noyé dans le code source fourni
mais qui a l'intérêt de décrire des projets sur l'embarqué
qui marchent...
*** Embedded
Systems Building Blocks: Complete and Ready-To-Use Modules in C. J. Labrosse.
Editions CMP Books. 1999. Une boîte à outils en langage C de
fonctionnalités que l'on retrouve fréquemment dans l'embarqué
: clavier, I/O, afficheur LCD, RTC, timer, fonctions mathématiques,
UART...Le code source est fourni sur CD-ROM. L'environnement cible choisi
par l'auteur est un PC (ce qui est le principal défaut du livre), mais
le code peut être adapté à une autre cible. Une introduction
au Temps Réel est fournie aussi et à microC/OS II en annexe
**** 20/03/06 Réseaux
Multiplexés pour systèmes embarqués. CAN, LIN, FlexRay,
Safe-by-Wire. D. Paret. Editions Dunod. 2005. Ce livre imposant (450 pages)
reprend pour plus d'une bonne moitié un ancien et excellent livre de
l'auteur "Bus CAN - Description", ce qui ne laisse plus beaucoup
de place pour le reste sauf bien sûr si vous ne connaissez pas le bus
CAN ! Dans ce qui reste, l'auteur aborde les bus LIN, les bus audio-vidéo
(I2C, D2B, FireWire...) et l'approche System Basic Chip SBC. Enfin, une introduction
aux réseaux Wireless est proposée. Malgré ces quelques
remarques, cela reste néanmoins un excellent livre sur les bus !
***** 19/05/05
USB Complete. J. Axelson Editions Lakeview Research. 2004. Le livre bible
sur la norme USB et sa mise en oeuvre. Clair (contrairement à la norme),
bien écrit, un régal. L'auteur présente de façon
didactique la norme USB puis les contrôleurs USB du marché que
l'on peut utiliser.Via un exemple concret, la partie logicielle est abordée
côté périphérique (firmware) mais aussi côté
PC host sous Windows (driver HID). A lire absolument si l'on désire
développer des systèmes avec USB
Systèmes Temps Réel :
Systèmes Linux (Temps Réel) embarqués :


On pourra consulter et/ou s'abonner en ligne aux magazines suivants :




Ce noyau Temps Réel est digne d'intérêt et porté sur beaucoup de processeurs. Son utilisation est simple et est utilisé à l'ENSEIRB dans le cadre de TP. A conseiller aux débutants dans le Temps Réel. Voici une liste de références sur le sujet :

FreeRTOS est un noyau portable, libre porté sur divers processeurs. Voici une liste de références sur le sujet :
Voir la page Linux embarqué...
Voir la page Linux embarqué...
VxWorks de la société Wind River est un noyau Temps Réel moderne qui a été le premier à intégrer les couches réseau IP et l'API socket. Il intègre un shell et autorise l'édition de liens dynamique. Une plateforme de crossdéveloppement est nécessaire. C'est un excellent RTOS (le meilleur à mon avis parmi les RTOS commerciaux) qui j'ai pu utiliser dans le passé. Son principal défaut est son prix et les royalties à verser pour chaque cible développée.
Les liens intéressants sur VxWorks sont :
pSOS de la société Wind River (pSOS vient d'être racheté par Wind River cette année à la société ISI) est un noyau Temps Réel compact et rapide. pSOS est en cours d'intégration dans les produits Wind River (Tornado). C'est un très bon RTOS qui j'ai pu utiliser dans le passé. Son principal défaut est son prix et les royalties à verser pour chaque cible développée.
Les liens intéressants sur pSOS sont :
QNX de la société QNX Software Systems est un système d'exploitation Temps Réel complet où la machine cible sert aussi de plateforme de développement (comme OS9). QNX peut être aussi utilisé avec une plateforme de crossdéveloppement (Linux, Windows, Solaris). La plupart des applications développées sous UNIX et UNIX like sont facilement portable sous QNX (norme POSIX). QNX est une solution très intéressante car il est maintenant gratuit pour un usage non commercial.
Les liens intéressants sur QNX sont :
Voir la page Linux embarqué...
L'Internet embarqué est d'actualité car il permet facilement de piloter à distance des équipements en utilisant par exemple un serveur web embarqué. Il est assez difficile de trouver des solutions freeware ou GPL (voir le document de l'ENSEIRB). Une solution intéressante est de mettre en oeuvre une version linux minimale dans ce cas.
Les solutions intéressantes sur le sujet sont :

Voir la page Linux embarqué...

Voir la page Linux embarqué...

Quelques liens intéressants :