| 航空电子嵌入式计算建模仿真方法研究 |
| |
| 引用本文： | 朱国锋,陈昊.航空电子嵌入式计算建模仿真方法研究[J].航空电子技术,2022,53(3):40-46. |
| |
| 作者姓名： | 朱国锋 陈昊 |
| |
| 作者单位： | 中国航空无线电电子研究所, 上海 200241 |
| |
| 摘 要： | 航空电子系统经过数十年的演进，正朝着更加开放、灵活、智能的方向发展，同时也不断面临新的
问题和挑战, 需要在功能复杂度不断提升的前提下实现资源的高效分配，保证系统的实时性与可靠性。通过分
析机载嵌入式计算特点，基于模型的系统工程理论的同时结合形式化建模仿真方法，针对典型嵌入式计算平台
场景中的组件开展基于模型的设计方法研究与应用。该方法能够清晰描述航电嵌入式计算的时间关键性特征，
有效辅助设计和论证工作，降低研发周期、提升设计的可复用性。
|
| 关 键 词： | 航空电子 嵌入式计算 系统工程 形式化建模 |
| 收稿时间： | 2021/11/11 0:00:00 |
| 修稿时间： | 2022/8/22 0:00:00 |
Research on Modeling and Simulation Method of Avionics Embedded Computing |
| |
| ZHU Guo-feng,CHEN Hao.Research on Modeling and Simulation Method of Avionics Embedded Computing[J].Avionics Technology,2022,53(3):40-46. |
| |
| Authors: | ZHU Guo-feng CHEN Hao |
| |
| Affiliation: | China National Aeronautical Radio Electronics Research Institute, Shanghai 200241, China |
| |
| Abstract: | 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 the
premise of increasing function complexity, and also ensure real-time and reliability of the system. Based on the analysis
of the characteristics of airborne embedded computing and the theory of model-based system engineering, combined
with the formal modeling and simulation methods, the research of model-based design methods are carried out, aiming
at typical embedded computing platform. The methods can clearly represent the time-critical characteristics of avionics
embedded computing and effectively assist in evaluation design and demonstration. Moreover, it also can shorten development
cycle and improve design reusability. |
| |
| Keywords: | avionics embedded computing system engineering formal modeling |
|
| 点击此处可从《航空电子技术》浏览原始摘要信息 |
|
点击此处可从《航空电子技术》下载全文 |
|
