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