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

构件化嵌入式软件设计模型非功能性质验证的工具实现被引量：4: 1; 作者徐丙凤胡军 +3 位作者曹东黄志球郭丽娟张剑《计算机科学》 CSCD 北大核心 2010年第8期156-163,共8页; 嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期,缺乏有效工具对系统设计的非功能性质进行分析与验证。对基于接口自动机模型的构件化嵌入式软件设计验证原型工具T-CBESD(... 展开更多; 关键词嵌入式软件设计非功能性质验证构件化设计软件验证工具接口自动机; 在线阅读下载PDF 职称材料

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

嵌入式系统测控软件的结构化设计被引量：4: 3; 作者同向前薛钧义《计算机工程》 CAS CSCD 北大核心 2002年第8期43-44,213,共3页; 在分析嵌入式系统特点的基础上,提出并论述了一种嵌入式软件通用的分层递阶结构,并以调节器的设计为例说明了该方法的PID应用。; 关键词单片机软件设计嵌入式系统测控软件结构化设计; 在线阅读下载PDF 职称材料

嵌入式实时软件的任务构造被引量：8: 4; 作者武海燕晏立《计算机工程》 CAS CSCD 北大核心 2010年第7期39-41,共3页; 基于模型的设计方法能缩小从软件功能模型到任务模型的差距。用模型转换的方法构造实时任务,从软件设计模型的组件变换为进程/线程可执行的任务。该方法适用于嵌入式软件设计。在模型中考虑时序一致性的问题,绝对时序一致性能保证数据... 展开更多; 关键词嵌入式软件设计基于模型的设计模型转换任务构造时序一致性; 在线阅读下载PDF 职称材料

基于即时验证的软件验证工具改进设计与实现被引量：1: 5; 作者郭丽娟胡军张剑《计算机科学》 CSCD 北大核心 2011年第10期145-151,共7页; 基于设计模型的分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段。基于即时验证(On-the-flyverification)方法对一个构件化嵌入式软件设计模型原型验证工具T-CBESD进行了改进设计与实现。集成Topcased和JFLAP扩展了T-CBESD图... 展开更多; 关键词嵌入式软件设计 UML交互概观图模型接口自动机即时验证算法形式化验证工具; 在线阅读下载PDF 职称材料

基于数据有效期的实时调度设计被引量：2: 6; 作者晏立彭晨辉《计算机工程与应用》 CSCD 北大核心 2009年第1期92-95,共4页; 提出了一种基于模型的实时调度设计方法,利用生产者-消费者模型解决约束条件下的SCADA系统实时调度问题。设计者可根据应用需求中的数据有效期及估算的任务计算时间,通过提出的模型计算出其他实时调度的参数,给出约束条件,并进行可调度... 展开更多; 关键词实时调度数据采集与监控系统(SCADA) 生产者-消费者模型嵌入式软件设计; 在线阅读下载PDF 职称材料

题名构件化嵌入式软件设计模型非功能性质验证的工具实现被引量：4: 1; 作者徐丙凤胡军曹东黄志球郭丽娟张剑; 机构南京航空航天大学信息科学与技术学院南京大学计算机软件新技术国家重点实验室南京航空航天大学自动化学院; 出处《计算机科学》 CSCD 北大核心 2010年第8期156-163,共8页; 基金航空基金(2007ZD52043) 教育部博士点基金(20070287052)项目资助; 文摘嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期,缺乏有效工具对系统设计的非功能性质进行分析与验证。对基于接口自动机模型的构件化嵌入式软件设计验证原型工具T-CBESD(Tool for Component-based Embedded Software Designs)进行了资源及能耗等非功能性质验证功能的扩展设计与实现,包括:资源接口自动机和能耗接口自动机模型的输入输出接口设计、UML顺序图模型的预处理、带非功能语义信息的组合系统状态空间数据结构的设计、非实时资源使用性质与实时相关能量消耗特征验证算法的实现,以及一个通信构件组合系统的实例应用分析。; 关键词嵌入式软件设计非功能性质验证构件化设计软件验证工具接口自动机; Keywords Embedded software design, Non-functional property verification, Component-based design, Software verification tool, Interface automata; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名T-CBESD:一个构件化嵌入式软件设计模型验证工具被引量：3: 2; 作者徐丙凤胡军曹东黄志球郭丽娟张剑; 机构南京航空航天大学信息科学与技术学院计算机软件新技术国家重点实验室(南京大学) 南京航空航天大学自动化学院; 出处《小型微型计算机系统》 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 职称材料

题名嵌入式系统测控软件的结构化设计被引量：4: 3; 作者同向前薛钧义; 机构西安理工大学西安交通大学; 出处《计算机工程》 CAS CSCD 北大核心 2002年第8期43-44,213,共3页; 文摘在分析嵌入式系统特点的基础上,提出并论述了一种嵌入式软件通用的分层递阶结构,并以调节器的设计为例说明了该方法的PID应用。; 关键词单片机软件设计嵌入式系统测控软件结构化设计; Keywords Embedded systemSingle chip computer Software design; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名嵌入式实时软件的任务构造被引量：8: 4; 作者武海燕晏立; 机构安阳工学院计算机科学与信息工程系江苏大学计算机科学与通信工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2010年第7期39-41,共3页; 基金国家自然科学基金资助项目(60573046) 国家"863"计划基金资助项目(2002AA001020); 文摘基于模型的设计方法能缩小从软件功能模型到任务模型的差距。用模型转换的方法构造实时任务,从软件设计模型的组件变换为进程/线程可执行的任务。该方法适用于嵌入式软件设计。在模型中考虑时序一致性的问题,绝对时序一致性能保证数据的有效期,相对时序一致性能保证数据的可用性。; 关键词嵌入式软件设计基于模型的设计模型转换任务构造时序一致性; Keywords embedded software design model-based design model transformation task construction temporal consistency; 分类号 TP27 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名基于即时验证的软件验证工具改进设计与实现被引量：1: 5; 作者郭丽娟胡军张剑; 机构南京航空航天大学信息科学与技术学院南京大学计算机软件新技术国家重点实验室; 出处《计算机科学》 CSCD 北大核心 2011年第10期145-151,共7页; 基金教育部博士点基金(20070287052) 南京航空航天大学青年科技创新基金(NS2010095)资助; 文摘基于设计模型的分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段。基于即时验证(On-the-flyverification)方法对一个构件化嵌入式软件设计模型原型验证工具T-CBESD进行了改进设计与实现。集成Topcased和JFLAP扩展了T-CBESD图形化建模接口;设计并实现了相关输入处理与转换;重新设计并实现了状态空间数据结构,包括功能、非功能行为(实时、资源、能耗等)验证问题在内的多个基于路径的一致性即时验证算法。给出了改进工具在火灾预警系统中的应用实例与分析。; 关键词嵌入式软件设计 UML交互概观图模型接口自动机即时验证算法形式化验证工具; Keywords Eembedded software design UML interactive overview diagram Interface automata On-the-fly verification algorithm Formal verification tool; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于数据有效期的实时调度设计被引量：2: 6; 作者晏立彭晨辉; 机构江苏大学计算机科学与通信工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2009年第1期92-95,共4页; 基金国家"九五"重点攻关项目(No.965460202) 国家高技术研究发展计划(863)~~; 文摘提出了一种基于模型的实时调度设计方法,利用生产者-消费者模型解决约束条件下的SCADA系统实时调度问题。设计者可根据应用需求中的数据有效期及估算的任务计算时间,通过提出的模型计算出其他实时调度的参数,给出约束条件,并进行可调度分析。提出的方法也可用于设计有确定时间要求的实时嵌入式软件。; 关键词实时调度数据采集与监控系统(SCADA) 生产者-消费者模型嵌入式软件设计; Keywords real-time scheduling Supervisory Control and Data Aequisition（SCADA） producer-eonsumer model embeddod soft- ware design; 分类号 TP27 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	构件化嵌入式软件设计模型非功能性质验证的工具实现	徐丙凤胡军曹东黄志球郭丽娟张剑	《计算机科学》 CSCD 北大核心	2010	4	在线阅读下载PDF 职称材料
2	T-CBESD:一个构件化嵌入式软件设计模型验证工具	徐丙凤胡军曹东黄志球郭丽娟张剑	《小型微型计算机系统》 CSCD 北大核心	2010	3	在线阅读下载PDF 职称材料
3	嵌入式系统测控软件的结构化设计	同向前薛钧义	《计算机工程》 CAS CSCD 北大核心	2002	4	在线阅读下载PDF 职称材料
4	嵌入式实时软件的任务构造	武海燕晏立	《计算机工程》 CAS CSCD 北大核心	2010	8	在线阅读下载PDF 职称材料
5	基于即时验证的软件验证工具改进设计与实现	郭丽娟胡军张剑	《计算机科学》 CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
6	基于数据有效期的实时调度设计	晏立彭晨辉	《计算机工程与应用》 CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料