教学课程资源库 更多>>

关键词： 模型检测   系统形式化   航空电子系统   软件配置项   有限状态自动机  

摘要： 随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.

关键词： UML   教务管理   需求模型   对象类   动态建模  

摘要： 针对目前高校教务管理系统的实际需求,结合教务管理系统的工作内容及工作流程,结合UML对教务管理系统建立需求模型,实现对象类的定义、对象类的动态建模及物理建模。

关键词： 软件系统   模型验证   建模   安全   专题   航空电子系统   形式化方法   抽象状态机  

摘要： 随着计算机技术应用的日益普及和不断深入，软件系统的规模和复杂性急剧增大，软件在越来越多的系统中成为主要的使能部件．在航空航天、武器装备、医疗设备、交通、核能、金融等安全攸关的应用领域，软件系统失效将导致灾难性的后果，保障软件系统的质量成为迫切的需求和挑战．建模、分析与验证是保障软件系统质量的重要环节和手段．本专题收录的14篇论文反映了近年来我国学者在安全攸关软件系统建模与验证领域的部分研究成果．《基于形式化方法的航空电子系统检测》基于形式化方法研究面向航空电子系统的检测方法，建立了航空电子系统的形式化模型，并在此基础上提出了从静态和动态两方面对航空电子系统进行检测的途径．《基于时间抽象状态机的AADL模型验证》提出了一种基于时间抽象状态机的AADL形式转换语义，并在此基础上给出了一种AADL模型的验证方法．

关键词： 在线考试系统   UML建模   需求建模   系统分析   数据库建模  

摘要： 目前国内网络化考试系统大都存在功能少、扩展性差、使用局限性大、不能确保考试质量等不足,这与实际考试方式计算机化,考试管理网络化还有很大的差距。在研究高校考试命题方法、管理和网络考试系统的基础上,对在线考试系统进行需求分析,应用UML分析设计B/S结构的系统模型,有利于提高系统的稳定性、可维护性和可重用性。

关键词： 海洋大数据   软件体系结构   移动代码  

摘要： 针对海洋数据格式与海洋信息应用系统的异构性,提出一种基于移动代码(Mobile code)的海洋大数据处理软件体系结构。首先,利用统一的网络服务接口与数据交换格式,规范海洋信息应用系统之间的数据访问与共享。其次,通过移动代码将海洋大数据的处理过程移至云端,提高信息处理效率。应用示例实现了异构海洋信息应用系统间的互操作,并且缩短了海量数据的处理时间,验证了该体系结构在海洋大数据处理中的通用性与有效性。

关键词： 公交场站规划   布局策略   面向对象分析   沈阳市  

摘要： 本文提出的大型公交场站规划思路是从参与主体分析入手,应用面向对象分析方法,从多种角度分析各参与主体的职责和需求,将公交场站划分为停车场、枢纽站、停保场、中途站四类,分类论述其布局策略,对沈阳市公交场站规划进行实例分析,以问题分析为导向,应用出行量法和车辆指标法进行规模预测,远期结合城市总体规划和公交线网规划布局,近期充分利用街角余地、外围空地、桥下空间等建设.

关键词： C4ISR能力   领域特定建模   UML   需求工程  

摘要： 军事电子信息系统是一种典型的大规模复杂系统,如何获取这种复杂系统的需求仍然是一个难题。提出了一种新的能力需求分析方法。该方法从领域概念化入手,构造了C4ISR能力概念化的元本体;利用UML元层扩展机制,提出了一种用于定义C4ISR能力概念的对象建模语言,并给出了该语言的抽象语法和详细语法,利用OWL DL定义了形式语义。最后以一个C4ISR体系结构仿真建模为案例,说明了该方法的有效性和可用性。

关键词： 成人   计算机   继续教育   软件工程  

摘要： 计算机专业继续教育中的软件工程教学,不仅要考虑通常在普通高等院校教育中所采用的理论模型、方法论,而且要考虑学生对象大多具备专业背景、已参加工作实践等特点。针对成人继续教育学生的特点,在软件工程实践教学中根据学生的已有专业背景、目前从事工作类别、未来职业发展意向分配实践角色,调动学生参与积极性、促进团队协作的互动性,实现软件工程教学水平提高与学生自身发展的兼容并举。

关键词： 状态事件故障树   交互马尔可夫链   平均时间分析   形式化方法  

摘要： 状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障树缺乏严格语义,使得必须先对其进行形式化描述才能进行定量分析.为此,提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法.首先,精化交互马尔可夫链的交互动作,建立接口交互马尔可夫链模型,并基于该模型对状态事件故障树的构件和逻辑门进行形式语义描述;其次,通过并行组合构件与逻辑门的形式语义模型,得到整个状态事件故障树的形式语义模型,并在该过程中使用弱互模拟对状态空间进行约简;然后,基于状态事件故障树的形式语义给出顶层事件发生的平均时间计算方法;最后,给出飞机着陆雷达控制系统和喷淋防火系统的状态事件故障树时间特性分析的实例研究.为构件化系统失效时间特性的分析提供了一种新方法.

关键词： 雷达   伺服性能   在线自动测试   面向对象  

摘要： 雷达伺服性能的在线自动测试对系统调试和维护具有十分重要的意义。文中在认真梳理雷达伺服性能测试方法的基础上,采用面向对象设计方法实现了在线自动测试。经多套伺服系统的在线实际验证,该测试模块使用方便,可信度高,具有很高的工程应用价值。