high-integrity

There are 4 repositories under high-integrity topic.

  • o1heap

    pavel-kirienko/o1heap

    Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. There is very little activity because the project is finished and does not require further changes.

    Language:C++257141432
  • kocherga

    Zubax/kocherga

    Robust platform-agnostic Cyphal/DroneCAN bootloader for deeply embedded systems

    Language:C++46141011
  • cavl

    pavel-kirienko/cavl

    Generic single-file implementations of AVL tree in C and C++ suitable for deeply embedded systems. There is little activity because the project is finished.

    Language:C15423

  • vivianjia123/Password-Manager

    SWEN90010: High Integrity Systems Engineering. Assignment 3, 2020 S1.

    Language:Ada10