检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中航工业航空动力控制系统研究所,江苏无锡214063
出 处:《航空发动机》2016年第5期43-47,共5页Aeroengine
基 金:国家重大基础研究项目资助
摘 要:为了探索SCADE开发环境在基于模型设计(MBD)的软件开发中的优势,理解其建模和自动代码生成机制,研究其在基于模型的测试和覆盖率分析中的实现方法,基于某型航空发动机FADEC系统的健康管理软件开发,应用了SCADE开发环境的建模、仿真、测试及覆盖率分析、代码生成与集成的全流程的MBD开发方法,并进行了完整的系统测试,测试用例全部通过。系统测试的结果验证了基于SCADE开发环境进行FADEC软件开发的正确性和可靠性,为SCADE开发环境在航空发动机FADEC软件开发中的应用提供了技术指导和工程借鉴。To explore the advantage of Safety Critical Application Development Environment(SCADE) development environment in software development using Model Based Development(MBD) method, apprehend its modeling and auto-code generation mechanism,research its implement method of test and coverage analysis based on models, the full MBD development processes, include modeling,simulation, test and coverage analysis, code generation and integration were used based on the health-monitor software development of an aeroengine. The totally system test was completed and all the test scripts were passed. The correctness and reliability of FADEC software development, based on SCADE development environment, were verified according to the results of the system test. The technique and project guidance of SCADE development environment on aeroengine FADEC software development are supplied by these researches.
关 键 词:MBD 覆盖率分析 自动代码生成 SCADE 航空发动机
分 类 号:V233.7[航空宇航科学与技术—航空宇航推进理论与工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.30