Explore projects

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

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

Alternate free software firmware for DFRobot DFR0592 DC motor driver hat

A Benchmark of Incremental Model Transformation Tools based on an Industrial Case Study with AADL

Compagnon repository of the paper 'Invariance-based semi-supervised representation learning for sound event detection'.

Generation of SystemC code from AADL models for functional simulation