Explore GitLab

Discover projects, groups and snippets. Share your projects with others


  • mbe-tools / TTool

    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

    1
    updated
  • mbe-tools / RAMSES

    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.

    2
    updated
  • Renaud Pacalet / secbus

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

    0
    updated
  • 0
    updated
  • mbe-tools / utilities

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

    0
    updated
  • 0
    updated
  • dsi / presentation-services-dsi

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

    0
    updated
  • Renaud Pacalet / mli

    Yet another Makefile for LaTeX

    0
    updated
  • 0
    updated
  • Renaud Pacalet / embb

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

    0
    updated
  • Renaud Pacalet / sab4z

    A simple example design for Zynq-based boards. VHDL design of custom HW mapped in Programmable Logic, Linux - Busybox - Buildroot SW stack, user SW applications interacting with custom hardware, Linux drivers, SW and HW debugging.

    0
    updated
  • Renaud Pacalet / hwprj

    A set of scripts and Makefiles for digital hardware projects

    0
    updated
  • Renaud Pacalet / sab4u

    A simple example design for Zynq Ultrascale+ based boards.

    0
    updated
  • Renaud Pacalet / pepg

    A perl utility to send data acquired by a sensor, through an Ethernet link (UDP packets), to a remote computer for real-time visualization with Gnuplot

    0
    updated
  • 0
    updated
  • mbe-tools / ADOSATE

    Model synchronization between Adele and OSATE with MoTE TGG.

    0
    updated
  • 0
    updated
  • sen / rtl-ator

    Example of Verilog/SystemVerilog + SystemC TB simulation using Verilator

    0
    updated
  • Pierre-Antoine Rault / qoef

    QoE testbed for sampling constrained applications like Skype

    0
    updated
  • 0
    updated