Interface graphique pour le comportement des composants basée sur REMES

Les modèles et les composants sont devenus un élément indispensable du développement des systèmes embarqués. Ils réduisent la complexité des systèmes embarqués et fournissent une base formelle sur laquelle l'analyse et la synthèse sont effectuées. ProCom est un modèle de composant destiné à la conception de systèmes embarqués. Il a été développé dans le cadre de PROGRESS, un vaste projet de recherche visant à fournir des techniques basées sur les composants pour le développement de systèmes embarqués. Le comportement des composants ProCom est spécifié dans le langage de modélisation REMES. REMES est utilisé pour la spécification du comportement fonctionnel et extra-fonctionnel des composants (timing, utilisation des ressources, fiabilité, etc.). Sans un support outil approprié, l'utilisation des modèles et des composants est très difficile. Un tel support d'outils est généralement intégré dans un environnement de développement intégré (IDE), qui est simplement un cadre contenant un environnement de programmation. Ce livre fournit une implémentation d'une interface graphique pour la modélisation du comportement des composants basée sur REMES en tant que plug-in pour l'IDE Progress.