Contexte des travaux
Dans l'industrie des systèmes embarqués, on trouve plusieurs approches qui relèvent de la conception par composants, au sens large. La plus ancienne est à chercher dans le domaine du matériel : les industriels développement des ``IP'' (pour ``intellectual property'') qui constituent des briques de base pour la construction de systèmes plus complexes. L'évolution de la conception des circuits a conduit aux outils de prototypage virtuel comme SystemC, qui permet de décrire un système sur puce comme un assemblage d'IPs et de moyens de communication, à divers niveaux d'abstraction. SystemC est clairement dédié à une approche par composants, et permet d'assembler des composants matériels et des composants logiciels.
Dans le domaine des logiciels embarqués, la situation est moins claire, mais il existe tout de même des approches que l'on peut ranger dans les approches composants. Par exemple, les systèmes de contrôle embarqué critique, qui sont des solutions informatiques à des problèmes d'automatique, sont souvent conçus en Simulink, et en assemblant des ``boîtes'' de diverses bibliothèques.
Il est intéressant de remarquer que ces approches industrielles reposent sur des environnements de prototypage virtuel, dans lesquels on assemble des composants plus ou moins détaillés pour construire un prototype exécutable très tôt.
De manière générale, ces approches industrielles manquent de bases solides qui pourraient permettre d'analyser les systèmes construits, de valider les composants individuellement, etc.
Pascal Raymond 2006-11-16
