Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués

Abstract

La conception des systemes embarques necessite le concours de plusieurs equipes specialisees dans des domaines differents (surete de fonctionnement, conception de plateforme d'execution. . . ). Toutes ces equipes ne peuvent avoir chacune qu'un « point de vue » partiel du systeme qu'elles doivent pourtant concourir a specifier, realiser, et tester. L'objectif de cet article est d'identifier les problemes poses par la multiplication des intervenants dans la conception des systemes embarques, puis de proposer un cadre conceptuel, sur lequel sont definies les relations de coherence entre points de vue.