Société Génie logiciel et ingénierie de système (GL & IS)
Abstract
Dans cet article, nous présentons PRISE, une Plate- forme pour la Recherche en Ingénierie des Systèmes Embarqués, développée à l’ISAE, l’Institut Supérieur de l’Aéronautique et de l’Espace. PRISE est bâtie sur des technologies modernes axées sur l’ingénierie des systèmes aéronautiques et spatiaux. Ses objectifs sont, d’une part, de modéliser et de valider les aspects importants des systèmes critiques embarqués temps réel, d’autre part de valider de nouvelles approches scientifiques. Pour atteindre ces objectifs, PRISE combine un ensemble d’outils, de méthodes en ingénierie système (modélisation, validation, génération de code) et une plate-forme d’exécution basée sur la simulation distribuée et sur un ensemble de systèmes embarqués réels