GitLab

TTool (pronounced "tea-tool") is a toolkit dedicated to the edition of UML and SysML diagrams, and to the simulation and formal verification (safety, security, performance) of those diagrams. See ttool.telecom-paris.fr and @TTool_UML_SysML

RAMSES (Refinement of AADL Models for Synthesis of Embedded Systems) is a model transformation and code generation tool that produces C code for ARINC653-compliant operating systems and OSEK-compliant operating systems.

Modèle de présentation Beamer + Modèle de Poster aux couleur de TPT

simple python script to convert Synapses csv schedules to ics calendars.

Modèle pour la génération de supports de cours (poly+slides) au format html, pdf et même docx à partir d'une source unique (au format markdown/pandooc).

API pour communication avec carte Mifare DESFire EV1

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

A hardware / software architecture protecting the external memories of an SoC

TP!!!!!!!!

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

SAR Image Despeckling by Deep Neural Networks: from a pre-trained model to an end-to-end training strategy - Notebook implementation usable on Google Colaboratory

Modified version of QEMU for teaching (M2 SETI Embedded Linux, SE758 Linux Device Drivers...).

A simple example design for Zynq Ultrascale+ based boards.

Software for Low Density Parity Check codes