Esterel Technologies>News & Events>成功案例>Korea Aerospace University

韩国航空航天大学使用SCADE开发研究用的机载防撞系统

韩国航空航天大学（KAU）一所具有54年历史的大学，在韩国高度发达的航空航天工业领域扮演着重要的角色，同时也帮助韩国在航空运输领域位居全球第六位。KAU的主要目标是致力于高技术航空工程领域的专业，如飞机设计、制造和航空结构以及与航空领域相关的专业，如飞行操作，飞行控制，飞机维护，机场管理，航空运输，另外还有逻辑，航空法，管理学和英语等专业。

撞机是当今造成空难的第三大成因。ACAS在航空导航系统安全方面扮演重要角色。ACAS独立于地面系统，诸如航空交通控制。同时，ACAS必须符合DO-178B认证或类似的区域认证。ACAS在航空领域提高了3-5倍的安全性。

KAU训练学生将SCADE运用于开发机载防撞系统（ACAS）。KAU首次开发的模型包括机载防撞的8个重要的阶段：监视，追踪，交通咨询，威胁检测，范围和高度测试，水平分辨率滤波和解决方案咨询。这一模型根据SCADE Suite高层流程图实施。流程图包含了确定和分层的数据流模型，如经度，纬度和高度以及飞机跟踪确定性和分层数据流模型。输出包括地面咨询和解决方案咨询。由SCADE设计的8个模块基于先前提到的飞机防撞的八个阶段。这些模块将成为由SCADE Display创建的飞行显示系统的一部分。

ACAS利用SCADE Suite 和SCADE Display进行开发，KAU的学生能测试和检查任何一种所感兴趣的测试用例。KAU使用SCADE模型和现实来调查更多安全逻辑（MSL），以及作为实施ACAS的基础，继续致力于ACAS的仿真工作。KAU希望运用这一系统作为实施ACAS软件开发的基础。