俞烈彬
- 作品数：5 被引量：15H指数：3
- 供职机构：江苏自动化研究所更多>>
- 相关领域：自动化与计算机技术军事更多>>
- 嵌入式设备驱动程序独立加载技术
- 2011年
- 针对嵌入式软件开发的特点,运用独立加载技术实现对嵌入式系统驱动程序代码的独立加载和升级。设备驱动程序独立加载技术打破了多个嵌入式软件模块合编成单个目标文件的传统模式,将各个软件模块进行独立和分离,通过硬件自动扫描引擎自动检测硬件设备,程序加载器构建设备链表和驱动程序链表,并根据配置信息分别加载相应的驱动程序和应用程序,实现多个嵌入式设备驱动程序的独立加载。嵌入式设备驱动程序独立加载技术的研究和应用为各系统组件和应用模块的独立开发以及软件模块动态扩展和独立升级提供了捷径,降低了嵌入式软件协作的人力和时间成本。
- 朱兴泉俞烈彬
- 关键词：嵌入式驱动程序
- 系统虚拟化技术研究被引量：5
- 2013年
- 系统虚拟化技术已经成为当前研究的热点,并在工业界得到了广泛应用。对系统虚拟化技术进行了较为全面的分析,包括系统虚拟化的架构,系统虚拟化中的CPU虚拟化、内存虚拟化、设备虚拟化等关键技术,系统虚拟化的性能评测技术,以及系统虚拟化的应用和相关产品。最后对系统虚拟化的发展趋势进行了展望。
- 俞烈彬陈学兵
- 关键词：系统虚拟化虚拟机监控器服务器嵌入式系统
- 基于MDA的MARTE模型形式化转换被引量：2
- 2012年
- 非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。
- 王立杰刘昌禄俞烈彬
- 关键词：元模型
- 武器装备系统中的人机交互新技术被引量：5
- 2013年
- 现代武器装备系统正在向智能化方向发展,人机交互的效率将直接影响武器装备系统的作战性能。本文研究了单点触控技术、多点触控技术、语音交互技术和多通道人机交互技术等人机交互的新技术,分析了各项技术的基本原理、技术特点、发展现状及其在武器装备系统中的应用前景。新型人机交互技术的应用,能够显著提高武器装备系统的人机交互效率,进而提高其作战能力和效率。未来的武器装备系统中,新型人机交互技术必将发挥至关重要的作用。
- 俞烈彬孟凡文
- 关键词：人机交互武器装备系统
- 可信软件研究被引量：3
- 2013年
- 可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。
- 俞烈彬王立杰
