Repositories list

• ASPIS

  Public
  Automatic Software-based Protection and Integrity Suite

  C++

  •

  MIT License

  •5•10•1•1•Updated Dec 9, 2024Dec 9, 2024

• poliphaser

  Public
  A non-OOP wrapper of Phaser

  JavaScript

  •

  MIT License

  •0•0•0•0•Updated Dec 3, 2024Dec 3, 2024

• konro-DROM-EUPilot

  Public
  C++

  •

  Apache License 2.0

  •0•0•0•0•Updated Oct 8, 2024Oct 8, 2024

• schedsim

  Public
  Python

  •

  Apache License 2.0

  •1•1•0•0•Updated Oct 2, 2024Oct 2, 2024

• embedded_kernel_comparison

  Public
  Comparison of Miosix with other embedded kernels

  C

  •0•0•0•0•Updated Sep 27, 2024Sep 27, 2024

• SELDestroyer

  Public
  C

  •

  MIT License

  •0•0•0•0•Updated May 29, 2024May 29, 2024

• heterogeneousRTOS_benchmark

  Public
  C

  •1•0•0•0•Updated Jan 1, 2024Jan 1, 2024

• heterogeneousRTOS

  Public
  C

  •1•1•0•0•Updated Jan 1, 2024Jan 1, 2024

• heterogeneousRTOS_FaultDetector_HLS

  Public
  C++

  •1•0•0•0•Updated Jan 1, 2024Jan 1, 2024

• marco-ram-board

  Public
  Hardware design for a STM32F7-based board with lotsa RAM

  C

  •1•0•0•0•Updated Dec 23, 2023Dec 23, 2023

• stm32l152ret6-freertos

  Public
  C

  •

  MIT License

  •0•0•0•0•Updated Nov 29, 2023Nov 29, 2023

• heterogeneousRTOS_HW

  Public
  Hardware Project for platform on which heterogeneousRTOS runs (Vivado project, Verilog HDL)

  Tcl

  •1•1•0•0•Updated Oct 27, 2023Oct 27, 2023

• konro

  Public
  A modern resource manager

  C++

  •

  Apache License 2.0

  •0•0•0•1•Updated Oct 10, 2023Oct 10, 2023

• es-prj-wcet-tool

  Public
  Rust

  •0•0•0•0•Updated Feb 6, 2023Feb 6, 2023

• konro-api-doc

  Public
  REST API documentation for Konro

  HTML

  •0•0•0•1•Updated Nov 9, 2022Nov 9, 2022

• llvm-pass-cfg-fault-detection

  Public
  C++

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Jul 21, 2022Jul 21, 2022

• Critical_Link_board_CPU_FPGA

  Public
  VHDL

  •

  GNU General Public License v2.0

  •2•0•0•0•Updated Jun 17, 2022Jun 17, 2022

• TAFFO

  Public archive
  Tuning Assistant for Floating point to Fixed point Optimization

  fixed-pointcompiler-pluginprecision-tuning+ 1compiler-optimization-pass

  C++

  •

  MIT License

  •6•19•1•0•Updated Mar 26, 2022Mar 26, 2022

• libta

  Public
  RECIPE - Timing Analysis Library

  C++

  •

  Apache License 2.0

  •0•1•0•0•Updated Mar 9, 2022Mar 9, 2022

• mc-fault-simulator

  Public
  MC Fault-Tolerance tool RTAS 2022

  C++

  •0•1•0•0•Updated Feb 21, 2022Feb 21, 2022

• aos-ipc-publisher-subscriber

  Public
  C

  •0•1•0•0•Updated Dec 16, 2021Dec 16, 2021

• TAFFO-test

  Public archive
  C

  •1•0•0•1•Updated Nov 18, 2021Nov 18, 2021

• TAFFO-submodule-dta

  Public archive
  TAFFO data type allocation pass

  C++

  •

  MIT License

  •0•0•0•0•Updated Nov 9, 2021Nov 9, 2021

• TAFFO-submodule-init

  Public archive
  TAFFO initialization and pre-processing pass

  C++

  •

  MIT License

  •2•0•0•0•Updated Nov 3, 2021Nov 3, 2021

• TAFFO-submodule-vra

  Public archive
  TAFFO value range analysis pass

  C++

  •

  MIT License

  •0•0•0•0•Updated Oct 31, 2021Oct 31, 2021

• libenercast

  Public
  C library to access solar panel controllers

  C++

  •0•0•0•0•Updated Sep 16, 2021Sep 16, 2021

• TAFFO-submodule-conv

  Public archive
  TAFFO code conversion pass

  C++

  •

  MIT License

  •2•0•0•0•Updated Jul 27, 2021Jul 27, 2021

• TAFFO-submodule-fe

  Public archive
  TAFFO feedback estimation pass

  C++

  •

  MIT License

  •0•0•0•0•Updated Jun 29, 2021Jun 29, 2021

• libhwrel

  Public
  RECIPE - Hardware Reliability Library

  C++

  •0•0•0•0•Updated Jun 11, 2021Jun 11, 2021

• linux-rt-science

  Public
  Resources for real-time Linux used in scientific applications

  Shell

  •

  Apache License 2.0

  •0•0•0•0•Updated Feb 23, 2021Feb 23, 2021