safety-by-design

This paper provides the first systematic analysis of Safety Nets for certifying neural networks in safety-critical aviation systems, demonstrating optimal design configurations that minimize storage size while guaranteeing 100% correct outputs per EASA guidelines.