Newsroom

RAMSES, maître du temps des systèmes embarqués

RAMSES
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é.

RAMSES est une plateforme labellisée Institut Carnot Télécom & Société numérique et Télécom Paris, membre de l’Institut Mines-Télécom (IMT).

Cette vidéo a été réalisée par l’Institut Carnot Télécom & Société numérique, en collaboration avec les chercheurs de Télécom Paris Dominique Blouin et Anish Bhobe.

RAMSES: refinement of AADL Models for Synthesis of Embedded Systems (video)