面向ARINC653操作系统的综合化航空电子软件代码自动生成方法

【类型】期刊

【作者】凌仕翔   杨志斌   周勇 

【刊名】计算机科学

【关键词】 AADL,ARINC653操作系统,综合化航空电子系统,代码自动生成

【摘要】面向ARINC653操作系统的综合化航空电子软件代码自动生成方法

【年份】2024

【作者单位】南京航空航天大学计算机科学与技术学院;高安全系统的软件开发与验证技术工信部重点实验室;

【期号】07

【页码】10-21