RAMSES – Refinement of AADL Models for Synthesis of Embedded Systems:
Code d’analyse et de production de systèmes temps réel embarqués
https://mem4csd.telecom-paristech.fr/blog/index.php/ramses/
Label Carnot Télécom & Société numérique
Label IMT 2022
École : Télécom Paris
Responsable : Etienne BORDE
etienne.borde@telecom-paris.fr