-
题名基于DO-178C的无关代码和非激活代码适航研究
- 1
-
-
作者
李燕琳
郑雪峰
潘路平
钟旭旭
曾析
胡胤杰
-
机构
中国民用航空适航审定中心成都机载设备审定分中心
中电科航空电子有限公司
商飞软件有限公司
-
出处
《航空计算技术》
2024年第4期76-79,共4页
-
基金
四川省重大科技专项资助(2021ZDZX0006)。
-
文摘
目前我国民用机载设备自研取证项目数量剧增,其承载的功能也正往高关键等级发展。驻留于其中的机载软件,往往因使用了开源代码、库函数、底层驱动等非自研软件模块,在满足DO-178C标准规定的结构覆盖要求时,因代码类型判定不准确,出现适航方案迎审不通过的问题。通过解析DO-178C标准中的理论核心要点,提出了一种代码类型判定流程。总结国内外成功适航经验,对不同项目应用了本判定流程,结合适航关注点给出了实践建议,望给后续项目提供参考和便利。
-
关键词
DO-178C
结构覆盖
无关代码
死代码
非激活代码
-
Keywords
DO-178C
structural coverage
extraneous code
dead code
deactivated code
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于精细流量的网络异常行为检测研究
- 2
-
-
作者
曾析
杜江
何立兰
-
机构
重庆邮电大学通信学院
重庆邮电大学计算机学院
重庆交通大学应用技术学院
-
出处
《信息安全与通信保密》
2008年第6期106-108,共3页
-
文摘
随着Internet的快速发展和网络应用范围的不断扩大,网络日益遭受到了黑客更多的恶意攻击,计算机网络的安全问题已成为一个国际化的问题。面对诸多的挑战与威胁,入侵的检测与防范技术必然成为当前安全审计中的核心技术之一。文章首先介绍了异常检测的发展概况和相关技术,对常用的检测算法进行了分析和评价,为基于网络精细协议流量分析的网络异常实时检测方法的研究提供理论基础。
-
关键词
入侵检测
异常检洲
精细流量
-
Keywords
intrusion detection
anomaly detection
fine traffic
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
