董云卫
- 作品数：115 被引量：254H指数：8
- 供职机构：西北工业大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金陕西省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学电气工程机械工程更多>>
- 一种基于模型的嵌入式系统流延时属性测试方法
- 本发明涉及一种基于模型的嵌入式系统流延时属性测试方法，其特征在于：基于SystemC硬件描述语言搭建AADL模型仿真测试平台，将AADL模型转换为测试平台可执行的系统实例，并对流中的构件序列和端口序列进行抽象和映射，将A...
- 董云卫朱宇峰马春燕张凡张云峰
- 面向航天嵌入式软件的形式化建模方法被引量：6
- 2015年
- 航天嵌入式软件是航天型号任务成败的关键之一.航天嵌入式软件是一种周期性、多模式的软件.软件的每个模式表示系统处于一定的状态,并进行相应的复杂计算.因此,提出了一种名为SPARDL的形式化建模方法.为了满足型号应用的需求,对这一方法进行了若干改进.为了表达航天器的时序性质,提出了一种基于区间逻辑的性质规范语言.为了支持工业应用,还设计了代码生成方法.这一建模方法已在航天工业领域得到了应用.
- 顾斌董云卫王政
- 基于资源竞争模型的AADL模型可调度性验证方法
- 本发明公开了一种基于资源竞争模型的AADL模型可调度性验证方法，用于解决现有AADL模型的可调度性分析方法耗时长的技术问题。技术方案是通过分析AADL架构模型中构件间的交互关系得到线程执行顺序关系，并根据这些连接关系生成...
- 董云卫隗立超童安乐
- 一种AADL系统可靠性模型转换方法被引量：6
- 2011年
- 在原有构件依赖关系的基础上,提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。研究表明,该方法使AADL可靠性模型向GSPN模型的转换规则更加完备,能对嵌入式系统的可靠性进行准确与全面的分析与评估。
- 高磊董云卫张凡王广仁
- 关键词：广义随机PETRI网可靠性评估
- Web应用软件的结构测试研究被引量：4
- 2010年
- 为了保证Web应用的质量和可靠性,Web应用软件测试受到了人们越来越多的重视。有效的Web应用软件的测试依赖于对其进行充分的分析和理解,掌握其内部的控制流和数据流信息,构建结构模型实施基于覆盖率的结构测试。提出了一种Web应用软件结构模型,它分为5级,分别为函数级、函数群级、对象级、对象群级和应用级,且基于此结构模型,提出了测试用例的设计和选择的方法,从而更好地支持了Web应用软件的结构测试。
- 路晓丽董云卫
- 关键词：WEB应用软件
- 一种面向方面的软件体系结构被引量：20
- 2004年
- 针对软件开发过程中软件代码杂混、分散,导致软件开发过程的可追踪性差、开发效率低、代码的重用性不好、代码质量不高、软件系统的演变进化困难等问题,采用面向方面的软件开发方法研究软件体系结构,结合业务流程管理系统,来介绍基于面向方面的软件体系结构在系统需求方面实现和编织方法的开发过程。通过提取业务流程、业务活动和参业者这三个关注点,对这些需求关注独立封装,并对它们的实现进行编织,解决相互之间的信息交换,降低了业务逻辑、业务数据和业务操作实体三者间的耦合,实现业务流程的柔性管理和不同业务功能的集成。
- 董云卫郝克刚
- 关键词：软件体系结构面向方面软件开发
- 构件化嵌入式软件可靠性预测模型被引量：1
- 2011年
- 由于传统的基于黑盒的可靠性建模方法不适合构件化软件开发,所以如何利用软构件的可靠性,预测分析嵌入式系统的可靠性成为一个亟待解决的问题.考虑到构件开发者与使用者相分离的特征以及构件化软件的组装方式,综合应用构件可靠度属性、用户使用剖面以及系统架构,建立了一个构件化软件可靠度分析预测模型.此模型的核心思想包括:软件的架构建模为离散马尔科夫状态机模型,将并行、冗余、调用等复杂结构通过视图映射转换为状态机模型;构件的开发者给出构件每个接口的可靠性,构件应用者按构件级、接口级两个层次给出构件的使用剖面,据此可计算出构件在不同应用场景的可靠度.
- 李长德周兴社董云卫
- 关键词：可靠性架构嵌入式软件
- 一个企业应用集成的设计模式:Hub被引量：5
- 2003年
- 1.引言
随着信息技术的发展和企业信息化程度的提高,企业的业务发展越来越依赖于应用软件的功能的全面性和先进性,然而,越来越多的应用系统的运用,也给企业信息管理带来许多问题,如各应用系统由于采用的技术手段、开发时间、软件版本的不同,应用之间的功能集成和信息交换无法进行,地域与时空的分布带来信息交换不及时,业务流程不流畅等等.企业应用集成(EAI)就是为解决这样的问题而发展起来的,通过建立底层结构,来联系横贯整个企业的异构系统、应用、数据源等,满足应用内部系统之间无缝地共享和交换数据的需要.
- 董云卫李伟宏郝克刚
- 关键词：图形用户界面软件复用软件开发HUB设计模式企业应用集成
- 一种基于同步反应式构件的代码自动生成方法
- 本发明涉及一种基于同步反应式构件的代码自动生成方法，定义同步反应式构件模型的框架，根据控制系统需求建立对应的同步反应式构件模型；检查模型中是否有错误，若存在错误根据控制系统需求继续完善模型；定义模型到目标语言的映射规则；...
- 董云卫李小虎苟倩文李正
- 基于确定性随机Petri网的AADL模型安全性评估方法
- 本发明提供了一种基于确定性随机Petri网的AADL模型安全性评估方法。首先，构建层次化结构的AADL架构模型；然后，制定新的模型转换方法，将AADL安全性模型转换为DSPN模型，其中，为AADL安全性模型增加了新的语义...
- 董云卫魏晓敏
- 文献传递
