用于实时系统性能分析中的扩展Petri网

Petri网(PN)是用于系统建模和性能分析的一个强有力的工具。当用于实时系统时,需要对其进行扩展以能表达实时时间属性。本文介绍几种与时间有关的扩展Petri网及其应用,并从使能规则、点火规则和点火方式几个方面对它们进行了分析比较。     

软件静态分析工具评析

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析。软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,可为软件测试人员选择合适的软件静态分析工具提供参考。     

嵌入式系统输入法服务器设计与实现

针对一些嵌入式系统应用要求具备中文信息处理能力的需求,介绍嵌入式系统输入法基本原理,设计了一个通用输入法服务器框架和码表结构,并给出了由Windows码表转化得到码表的方法,支持拼音、双拼、五笔、郑码等输入法,可以方便地在多个系统中移植。     

舰艇信息系统基础设施发展回顾及展望

在分析三代舰艇信息系统基础设施发展过程的基础上,总结了其演进规律,从需求牵引、技术推动等角度分析展望了舰艇信息系统基础设施发展趋势,指出标准化仍是信息系统基础设施发展的内在动力,平台化将成为重点,进一步分析了现有设备可能存在的问题,给出了解决思路.     

基于AndroMDA的实时系统代码生成技术研究

针对实时系统软件的代码生成技术，基于开源软件AndroMDA，分析并建立了实时系统平台的PSM元模型，研究了基于类图和状态图的PIM到PSM和PSM到代码的转换规则，最后给出了模型转换的实现算法。应用效果分析表明，该方法与LACATRE和手工编码相比，开发软件的效率和质量都有较大的提高。     

嵌入式浏览器中SSL的设计与实现

针对嵌入式浏览器信息传输的安全性问题和嵌入式软件的特点,介绍了SSL协议,提出了一种在嵌入式浏览器中实现对SSL协议支持的方法.通过分析影响SSL协议客户端性能的因素,对SSL的实现过程进行了适当的优化,使用会话恢复机制、只对服务器进行验证的简单握手模式、减少TCP调用次数和优化对批量数据加密算法等方法,实现了嵌入式浏览器对SSL协议的支持;并介绍了方法在嵌入式浏览器JARI_Browser中的实现过程.实际的应用验证了该方法的可行性和正确性.     

RTEMS研究及工程应用

美国开源军用实时操作系统RTEMS(Real-Time Executive for Multiprocessor Systems)的功能性能不逊于VxWorks。基于对其体系结构的分析、开发环境的建立,应用平台的构建,研究了该系统在军用电子装备中应用的可行性,为研究开发国产操作系统提供借鉴。