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

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

This is a project of OPC UA specification Part 14 PubSub implementation.

The project include 2 major parts : OPC UA server with opc ua pubsub kit and OPC UA MQTT Configuration tool .

Yet another Makefile for LaTeX

API pour communication avec carte Mifare DESFire EV1

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

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

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

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

A set of scripts and Makefiles for digital hardware projects