Overview

Les travaux développés dans ce livre concernent l'étude des systèmes embarqués dont les spécificités sont détaillées: hétérogénéité des composants constituants, embarquement et intégration dans un système complet, spécification suivant les applications implémentées et les aspects économiques. Ces travaux ont permis, en particulier, de dégager quelques principaux problèmes apparaissant dans la conception des systèmes embarqués, à savoir le partitionnement du système entre les aspects matériels et logiciels, ainsi que les étapes de vérification et de validation indispensables au passage à la phase de raffinement et d'implémentation. Le processus de conception apparaît ainsi fractionné en plusieurs phases dont chacune requiert une validation locale avant la validation globale du système complet, rendant ainsi difficile sa vérification fonctionnelle et temporelle. Cette complexité a conduit à proposer une nouvelle méthodologie de conception ainsi de développement d'un outil basé sur le concept orienté objet et utilisant l'approche Design Pattern afin de résoudre également le problème de la réutilisation d'éléments tels que les blocs IP matériels et logiciels.