Conception orientée acteur de systèmes matériels et logiciels embarqués

Dans cet article, nous soutenons que la conception basée sur des modèles et la conception basée sur des plateformes sont deux vues de la même chose. Une plateforme est une couche d'abstraction dans le flux de conception. Par exemple, une architecture basée sur un cœur et une architecture d'ensemble d'instructions sont des plateformes. Nous nous concentrons sur l'ensemble des conceptions induites par cette couche d'abstraction. Par exemple, l'ensemble de tous les ASIC basés sur une architecture particulière à base de cœur et l'ensemble de tous les programmes x86 sont des ensembles induits. Ainsi, une plateforme est équivalente à un ensemble de conceptions. La conception basée sur des modèles consiste à utiliser des plateformes avec des propriétés de modélisation utiles pour spécifier des conceptions, puis à synthétiser des mises en œuvre à partir de ces spécifications. Ainsi, la conception basée sur des modèles est la vue d'en haut (plus abstraite, plus proche du domaine du problème) et la conception basée sur des plateformes est la vue d'en bas (moins abstraite, plus proche de la technologie de mise en œuvre). Une façon de définir une plateforme est de fournir un langage de conception. Toute expression valide dans le langage est un élément de l'ensemble. Une plateforme fournit un ensemble de contraintes ainsi que des compromis connus qui découlent de ces contraintes. Les plateformes orientées acteur, telles que Simulink, abstraient des aspects des plateformes au niveau programme, telles que Java, C++ et VHDL. Les plateformes orientées acteur orthonormalisent le langage de définition d'acteur et le langage de composition d'acteur, permettant des définitions d'acteurs hautement polymorphiques et une conception utilisant plusieurs modèles de calcul. En particulier, nous nous concentrons sur l'utilisation de modèles de calcul contraints dans la conception. Les propriétés de modélisation impliquées par des contraintes bien choisies permettent des conceptions plus facilement compréhensibles et sont préservées lors de la synthèse en descriptions au niveau programme. Nous illustrons ces concepts en décrivant un cadre de conception construit sur Ptolemy II.