The aerospace industry is continuously looking for improvements in operational efficiency and performance of systems. In its quest to do so, the industry is turning to Intelligent Adaptive Systems as a possible solution in many areas. However, the nature of the domain imposes expectations of safety, correctness and guarantees of behaviour from such systems. Meeting these expectations simultaneously, finally leading to certified products, poses many challenging problems. A research gap is perceived when the cycle of requirements, system design, verification and validation is examined, paving the need for correctness and guarantees of specifications in the early stages of a complex adaptive avionics system. We present a framework that is targeted for a broad class of avionics systems, engineered for short- and long-term system behaviours, resilient, real-time decision making, establishing trust on the way to certification and being amenable to analysis using formal methods. We have used this framework with two case studies (Flight Management System and Unmanned Aircraft System) and provide an application of this framework with one case study.

航空航天业一直在寻求提高系统的运行效率和性能的方法。为了实现这一目标，业界正在将智能自适应系统作为许多领域的可能解决方案。但是，域的性质强加了此类系统对安全性，正确性和行为保证的期望。同时满足这些期望，最终导致获得认证的产品，带来了许多具有挑战性的问题。当检查需求，系统设计，验证和确认的周期时，就会发现研究空白，这为复杂的自适应航空电子系统的早期阶段的正确性和规格保证提供了需求。我们提供了一个针对广泛航空电子系统的框架，该框架针对短期和长期系统行为，弹性，实时决策，在认证方式上建立信任，并可以使用正式方法进行分析。我们将此框架与两个案例研究（飞行管理系统和无人飞机系统）一起使用，并通过一个案例研究对该框架进行了应用。