检索结果-维普期刊中文期刊服务平台

嵌入式软件系统界面可定制模型被引量：6: 1; 作者李小将胡正国陈启安《西北工业大学学报》 EI CAS CSCD 北大核心 2001年第3期418-421,共4页; 针对嵌入式软件界面子系统的设计特点 ,介绍了进行嵌入式软件系统界面设计的可定制技术 ,并提出了一个界面可定制模型。首先阐述了界面可定制模型的设计原理、模型结构和实现技术 ;然后介绍了界面可定制模型在嵌入式软件系统界面子系统... 展开更多; 关键词嵌入式软件系统界面可定制模型界面设计模型结构设计原理; 在线阅读下载PDF 职称材料

面向嵌入式软件测试的仿真建模被引量：17: 2; 作者蒋崇武杨顺昆刘斌《计算机工程》 CAS CSCD 北大核心 2008年第4期87-89,共3页; 论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用... 展开更多; 关键词嵌入式软件软件测试基于接口模型驱动; 在线阅读下载PDF 职称材料

T-CBESD:一个构件化嵌入式软件设计模型验证工具被引量：3: 3; 作者徐丙凤胡军 +3 位作者曹东黄志球郭丽娟张剑《小型微型计算机系统》 CSCD 北大核心 2010年第11期2129-2137,共9页; 现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-... 展开更多; 关键词嵌入式软件设计构件化设计软件验证接口自动机模型检验工具; 在线阅读下载PDF 职称材料

实时嵌入式构件模型组装方法及时间性推理被引量：2: 4; 作者字天文刘晓燕沈嘉权《计算机工程与应用》 CSCD 北大核心 2009年第25期74-77,85,共5页; 针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件... 展开更多; 关键词实时嵌入式软构件模型构件接口组装时间性; 在线阅读下载PDF 职称材料

题名嵌入式软件系统界面可定制模型被引量：6: 1; 作者李小将胡正国陈启安; 机构西北工业大学计算机科学与工程系; 出处《西北工业大学学报》 EI CAS CSCD 北大核心 2001年第3期418-421,共4页; 文摘针对嵌入式软件界面子系统的设计特点 ,介绍了进行嵌入式软件系统界面设计的可定制技术 ,并提出了一个界面可定制模型。首先阐述了界面可定制模型的设计原理、模型结构和实现技术 ;然后介绍了界面可定制模型在嵌入式软件系统界面子系统设计中的一个应用实例。实例证明。; 关键词嵌入式软件系统界面可定制模型界面设计模型结构设计原理; Keywords embedded software,interface , customization,interface customizable model; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向嵌入式软件测试的仿真建模被引量：17: 2; 作者蒋崇武杨顺昆刘斌; 机构北京航空航天大学; 出处《计算机工程》 CAS CSCD 北大核心 2008年第4期87-89,共3页; 基金国家部委基金资助项目"通用化实时嵌入式软件仿真测试环境关键技术"; 文摘论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性。; 关键词嵌入式软件软件测试基于接口模型驱动; Keywords embedded software software test interface-based model- driven; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名T-CBESD:一个构件化嵌入式软件设计模型验证工具被引量：3: 3; 作者徐丙凤胡军曹东黄志球郭丽娟张剑; 机构南京航空航天大学信息科学与技术学院计算机软件新技术国家重点实验室(南京大学) 南京航空航天大学自动化学院; 出处《小型微型计算机系统》 CSCD 北大核心 2010年第11期2129-2137,共9页; 基金航空基金项目(2007ZD52043)资助教育士点基金项目(20070287052)资助; 文摘现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-CBESD(Tool for Component-Based Embedded Software Designs).工具直接使用UML顺序图模型作为系统规约,可以检验系统设计模型与场景式规约之间多种行为一致性问题;并使用消息事件的时间约束不等式,检验实时接口自动机网络与带时间约束的顺序图模型之间的实时行为一致性问题.工具设计与实现内容包括:输入输出接口、顺序图模型的预处理转换、状态空间数据结构设计、抽象验证算法的实现以及通信构件组合系统的实例应用分析.; 关键词嵌入式软件设计构件化设计软件验证接口自动机模型检验工具; Keywords embedded software design component-based design software verification interface automata model checking tool; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名实时嵌入式构件模型组装方法及时间性推理被引量：2: 4; 作者字天文刘晓燕沈嘉权; 机构昆明理工大学信息工程与自动化学院; 出处《计算机工程与应用》 CSCD 北大核心 2009年第25期74-77,85,共5页; 基金云南省教育厅科学研究基金项目No.07C10799 昆明理工大学人才培养基金No.2008037~~; 文摘针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制。; 关键词实时嵌入式软构件模型构件接口组装时间性; Keywords real-time embedded system software component model component interface assembly time; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	嵌入式软件系统界面可定制模型	李小将胡正国陈启安	《西北工业大学学报》 EI CAS CSCD 北大核心	2001	6	在线阅读下载PDF 职称材料
2	面向嵌入式软件测试的仿真建模	蒋崇武杨顺昆刘斌	《计算机工程》 CAS CSCD 北大核心	2008	17	在线阅读下载PDF 职称材料
3	T-CBESD:一个构件化嵌入式软件设计模型验证工具	徐丙凤胡军曹东黄志球郭丽娟张剑	《小型微型计算机系统》 CSCD 北大核心	2010	3	在线阅读下载PDF 职称材料
4	实时嵌入式构件模型组装方法及时间性推理	字天文刘晓燕沈嘉权	《计算机工程与应用》 CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料