Airborne Software Full Lifecycle Airworthiness Compliance Solution
工业和信息化部在《“十四五”软件和信息技术服务业发展规划》中对工业软件提出了明确增长目标，同时新型工业化、制造强国、数字中国、数字融合等一系列战略部署对以机载软件开发工具为代表的航空工业软件发展提出了新的更高要求。目前以SCADE等为代表的机载软件开发工具链普遍由美西方企业垄断，核心机载软件工具受制于人的局面对航空领域的自主可控发展、高质量发展提出了严峻挑战。掌握关键核心技术是实现高水平科技自立自强的内在要求，在当前国际形势下，加快突破关键核心技术是应对科技竞争的必然选择。根据航空软件标准DO-178C，机上软件生命周期可由图1描述。机载软件全生命周期工具覆盖需求管理、架构设计、建模开发、测试验证等全流程，涉及需求定义、自动代码生成、代码分析、集成测试、目标机测试和等多项核心技术。
随着航空电子系统复杂性的不断提高，机载软件在航空系统中的作用日益凸显，机载软件质量直接关系到飞行安全和系统可靠性。因此，上海控安针对机载软件全生命周期提出适航符合性解决方案，通过SmartRocket系列产品实现对机载软件全生命周期的覆盖，其中红色部分为上海控安SmartRocket系列产品能力覆善部分。同时搭配全流程适航认证咨询，包括软硬件适航研制体系构建、软硬件全生命周期符合性支持、专项疑难问题符合性方法设计和实施指导，符合性数据开发和评审等，专注帮助企业解决适航取证过程中的技术难题，协助其通过中国民航局CAAC等适航性认证，促进企业合规性建设，助力产品落地。
覆盖软件需求和HLR评审和分析过程，该工具覆盖需求工程的各项活动，包括需求定义，需求版本、基线、变更、追溯管理、需求评审等。
覆盖软件底层需求开发和软件编码过程，该工具具备图形化建模功能基于LUSTRE v6同步语言，支持数据流、控制流和状态机混合建模；具备代码生成功能，通过模型、LUSTRE语言、代码转换，实现C代码自动生成。
覆盖源代码评审与静态分析、软件低层测试、软件集成测试和软/硬件集成测试过程。该工具包含静态分析、单元测试、集成测试和目标机测试模块，其中静态分析模块支持根据国军标、MISRA等标准对源码进行代码合规性检查；单元测试模块支持函自动分析被测C/C++工程并基于动态符号执行技术自动生成高覆盖、低冗余的测试用例；集成测试模块支持调用函数集成程度的自主控制及基于调用覆盖的测试用例自动生成；目标机测试模块支持STM3或GD32/CH32/APM32等类似级别的ARM CortexM或RISC-V单片机、TI的C2000系列DSP、NXP的MPC5554。
