Methodologie de conception de systemes embarques

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.