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

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

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 contains the ontological framework developed during the MPM4CPS COST Action IC1404 () by working group 1 on foundations for MPM4CPS (http://mpm4cps.eu/).

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

A toy example project showing how GitLab CI can be used for teaching

Various small projects by Renaud Pacalet

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

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