programming-language verification safety awesome-list certification avionics safety-critical awesome-lists safety-standards

c-plus-plus hardware boost-libraries integer-arithmetic safety-critical safe-numerics safe-integers

algorithm real-time embedded memory realtime memory-allocator embedded-systems constant-time heap memory-management codebase c11 wcet misra worst-case overhead avionics fit-algorithm safety-critical high-reliability safety-critical-systems hard-realtime hard-real-time wcmc memory-fragments high-integrity

reinforcement-learning reinforcement-learning-algorithms formal-methods formal-verification keymaerax safety-critical cyber-physical-systems reinforcement-learning-environments

automation armv7 automotive safety-critical cortex-r5f cortex-r4f

safety-critical adaptive-control nonlinear-control safe-control

jenkins mutation-testing cpp17 clang-tidy mocking-framework safety-critical single-header unit-testing-framework

security opc-ua safety-critical b-method

control-systems linear-systems safety-critical high-dimensional controller-synthesis controlled-invariant-sets

jekyll github-page embedded books notebook notes jekyll-themes safety-critical

embedded mcu texas-instruments safety-critical flashmemory tms570 f021

c arduino pid c99 arduino-library pid-control safety-critical pid-controller

lasercut grbl cnc-machine safety-critical laser-cutting safety-door

cpp safety-critical

arm armv7 safety-critical cortex-r4f

analysis hazard systems safety-critical

markov-model fault-tolerance safety-critical tmr triple-modular-redundancy vlsi-circuits information-redundancy

code proof formal-methods code-generation safety-critical

safety-critical tms570 cortex-r4f