Refinement of AADL Models for Synthesis of Embedded Systems (Perfectionnement de modèles AADL pour la synthèse de systèmes embarqués)
RAMSES est une plateforme d’aide à la conception des systèmes temps réel embarqués critiques. Concrètement, elle propose tout d’abord un compilateur AADL (Architecture Analysis and Design Language), un langage standardisé utilisé pour décrire des architectures informatiques. L’utilisateur peut donc y modéliser son système, que RAMSES va ensuite analyser, afin de fournir des informations permettant d’optimiser le code AADL. Ainsi, la plateforme aide à concevoir des systèmes plus performants, grâce à une évaluation du temps associé à chaque tâche, mais aussi plus résilients, en optimisant la gestion des ressources disponibles pour chaque fonction, selon son degré de criticité.
Une plateforme Télécom Paris – Label Institut Carnot TSN
Contact : Etienne BORDE etienne.borde@telecom-paris.fr