构件化嵌入式软件设计模型验证工具的研究

基于模型设计与分析技术能够明显提高现代复杂嵌入式软件系统的可靠性,本文基于接口自动机模型设计实现了一个构件化嵌入式软件验证工具并进行了形式化验证。该工具的系统规约采用UML顺序图模型实现,能够对系统设计模型与场景式规约之间多种行为的一致性进行检验,并对实时接口自动机网络与具有时间约束顺序图模型的一致性行为进行检验。     

Linux下嵌入式软构件技术研究与实现

将软构件技术应用到嵌入式软件的开发中去,可以提高模块的重用性和嵌入式开发的效率。分析了在Linux平台下引入嵌入式软构件技术的必要性,提出了一种构件模型ECMOL,基于该模型详细阐述了Linux下嵌入式软构件的设计思路,并结合一个实例给出了它的具体实现过程。     

某嵌入式软件可靠性仿真测试系统设计与实现

根据软件可靠性要求,在对某嵌入式控制软件进行功能需求和组成结构分析的基础上,设计实现了一种嵌入式可靠性仿真测试系统。该系统主要是针对某嵌入式被测系统建立仿真测试环境,对被测系统中的嵌入式软件进行可靠性测试。文章重点对系统设计中的需求分析、系统构成和构成系统各个模块的设计方法进行了阐述。最后通过测试实践验证了系统在实际嵌入式软件可靠性测试中具有较高的使用价值,并为其他类嵌入式软件的可靠性测试提供了一种较为灵活的思路。     

嵌入式软件的可配置构件模型

基于构件的软件开发是一种"构件开发+基于构件的组装"的开发模式。在分析嵌入式系统特征和基于构件的软件开发后,提出了一个嵌入式软件的可配置构件模型,并分析了该模型的组成要素。该模型具有较好的通用性。     

嵌入式终端设备的一种自动化测试技术

本文主要探讨一类嵌入式终端设备的自动化测试技术。鉴于嵌入式软件依赖硬件运行的特殊性,本文提出一种自动化测试的模型——U模型,本模型提供了嵌入式系统自动控制和自动测试的一种解决方案。     

基于UML的建模及模型检验研究

UML是一种广泛使用的面向对象的可视化统一建模语言,但UML缺乏精确的语义描述,难以对UUL模型进行分析验证以判断设计规范是否满足目标需求。符号模型检验是一种能够有效保证系统可信性质的自动检验技术。为了检验UML模型的正确性,在建模的基础上把UML模型转换为SMV模型,然后使用符号模型检验器（SMV）对模型进行检验,有利于在系统的设计早期发现系统的缺陷。     

浅析嵌入式软件可靠性设计

嵌入式系统应用领域千差万别,但基本要求嵌入式系统功能强大、性能稳定、工作可靠。对嵌入式系统进行快速有效的测试则愈加显得重要。本文对嵌入式系统的软件可靠性进行了深入全面的分析,针对如何提高嵌入式软件可靠性安全性,进行开发策略、程序设计、测试手段、安全分析等方面进行了探讨,对嵌入式软件测试关键技术和测试结构进行论述。     

三维地形提示告警系统的设计与实现

阐述三维地形提示告警系统,这是一种增强型地形提示和告警的系统,是航空电子系统导航防撞的必备机载设备。针对大容量地形数据加载和前视地形绘制,为提高系统实时性及实用性,基于嵌入式平台系统对三维地形告警系统算法和三维显示进行了设计和研究,它采用多核处理器技术实现算法运算和地形加载绘制,软件运行基于嵌入式实时操作系统实现。提出一种三维地形加载显示方法对三维地形进行加载显示,设计嵌入式软件对算法进行实现验证。通过实验效果分析,验证地形加载显示算法高效性和系统实时性及实用性。     

嵌入式软构件模型JECM的技术研究及实现

将软构件技术应用到嵌入式软件的开发中去，可以提高嵌入式开发的效率。利用JAvA语言的优势．构建了嵌入式软构件模型叫ECM。介绍了JECM构件模型，阐述了JECM模型的实现技术，并结合一个实例给出了该模型的具体实现。     

嵌入式系统软件模拟及硬件接口设计的快速验证

该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬件接口功能。