Explore projects

Nouveau thème Beamer aux couleur de Télécom Paris

TD équation de Kaya, transition énergétique et développement durable

Nouveau thème Beamer aux couleur de Télécom Paris

RAMSES-2 (Refinement of AADL Models for Synthesis of Embedded Systems) is a model refinement and code generation tool that produces C code for ARINC653, OSEK and POSIX-compliant operating systems. More at https://mem4csd.telecom-paristech.fr/blog/

This project provides utility libraries that can be used by several MBE tools such as RAMSES, TTool or RDALTE

Présentation de l'offre de service de la DSI

Experiment Specification (ExSpec) is a language to specify the provenance of experiment/simulation data. ExSpec models are the basis of the Validity Frame Language (VaFL, pronounced "waffle") to specify the validity frames of models.