嵌入式软件系统界面可定制模型

针对嵌入式软件界面子系统的设计特点 ,介绍了进行嵌入式软件系统界面设计的可定制技术 ,并提出了一个界面可定制模型。首先阐述了界面可定制模型的设计原理、模型结构和实现技术 ;然后介绍了界面可定制模型在嵌入式软件系统界面子系统设计中的一个应用实例。实例证明 。

面向嵌入式软件测试的仿真建模

论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性。

T-CBESD:一个构件化嵌入式软件设计模型验证工具

现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-CBESD(Tool for Component-Based Embedded Software Designs).工具直接使用UML顺序图模型作为系统规约,可以检验系统设计模型与场景式规约之间多种行为一致性问题;并使用消息事件的时间约束不等式,检验实时接口自动机网络与带时间约束的顺序图模型之间的实时行为一致性问题.工具设计与实现内容包括:输入输出接口、顺序图模型的预处理转换、状态空间数据结构设计、抽象验证算法的实现以及通信构件组合系统的实例应用分析.

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

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

实时嵌入式构件模型组装方法及时间性推理

针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制。

浅谈组件对象模型

软件重用是软件产业追求的目标,是软件发展的一大飞跃,组件对象模型是未来Windows系统开发的基本体系结构,为更高层的软件重用技术提供基础.