某型显控软件模型化设计及在评测中的应用

来源 :战术导弹控制技术 | 被引量 : 0次 | 上传用户:TimRealler
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前软件评测机构对软件编码进行评测的主要依据是软件文档,但是文档与代码之间的映射关系并不是非常明确,软件评测人员往往需要花费大量的时间与设计人员、代码编写人员进行沟通来了解软件的设计思想、系统环境、体系结构、数据流向、控制流程、状态转移关系及各类数据项。以某型号显控软件设计、开发及评测为例.介绍软件模型化设计方法,通过设计模型将嵌入式软件设计、编码及测试过程很好的串接起来。评测人员通过设计模型即可理解设计人员的设计思路、软件的运行环境、数据流向、控制流程及状态转移关系.提高评测效率。
其他文献
以某型电液伺服系统为背景,设计出一种以国产高速1553B总线为通讯总线,采用数字控制方式实现的电液伺服控制器,本文重点介绍了数字控制器工作原理、硬件系统实现及对采用的控制
从1913年法国工程师RenéLorin提出冲压发动机概念到2013年,将是整整一百年。从亚燃冲压发动机到超燃冲压发动机,从液体燃料冲压发动机到固体火箭冲压发动机以及相关的组合发
(上接2013年第1期)5结论NMRG的工程可行性已经被Litton和Singer—Kearfott证明,前者研制一台直径8cm高10cm的单轴光泵浦NMRG样机,陀螺漂移不低于0.05°/h。两家公司目前都中止
针对巡航导弹中制导段飞行时间长、纯惯性导航精度低、中/末制导交接班困难的问题,提出了一种基于红外成像导引头/捷联惯导的新组合导航方案。巡航导弹中制导段红外成像导引头识
对现有水下导航方式进行了分类整理,并对现有的几种水下导航方式进行了对比,分析了各类水下导航方式存在的不足,重点介绍了地图辅助导航方式及地图匹配定位技术研究进展,并分别介
结合“三维模型下车间”工作,从三维模型信息的表达方式选择、三维模型数据质量评价、三维数据规范性检查工具的应用、产品数据管理新模式、传递流程的优化及模型数据档案管理
从机理上分析了型号武器在射前精度检查时,陀螺漂移值偏大的根本原因。说明大地基准方位角的测量偏差会对射前精度检查造成影响,并通过数据分析得到验证。
陀螺稳定跟踪平台广泛应用于弹箭制导、机载、舰载、车载武器等军事领域和空间遥感探测、公安消防、环境监测等民用领域。为了实现运动载体上光电跟踪设备的视轴稳定以保证对
MV-2HT是利用CCDCOLOR相机与图象处理技术,自动检测配件位置不良的一款检测仪器。在部门使用设备检测的过程中,存在设备误报率相对较大情况。对设备的各个参数进行综合分析,合理
借助膜片箝微机处理系统的数据采集卡和分析软件(PCLAMP),采集和分析神经放电信号。设置采样参数表和分析参数表中的某些参数。即可用FETCHEX程序采集神经放电信号,然后用FETCHAN程序进行自动分析。用