We present a safety verification framework for design-time and run-time
assurance of learning-based components in aviation systems. Our proposed
framework integrates two novel methodologies. From the design-time assurance
perspective, we propose offline mixed-fidelity verification tools that
incorporate knowledge from different levels of granularity in simulated
environments. From the run-time assurance perspective, we propose reachability-
and statistics-based online monitoring and safety guards for a learning-based
decision-making model to complement the offline verification methods. This
framework is designed to be loosely coupled among modules, allowing the
individual modules to be developed using independent methodologies and
techniques, under varying circumstances and with different tool access. The
proposed framework offers feasible solutions for meeting system safety
requirements at different stages throughout the system development and
deployment cycle, enabling the continuous learning and assessment of the system
product.

本文提出了一种针对航空系统中基于学习的组件进行设计时间和运行时保证的安全验证框架，该框架整合了两种新方法：同时考虑了离线和在线验证机制，并且允许各个模块使用独立的方法和技术进行开发，以满足系统不同阶段的安全性要求，从而实现系统产品的持续学习和评估。