教学课程资源库 更多>>

关键词： 装备技术体系结构   体系结构设计   视图产品  

摘要： 装备技术体系结构设计是装备体系结构研究的重要组成部分,国内外对装备技术体系结构设计研究不够深入,缺乏对装备技术体系结构视图的设计与描述研究,借鉴美军Do DAF、英军Mo DAF等国外成熟的体系结构设计方法,以及我国装备体系结构研究成果,分析得出装备技术体系结构的概念与构建要素,对装备技术体系结构视图进行设计研究,给出了7个装备技术体系结构视图产品,相应研究能够为我军装备技术体系结构设计提供理论和方法支撑。

关键词： AADL   可靠性模型   IMC模型转换   形式化方法  

摘要： 随着嵌入式软件在安全关键领域广泛应用,系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显重要。结构分析设计语言AADL是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。由于AADL是一种半形式化模型,需要精确描述其语义才能进行定量分析。提出一种基于AADL的系统可靠性建模方法。首先,结合AADL模型和AADL错误模型附件,得到AADL可靠性模型;然后,提出一种模型转换方法,将AADL可靠性模型的基本元素和错误传播等特殊元素转换到交互式马尔科夫链模型IMC,进行可靠性定量分析;最后,结合法国空中交通控制系统的实例,证明该方法的可行性和有效性。

关键词： 行政服务中心   标准体系   结构设计  

摘要： 文章通过对不同类型标准体系结构和功能的对照,结合福建省行政服务中心标准体系结构在不同时期的变化及比较,基于戴明环理论提出科学构建福建省行政服务中心标准体系结构的探讨。

关键词： 高速列车   列车追踪   Event-B方法   形式化方法   交通仿真   建模  

摘要： 针对铁路移动闭塞系统中高速列车间隔动态实时变化的特征,结合Agent理论对Event-B方法中Machine动态属性进行改进,提出一种基于Event-B建模方法的高速列车追踪运行模型。给出高速列车追踪运行形式化控制策略,研究运行过程中速度变化关系、不同发车间隔时间对高速铁路运营的影响,得到相应的定量与定性分析。仿真结果表明,该模型能够准确描述高速列车追踪运行机理,有助于列车间隔动态控制,具有较强的适用性。

关键词： STPA   CTCS-3级列控系统   形式化方法   功能安全分析  

摘要： 本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。

关键词： 事件本体   事件要素投影   形式化   扩展描述逻辑  

摘要： 文本事件的表示一直缺乏针对事件要素的有效表示和推理方法,采用传统描述逻辑对基于事件的知识进行形式化表示存在表达能力不足的问题.提出一种新的事件本体结构模型,在此基础上对描述逻辑的子语言SROIQ进行扩展,同时提出事件要素投影理论实现对事件本体的形式化.该方法利用SROIQ丰富的表达能力,将动态的事件转换为静态的复杂概念,既统一了事件与事件状态的表示方法,也建立起了事件之间、事件要素之间的语义关系.基于SROIQ的事件要素投影方法能够有效表示各领域的事件类、事件实例与事件要素,提取事件、事件关系在事件要素上的普遍规律,有助于领域事件本体的构建和形式化,以及针对事件要素的推理.

关键词： 结构化设计   道路桥梁设计   应用  

摘要： 伴随着社会经济的高度发展,显著推动了交通运输业的发展进程,而道路桥梁设计在交通运输业中占据着重要的位置。本文先简单分析在道路桥梁设计中应用结构化设计的重要性,然后对结构化设计进行概述,最后探讨结构化设计的具体应用,希望能为道路桥梁设计提供一定的参考。

关键词： AADL dependablity model   formal method   IMC model transformation   可靠性模型   形式化方法   AADL   IMC 模型转换   Language of Keywords: English   Chinese  

摘要： As embedded software Is widely used in safety-critical areas, its scale, complexity and performance demand increase, so system reliablity becomes increasingly important. Architecture analysis and design language (AADL) is an important way for architecture modeling, analysss, and verification in the field of embedded systems and it has gradually become the industry standard. Because AADL is not a full formal model, accurate description of its semantics is required to do quantitative analysss. In this paper we propose an AADL-based software system reliability modeling and evaluation framework. We generate an AADL dependabllity model based on the AADL model and the AADL error model. The basic elements and the spedal elements (e. g. error propagation) of the AADL dependabllity model are transformed into the interactive Markov chains (IMC) model by applying model transformation rules and the resulting IMC quantitative analysss is conducted. The modeling approach is applied to a subsystem of the French Air Traffic Control System, and its feasibllity and effectiveness are proved. [ABSTRACT FROM AUTHOR]

关键词： 软件工程   课程改革   CMM   案例教学  

摘要： 基于CMM核心理念,设计三个由简单到复杂的软件小项目,在软件工程实践教学中应用,分析应用过程中所收集到的数据。分析表明,逐步引入CMM核心理念的实践教学方法可以协助学生更好的理解和掌握软件工程的基本概念与基本原理,可以提升学生掌握相关的基本技能的效率,可以提升学生的软件组织开发能力。

关键词： 软件定义网络   软件即服务   网络防护   体系结构设计  

摘要： 为解决开放软件即服务(Saa S)平台下的网络安全问题,将软件定义网络(SDN)与开放Saa S平台建设相结合,提出了一种基于SDN的开放Saa S平台网络安全体系设计思路。在对系统物理模型、功能模型与协同模型进行分析的基础上,设计了系统体系结构,分析了体系构成关键要素,给出了系统典型应用示例。基于SDN开展Saa S平台网络安全系统建设,对提高系统的安全性与开放性、构建满足用户个性化需求的网络安全体系具有重要意义。