航空电子嵌入式计算建模仿真方法研究

航空电子系统经过数十年的演进，正朝着更加开放、灵活、智能的方向发展，同时也不断面临新的问题和挑战,需要在功能复杂度不断提升的前提下实现资源的高效分配，保证系统的实时性与可靠性。通过分析机载嵌入式计算特点，基于模型的系统工程理论的同时结合形式化建模仿真方法，针对典型嵌入式计算平台场景中的组件开展基于模型的设计方法研究与应用。该方法能够清晰描述航电嵌入式计算的时间关键性特征，有效辅助设计和论证工作，降低研发周期、提升设计的可复用性。

Research on Modeling and Simulation Method of Avionics Embedded Computing

After decades of evolution, avionics systems are becoming more open, flexible and intelligent. Meanwhile,they are also facing new problems and challenges. It is necessary to achieve efficient allocation of resources under thepremise of increasing function complexity, and also ensure real-time and reliability of the system. Based on the analysisof the characteristics of airborne embedded computing and the theory of model-based system engineering, combinedwith the formal modeling and simulation methods, the research of model-based design methods are carried out, aimingat typical embedded computing platform. The methods can clearly represent the time-critical characteristics of avionicsembedded computing and effectively assist in evaluation design and demonstration. Moreover, it also can shorten developmentcycle and improve design reusability.