Plateform Ramsès

RAMSES   (Refinement   of   AADL   Models   for   Synthesis   of   Embedded   Systems)   is   a   model

transformation   and   code   generation   tool   that   produces   C   code   forPOSIX,   ARINC653,   or   OSEK
compliant operating systems. RAMSES interfaces with OSATE2, reference IDE for AADL developed
by the Software Engineering Institute. 

RAMSES proceeds by refinements insofar as it produces a simplified versionof an AADL model as an
intermediate step towards code generation. This   simplified model includes a behavior specification
that expresses the behavior resulting from the expansion of AADL components and connexions.

This intermediate model is used to analyse the impact of the expansion on non­functional properties of
the   system   under   design.   RAMSES   has   been     extended   recently   to   support   multiple   objective
optimization techniques for design space exploration. It is also evolving to address the challenge
of mixed­criticality real­time scheduling on multi­core architectures.

RAMSES is a mature experimental platform for critical real­time and embedded systems design has
been (and is being) used and developed in several collaborative projects with several industrial and
academic partners:
­ the   Chaire   sur   l'Ingénierie   des   Systèmes   Complexes,  https://www.telecom­
paristech.fr/recherche/chaires/chaire­ingenierie­des­systemes­complexes.html
(Polytechnique, ENSTA, Thales, Dassault Aviation, Naval group, DGA)
­ the   S3P   project,  http://www.esterel­technologies.com/S3P.html  (Alstom,   Airbus,   Thales,
ANSYS, Sysgo, etc.)
­ the   IRT   SystemX   FSF  https://www.irt­systemx.fr/en/project/fsf/  and   PST  https://www.irt­
systemx.fr/en/project/pst/ projects (Alstom, Safran, etc.)
­ the AADL ARINC653 Code Generator project (SEI, ARMDEC/DoD).

Fablab de Télécom ParisTech
Le Fablab T­P est un projet conjoint  des départements INFRES, TSI et SES de Telecom­Paristech.
Au travers notamment d’équipements 3D grand public, il a pour vocation de permettre l’accès des
étudiants et des enseignants­chercheurs à la fabrication numérique en mettant à leur disposition les
outils nécessaires au prototypage rapide de leurs projets. Il dispose pour cela de cinq imprimantes 3D
de   diverses   technologies,   d’une   découpeuse   laser,   d’une   fraiseuse   numérique,   de   deux   petits
scanners 3D ainsi que des ordinateurs et logiciels de conception 3D adaptés. Un espace équipés de
kits (Arduino©, Rasberry Pi©) et d’appareils de mesure est consacré aux réalisations électroniques

Le Fablab T­P s’intègre dans une structure plus large d’équipements complémentaires englobant le
eLab et le Studio Design, tous localisés sur le site Telecom­Paristech Barrault. Il fait partie du réseau
de Fablabs présents ou à venir sur le campus Paris Saclay et est référencé sur la plateforme « Plug In
Lab » de l’Université Paris Saclay.

Audio-visual platforms and equipments

The LTCI benfits from a number of platforms and equipments dedicated to audio-visual acquisitions
and processing. This includes:

 A multi-modal acquisition lab, equiped with cameras, kinects, microphones...

 An anechoic chamber.