形式化建模视角下航空电子系统检测研究

【类型】期刊

【作者】刘美山  

【刊名】电子测试

【关键词】 动态,形式化建模,静态,检测研究,航空电子系统

【摘要】本文首先了解航空电子系统的典型软件体系结构，在形式化建模视角下分别对航空电子系统进行静态建模和动态建模，提出了形式化的航空电子系统综合检测方法，同样从静态和动态两方面对航空电子系统进行全面检测研究。

【年份】2022

【作者单位】中国飞行试验研究院;

【期号】10

【页码】136-138