Skip to content

@PRETgroup PRETzel

Change the repository type filter

All

    Repositories list

    22 repositories

    • HeartModelPub

      Public
      MATLAB
      •0•1•0•0•Updated Jan 16, 2025Jan 16, 2025

    • modular-code-generation

      Public
      Modular Code Generation from Hybrid Automata
      Kotlin
      •
      MIT License
      •3•2•3•0•Updated Jan 15, 2025Jan 15, 2025

    • easy-rte

      Public
      Toolchain to automatically generate and verify HW or SW runtime enforcers from text-based framework
      SystemVerilog
      •
      MIT License
      •4•5•0•1•Updated Nov 15, 2024Nov 15, 2024

    • goFB

      Public
      An IEC61499 Function Block toolchain written in the Go programming language
      Go
      •
      MIT License
      •4•5•1•0•Updated May 30, 2024May 30, 2024

    • fbc

      Public
      Function Blocks Compiler (FBC)
      Java
      •
      MIT License
      •0•0•0•0•Updated May 28, 2024May 28, 2024

    • bittide_sim_wip

      Public
      C++
      •0•0•0•0•Updated May 8, 2024May 8, 2024

    • ForeC

      Public
      Tools developed for the ForeC synchronous parallel language
      C
      •
      GNU General Public License v3.0
      •2•5•6•0•Updated Apr 12, 2024Apr 12, 2024

    • easy-rte-incremental

      Public
      Toolchain to automatically generate and verify incrementally composed C runtime enforcers from text-based framework
      Go
      •
      MIT License
      •4•0•0•0•Updated Jan 26, 2023Jan 26, 2023

    • timeme

      Public
      Function block examples used in the Model-Driven Design Using IEC 61499 book
      Raku
      •
      MIT License
      •0•0•0•0•Updated Nov 7, 2022Nov 7, 2022

    • drone-attack-enforcers

      Public
      Drone simulation with attacker modelling using runtime enforcers
      Python
      •
      MIT License
      •0•3•0•0•Updated Sep 7, 2022Sep 7, 2022

    • ceu_bittide

      Public
      A WIP implementation of the bittide protocol in the synchronous language Ceu
      C
      •0•0•0•0•Updated Jul 12, 2022Jul 12, 2022

    • NTRTsim

      Public
      The NASA Tensegrity Robotics Toolkit Simulator, a physics based simulator to research the design and control of tensegrity robots.
      C++
      •
      Apache License 2.0
      •81•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • easy-rv

      Public
      Toolchain to automatically generate and verify SW runtime monitors (in C) from text-based FSM
      Go
      •
      MIT License
      •2•1•0•0•Updated Apr 2, 2021Apr 2, 2021

    • ccpe-covid19

      Public
      Compositional Epidemiology of COVID-19
      C
      •1•0•0•0•Updated Sep 17, 2020Sep 17, 2020

    • rsa-pacemaker

      Public
      0•0•0•0•Updated Feb 18, 2020Feb 18, 2020

    • stcompilerlib

      Public
      Go
      •
      MIT License
      •0•0•0•0•Updated Dec 30, 2019Dec 30, 2019

    • GES

      Public
      MATLAB
      •0•0•0•0•Updated Oct 30, 2019Oct 30, 2019

    • PRETgroup.github.io

      Public
      HTML
      •0•0•0•0•Updated Sep 5, 2019Sep 5, 2019

    • sann_Safe-DNN_reproduce

      Public
      Reproduce of sann benchmarks from the paper Synchronous neural networks for cyber-physical systems
      Objective-C
      •0•0•0•0•Updated May 31, 2019May 31, 2019

    • ssann

      Public
      C
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Sep 16, 2018Sep 16, 2018

    • sann

      Public
      C
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Jun 3, 2018Jun 3, 2018

    • PihaBenchmarks

      Public
      The benchmark models that are publicly available
      Perl 6
      •0•0•1•0•Updated Aug 5, 2016Aug 5, 2016