您现在的位置: 首页 > 标签 > 雷达系统软件
雷达系统软件
雷达系统软件
相关文章 : 1篇 浏览 : 15次

雷达系统软件多是实时嵌入式系统软件,其逻辑和结构复杂,调试运行困难.采用传统手工编码的开发方式,软件需求和设计错误往往在编码完成后的集成测试阶段才能发现,最终导致研制进度慢,软件产品质量差.采用基于形式化建模方法开发的软件,在模型的设计阶段就可以进行模型仿真验证,能够直观,全面地分析模型的正确性.经过验证的模型可以自动生成与平台无关的高质量C代码,且模型易于重用,可以显著提高雷达系统软件的安全性,可靠性和开发效率.