#Safety-critical

RTEdbg

RTEdbg

A fast and flexible data logging/tracing toolkit for software testing, debugging, and visualization. Features minimally intrusive C/C++ code instrumentation, a host-based decoding application, and demo code. It is essentially an fprintf() function that runs on the host instead of the embedded system.

boyiwei

alignment-attribution-code

[ICML 2024] Assessing the Brittleness of Safety Alignment via Pruning and Low-Rank Modifications

JGalego

awesome-safety-critical-ai

When the stakes are high, intelligence is only half the equation - reliability is the other ⚠️

jorge-martinez-gil

astrid

Advanded Software Tools for the Reliability of Industrial Datasets