Explore projects

Model synchronization between Adele and OSATE with MoTE TGG.

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/

16 nibbles (64 bits) parallel sboxes using Xilinx CFGLUT5 primitive

Embb, a generic hardware and software architecture for digital signal processing