实时嵌入式软件系统测试需求建模研究

使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度.UML状态图具有形式化特征,适合复杂系统详细行为的描述.本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法.该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等.并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述.基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例.作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点.     

高速矢量处理机的设计与实现

为了满足海量实时处理需求,利用 Butterfly DSP公司的 BDSP91 2 4 /932 0矢量数字信号处理 ( DigitalSignal Processing,DSP)芯片组,设计和实现了一种高速矢量处理机,并给出了该矢量处理机的设计思想和性能指标。最后说明该处理机在合成孔径雷达 ( Synthetic Aperture Radar,SAR)脉冲压缩和其它领域的应用。     

广播星历旋转误差对低轨星载BDS-3/GPS实时精密定轨影响分析

基于LT-01A卫星星载BDS-3/GPS观测值进行了星载实时精密定轨研究,并重点分析了广播星历旋转误差对实时定轨精度的影响。通过赫尔默特转换评估了所选时段内GPS和BDS-3广播星历轨道旋转误差,显示BDS-3广播星历旋转误差可达-8.7 mas,平均量级较GPS大约2.5倍。BDS-3广播星历经旋转改正后,轨道切向、法向均方根(RMS)误差从25 cm左右提升至10 cm量级,提升幅度超过50%。因此,基于星载BDS-3以及BDS-3/GPS联合的实时定轨精度受BDS-3星历旋转误差影响严重,且主要作用于切向和法向。经过旋转改正后,单独BDS-3实时定轨在切向、法向、径向RMS分别为21.0 cm、10.7 cm及11.2 cm,其切向和法向精度比改正前分别提升15.0%和31.8%;BDS-3与GPS联合定轨进一步提升切向精度至19.4 cm。得益于BDS-3广播星历较高的精度,单BDS-3以及BDS-3/GPS联合的实时定轨在旋转改正前的三维RMS分别为31.9 cm和29.2 cm,较单GPS实时定轨分别提升9.1%和16.8%;添加旋转改正后,其定轨精度分别提升至26.7 ...     

软件数据耦合影响分析方法

以软件中数据为核心,通过分析一个具有高度数据耦合、实时并发进程特点的武器装备飞行控制软件实例,提出一种实时软件数据耦合影响分析方法.该方法通过静态分析实时软件中全部共享数据的并发使用情况,可有效发现实时软件中因数据耦合和并发执行引起的共享数据冲突,消除软件的质量隐患.     

基于RTWEC的控制算法自动代码生成技术

研究基于实时工作间嵌入式代码生成器(Real-timeworkshopembeddedcoder,RTWEC)的航空发动机复杂控制算法自动生成可执行代码技术,介绍原理及其应用方法.针对某型航空发动机控制器多变量控制算法的手动编程和自动生成代码进行电子控制器半实物仿真并比较分析.结果说明该方法简单、易行,有效降低了程序编制、查错和调试的工作量,缩短了研制周期,可以广泛用于控制器复杂算法从设计仿真到具体实现的开发过程.      

MATLAB与Visual C#.NET混合编程

在分析MATLAB与Visual C#．NET通用性和优缺点的基础上,介绍了MATLAB和Visual C#．NET混合编程的设计思想和编程特点。接着具体给出了基于visual C#．NET开发应用程序调用MATLAB算法的实现方法,并重点结合实例闸述了运用COM组件技术混合编程的具体步骤和注意事项。     

一种基于单片机控制的铁电存储装置

这里主要介绍了一种单片机控制的数据传输存储装置,通过单片机进行控制从而实现数据的掉电非易失性存储,当供电停止时,数据不会丢失。该装置除了能够进行海量的数据非易失性存储外,还提供了实时时钟功能,该功能除了能够提供准确的时间信息,还能对时间进行实时的更新。