high-integrity

There are 0 repository 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.
allocator avionics constant-time embedded embedded-systems hard-real-time hard-realtime heap high-integrity high-reliability malloc memory memory-allocator memory-management misra real-time realtime safety-critical safety-critical-systems worst-case
Language:C++ 229
kocherga
Zubax / kocherga
Robust platform-agnostic Cyphal/DroneCAN bootloader for deeply embedded systems
avionics bootloader can-bootloader cpp cpp-17 cyphal cyphal-bootloader dronecan dronecan-bootloader embedded embedded-cpp embedded-systems firmware-update firmware-updates hacktoberfest high-integrity mcu-bootloader ota uavcan uavcan-bootloader
Language:C++ 43
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.
avl avl-tree embedded embedded-systems c-data-structures c-data-structures-and-algorithms c-data-types high-integrity avltree avl-tree-implementations avl-tree-node avltrees avl-tree-code c-container crtp
Language:C 12
vivianjia123 / Password-Manager
SWEN90010: High Integrity Systems Engineering. Assignment 3, 2020 S1.
ada high-integrity
Language:Ada