Ramses

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

Infographie Ramses en une infographie

Domaines d’expertise

  • Modélisation de systèmes informatiques temps réel embarqués critiques
  • Applications dans le secteur des transports
  • Description d’architectures informatiques en langage standardisé AADL
  • Évaluation détaillée des temps de latence
  • Aide à la décision dans la conception des systèmes embarqués
  • Amélioration de la résilience des systèmes

Secteurs applicatifs

Cybersécurité Défense Industrie du futur
Réseaux et objets communicants Robotique
Santé et autonomie Transports et mobilité
Smart City

Offres de services

Certification/Homologation | Conception | Conseils et prestations techniques | Expérimentation/Technologie | Modélisation/Conception | Numérique/Logiciel | Prestations R&D | Prototypage/Innovation | Recherche | Simulation/Optimisation

Implantation


Télécom Paris

Ressources disponibles

Plus de ressources

[BELLE HISTOIRE] Faciliter la détection du cancer du sein grâce à l’IA

La tomosynthèse du sein, ou mammographie 3D, vise à améliorer le diagnostic précoce du cancer du sein à l’aide d’images 3D plus précises mais pouvant comporter des dégradations provenant des contraintes associées à l’examen. Des limites qu’Arnaud Quillent a cherché à dépasser grâce au deep learning, dans le cadre d’une thèse CIFRE réunissant l’entreprise GE HealthCare et le LTCI, laboratoire de l’école Télécom Paris, composante de l’institut Carnot TSN.
9 mars 2026/par India Senouci

L’IMT, pilote du Carnot TSN, est partenaire du programme spatial de nouvelle génération d’Univity, salué par l’Élysée

L’Institut Carnot Télécom & Société numérique, piloté par l’IMT, est heureux de souligner l’engagement de l’IMT dans un projet spatial ambitieux porté par Univity (anciennement Constellation Technologies) : une entreprise française innovante qui porte une ambition d’envergure : créer une constellation de satellites destinés à soutenir les réseaux de télécommunications mobiles de nouvelle génération, en particulier la 5G et la future 6G.
7 juillet 2025/par India Senouci

Chaire XAI-4-AML : comment l’IA peut-elle aider à lutter contre le blanchiment d’argent ?

La lutte contre le blanchiment des capitaux et le financement du terrorisme (LCB-FT) impose aux établissements financiers de mettre en œuvre des systèmes permettant de repérer de potentielles transactions illégales. Depuis 2020, Télécom Paris, composante de l'institut Carnot TSN, héberge la chaire de recherche XAI-4-AML. Celle-ci vise à comprendre comment l’intelligence artificielle pourrait contribuer à améliorer la lutte contre le blanchiment des capitaux et le financement du terrorisme.
12 mai 2025/par India Senouci

[VIDEO] Découvrez la plateforme RAMSES, de Télécom Paris

RAMSES est une plateforme dédiée à l’aide à la conception de systèmes embarqués critiques en temps réel. L'institut Carnot Télécom & Société numérique s'est rendu sur place, à Télécom Paris où se situe la plateforme, pour interroger les chercheurs de RAMSES sur les différents aspects de ses technologies. Découvrez leurs interviews en vidéo.
10 mars 2025/par India Senouci

Chaire DSAIDIS : Science des données et IA pour l’industrie

Le secteur industriel a tout intérêt à exploiter le potentiel des grandes quantités de données qu'il génère quotidiennement. Mais comment utiliser et analyser efficacement ces données, parfois incomplètes, hétérogènes, contenant du bruit ou des valeurs extrêmes ? La Chaire DSAIDIS, soutenue par l'Institut Carnot TSN, cherche à répondre à ces défis.
10 novembre 2023/par CarnotTSNadm

Cryptomonnaie : Débloquons les chaînes

Les cryptomonnaies comme le Bitcoin sont basées sur le système de la blockchain qui permet de décentraliser les informations entre les serveurs et les différents participants. Si cette technologie numérique permet de garantir la sécurité et l’intégrité des transactions, cela nécessite des modèles algorithmiques lourds et associés à une dépense d’énergie élevée.
17 octobre 2022/par India Senouci