Gilberto Romboli

This innovative framework allows reducing development times, increasing system reliability, and improving the developer experience, with a significant overall impact on the costs and safety of space missions, all while fully respecting ECSS standards thanks to the deterministic on-board approach. The integration of task descriptive metadata creates a true end-to-end automated pipeline from firmware analysis to deterministic rule generation, making Y-SAFE inherently adaptive to any satellite system with minimal manual configuration.