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
Updated -
simple python script to convert Synapses csv schedules to ics calendars.
Updated -
Example of Verilog/SystemVerilog + SystemC TB simulation using Verilator
Updated -
This is the repository containing the code of the PEPR - PC7 project
Updated -
This project provides utility libraries that can be used by several MBE tools such as RAMSES, TTool or RDALTE
Updated -
Updated
-
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/
Updated -
Updated
-
Alternate free software firmware for DFRobot DFR0592 DC motor driver hat
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated