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

一种嵌入式软件安全漏洞的代码加固方法被引量：2: 1; 作者董云卫张涵博李勇军《空间控制技术与应用》 CSCD 北大核心 2021年第2期17-24,共8页; 软件定义的概念和技术的发展和应用,装备嵌入式系统的功能主要由软件定义完成,导致装备嵌入式软件规模性和复杂性都在急剧增加,软件安全问题已经成为嵌入式系统乃至装备产品研制和运行维护的核心关注点.借助主流软件代码安全性检测技术... 展开更多; 关键词安全漏洞检测软件强制安全嵌入式软件代码加固软件定义; 在线阅读下载PDF 职称材料

嵌入式软件智能合成框架及关键科学问题被引量：10: 2; 作者杨孟飞顾斌 +7 位作者段振华金芝詹乃军董云卫田聪李戈董晓刚李晓锋《中国空间科学技术》 CSCD 北大核心 2022年第4期1-7,共7页; 程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入... 展开更多; 关键词嵌入式软件程序合成软件IP 软件需求人工智能; 在线阅读下载PDF 职称材料

智能嵌入式系统结构与软件关键技术专题序言被引量：4: 3; 作者王泉杨天若 +9 位作者朱大开邓庆绪郭兵陈铭松董云卫严义江建慧张凯龙谢国琪周俊龙《西安电子科技大学学报》 EI CAS CSCD 北大核心 2021年第6期1-7,共7页; 作为数字与物理、信息与应用交叉融合的重要基石,嵌入式系统技术在近十年以来已被广泛应用在社会生产、生活、国防等诸多领域,并快速推动了这些领域的数字化、网络化和智能化发展。在人工智能、云计算、物联网、大数据等新兴技术不断发... 展开更多; 关键词嵌入式系统工业机器人嵌入式计算移动计算物联网云计算大数据智能制造; 在线阅读下载PDF 职称材料

AADL测试模型的构造研究被引量：2: 4; 作者马春燕董云卫 +1 位作者朱宇峰陆伟《西北工业大学学报》 EI CAS CSCD 北大核心 2010年第6期968-973,共6页; 目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误。研究给出了体现系统拓扑结构的AADL测试模型的形式... 展开更多; 关键词 AADL AADL设计模型 AADL测试模型; 在线阅读下载PDF 职称材料

构件化嵌入式软件可靠性预测模型被引量：1: 5; 作者李长德周兴社董云卫《西安电子科技大学学报》 EI CAS CSCD 北大核心 2011年第1期171-175,共5页; 由于传统的基于黑盒的可靠性建模方法不适合构件化软件开发,所以如何利用软构件的可靠性,预测分析嵌入式系统的可靠性成为一个亟待解决的问题.考虑到构件开发者与使用者相分离的特征以及构件化软件的组装方式,综合应用构件可靠度属性、... 展开更多; 关键词构件可靠性架构嵌入式软件; 在线阅读下载PDF 职称材料

二维全向无线充电信息物理融合系统建模与优化方法被引量：6: 6; 作者孙朋朋董云卫《电子学报》 EI CAS CSCD 北大核心 2019年第3期568-575,共8页; 本文解决两相交流电源供电下二维全向无线充电信息物理融合系统的能量传输效率优化问题,发现了系统的频率分叉现象及其能量传输机理,利用混成自动机理论建立了系统的形式化模型.制定了一种面向不同负载区间的多供电模式的最优输电控制... 展开更多; 关键词二维全向无线充电能量传输信息物理融合系统频率分叉两相交流电源混成自动机供电模式; 在线阅读下载PDF 职称材料

题名一种嵌入式软件安全漏洞的代码加固方法被引量：2: 1; 作者董云卫张涵博李勇军; 机构西北工业大学计算机学院; 出处《空间控制技术与应用》 CSCD 北大核心 2021年第2期17-24,共8页; 基金高可信嵌入式软件工程技术实验室开放基金课题资助(HCESET-2019-3)。; 文摘软件定义的概念和技术的发展和应用,装备嵌入式系统的功能主要由软件定义完成,导致装备嵌入式软件规模性和复杂性都在急剧增加,软件安全问题已经成为嵌入式系统乃至装备产品研制和运行维护的核心关注点.借助主流软件代码安全性检测技术,对装备嵌入式软件的漏洞行为和结构分析,建立装备嵌入式软件漏洞特征和系统不安全行为属性规约,通过对软件属性规约的逻辑演算,形成软件安全性加固需求,提出基于安全规约属性模板的漏洞加固代码生成技术,对软件代码中潜在的安全漏洞进行修复和加固,实现装备嵌入式软件强制安全保障.; 关键词安全漏洞检测软件强制安全嵌入式软件代码加固软件定义; Keywords security bug detection software security enforcement embedded software code reinforcement software definition; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名嵌入式软件智能合成框架及关键科学问题被引量：10: 2; 作者杨孟飞顾斌段振华金芝詹乃军董云卫田聪李戈董晓刚李晓锋; 机构中国空间技术研究院空间智能控制技术国家级重点实验室北京控制工程研究所西安电子科技大学计算机科学与技术学院北京大学计算机学院中国科学院软件研究所天基综合信息系统重点实验室西北工业大学计算机学院; 出处《中国空间科学技术》 CSCD 北大核心 2022年第4期1-7,共7页; 基金国家自然科学基金重大项目(62192730:62192731~62192735)。; 文摘程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入式软件智能合成开发模式(IP-based embedded software intelligent synthesis,IPESIS)及其框架。最后,阐述了IPESIS需要解决的关键科学问题和主要研究内容。IPESIS通过定义领域需求描述语言,在更高的抽象层次上对目标软件进行刻画,以软件IP为粒度缩小程序搜索空间,采用机器学习等人工智能技术自动合成程序,有望突破现有方法的局限,进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变。; 关键词嵌入式软件程序合成软件IP 软件需求人工智能; Keywords embedded software program synthesis software IP requirement specification artificial intelligence; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名智能嵌入式系统结构与软件关键技术专题序言被引量：4: 3; 作者王泉杨天若朱大开邓庆绪郭兵陈铭松董云卫严义江建慧张凯龙谢国琪周俊龙; 机构西安电子科技大学计算机科学与技术学院加拿大圣弗朗西斯泽维尔大学计算机科学系美国得克萨斯州大学圣安东尼奥分校计算机科学系东北大学计算机科学与工程学院四川大学计算机学院华东师范大学软件工程学院西北工业大学计算机学院杭州电子科技大学计算机学院同济大学软件学院湖南大学计算机工程系南京理工大学计算机科学与工程学院; 出处《西安电子科技大学学报》 EI CAS CSCD 北大核心 2021年第6期1-7,共7页; 文摘作为数字与物理、信息与应用交叉融合的重要基石,嵌入式系统技术在近十年以来已被广泛应用在社会生产、生活、国防等诸多领域,并快速推动了这些领域的数字化、网络化和智能化发展。在人工智能、云计算、物联网、大数据等新兴技术不断发展和交叉应用的万物智联大计算背景下,信息物理深度融合、多维智能能力支撑、应用形态日益多元等新特征对嵌入式系统的体系结构以及软硬件技术的发展都提出了新的需求和挑战。诸如,空、天、地、海军民领域的复杂安全有关应用对高可信的多态嵌入式计算体系与技术,移动计算与物联网对高性能、低功耗的嵌入式系统、网络通信与网络安全技术,以智能驾驶为代表的复杂信息物理系统对实时智能计算体系与技术,智能制造对工业机器人以及工业互联网等基于嵌入式系统的行业技术等,新业态迫切需要新技术的支持。; 关键词嵌入式系统工业机器人嵌入式计算移动计算物联网云计算大数据智能制造; 分类号 TP368.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名AADL测试模型的构造研究被引量：2: 4; 作者马春燕董云卫朱宇峰陆伟; 机构西北工业大学软件与微电子学院西北工业大学计算机学院; 出处《西北工业大学学报》 EI CAS CSCD 北大核心 2010年第6期968-973,共6页; 基金国家高技术研究发展计划(2009AA01Z147) 陕西省自然科学基础研究计划(2009JM8003-5) +2 种基金西北工业大学软件与微电子学院"R"孵化基金(2010R005)资助; 文摘目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误。研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果。; 关键词 AADL AADL设计模型 AADL测试模型; Keywords computer architecture algorithms AADL（Architecture Analysis and Design Language） design model test model; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名构件化嵌入式软件可靠性预测模型被引量：1: 5; 作者李长德周兴社董云卫; 机构西北工业大学计算机学院; 出处《西安电子科技大学学报》 EI CAS CSCD 北大核心 2011年第1期171-175,共5页; 基金国家自然科学基金重点资助项目(60736017) 国家863高技术研究发展计划资助项目(2009AA01Z147); 文摘由于传统的基于黑盒的可靠性建模方法不适合构件化软件开发,所以如何利用软构件的可靠性,预测分析嵌入式系统的可靠性成为一个亟待解决的问题.考虑到构件开发者与使用者相分离的特征以及构件化软件的组装方式,综合应用构件可靠度属性、用户使用剖面以及系统架构,建立了一个构件化软件可靠度分析预测模型.此模型的核心思想包括:软件的架构建模为离散马尔科夫状态机模型,将并行、冗余、调用等复杂结构通过视图映射转换为状态机模型;构件的开发者给出构件每个接口的可靠性,构件应用者按构件级、接口级两个层次给出构件的使用剖面,据此可计算出构件在不同应用场景的可靠度.; 关键词构件可靠性架构嵌入式软件; Keywords component reliability architecture embedded software; 分类号 TP302.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名二维全向无线充电信息物理融合系统建模与优化方法被引量：6: 6; 作者孙朋朋董云卫; 机构西北工业大学计算机学院; 出处《电子学报》 EI CAS CSCD 北大核心 2019年第3期568-575,共8页; 基金国家重点基础研究发展规划(973计划)项目(No.2017YFB0903000); 文摘本文解决两相交流电源供电下二维全向无线充电信息物理融合系统的能量传输效率优化问题,发现了系统的频率分叉现象及其能量传输机理,利用混成自动机理论建立了系统的形式化模型.制定了一种面向不同负载区间的多供电模式的最优输电控制策略和能量传输频率优化算法.论文对共振条件下的频率分叉现象进行仿真实验,验证了两相交流电源供电下能量的最优传输理论模型,可用于电动汽车、智能手机等移动装置的充电系统.; 关键词二维全向无线充电能量传输信息物理融合系统频率分叉两相交流电源混成自动机供电模式; Keywords two dimensional omnidirectional wireless charging energy transfer cyber-physical systems frequency bifurcation two phase alternating current power supply hybrid automata power supply mode; 分类号 TM910.6 [电气工程—电力电子与电力传动]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种嵌入式软件安全漏洞的代码加固方法	董云卫张涵博李勇军	《空间控制技术与应用》 CSCD 北大核心	2021	2	在线阅读下载PDF 职称材料
2	嵌入式软件智能合成框架及关键科学问题	杨孟飞顾斌段振华金芝詹乃军董云卫田聪李戈董晓刚李晓锋	《中国空间科学技术》 CSCD 北大核心	2022	10	在线阅读下载PDF 职称材料
3	智能嵌入式系统结构与软件关键技术专题序言	王泉杨天若朱大开邓庆绪郭兵陈铭松董云卫严义江建慧张凯龙谢国琪周俊龙	《西安电子科技大学学报》 EI CAS CSCD 北大核心	2021	4	在线阅读下载PDF 职称材料
4	AADL测试模型的构造研究	马春燕董云卫朱宇峰陆伟	《西北工业大学学报》 EI CAS CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料
5	构件化嵌入式软件可靠性预测模型	李长德周兴社董云卫	《西安电子科技大学学报》 EI CAS CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
6	二维全向无线充电信息物理融合系统建模与优化方法	孙朋朋董云卫	《电子学报》 EI CAS CSCD 北大核心	2019	6	在线阅读下载PDF 职称材料