functional-safety topic

This repository contains CodeQL queries and libraries which support various Coding Standards.

github

NaiveSystems Analyze is a static analysis tool for code security and compliance.

naivesystems

Toolbox for software dependability engineering of artificial neural networks

dependable-ai

Fraunhofer IMS processor core. RISC-V ISA (RV32IM) with additional peripherals for embedded AI applications and smart sensors.

Fraunhofer-IMS

Luxoft Automotive HMI Safe Renderer

Luxoft

Fast and flexible data logging/tracing toolkit for software testing and debugging. Minimally intrusive C/C++ code instrumentation, host-based decoding application, demo code included.

RTEdbg