基于SCADE的计算机联锁系统建模与验证
这是一篇关于计算机联锁,SCADE,需求管理,建模,仿真,形式化验证的论文, 主要内容为计算机联锁系统是铁路信号系统中保证行车安全的重要设备,失效后可能导致重大人员伤亡和财产损失,系统功能逻辑需要具备很高的安全性要求。然而,传统的计算机联锁系统主要采用手工编码的方式进行开发,软件质量主要依赖于代码评审、走查、测试等人工方式进行保障,存在一定的主观性,无法满足计算机联锁系统的高安全性要求。形式化建模是安全关键系统开发的重要方法之一,具有严格的数学基础,能够准确和无歧义地描述系统需求,并且实现逻辑推理,能够有效地解决传统软件开发方法中存在的模糊性和二义性等问题。SCADE是基于形式化建模方法的高安全性软件开发环境,其提供安全状态机和数据流图两种形式化建模方法,能够直观、清晰、全面地描述软件功能逻辑;结合模型仿真和形式化验证能够直观、全面地分析模型的正确性和安全性,避免软件开发人员的主观性;最后自动生成面向工程的高质量的C代码。本文研究基于SCADE的计算机联锁软件开发方法,利用SCADE的需求管理、形式化建模、模型仿真、形式化验证等工具来保证计算机联锁软件的正确性和安全性,具体包括以下内容:(1)介绍了 SCADE的软件开发模式和同步假设理论,并详细分析了 SCADE的需求管理、安全状态机和数据流图建模、模型仿真、形式化验证以及代码生成机制。(2)分析了计算机联锁系统的基本结构、特点及软件功能,根据系统需求将计算机联锁进路控制过程划分为进路选择、进路锁闭、信号开放、信号保持开放、正常通过进路解锁、取消进路六个阶段,分析各阶段中计算机联锁系统SCADE建模的具体需求。(3)采用安全状态机和数据流图两种建模方法,建立计算机联锁系统进路控制过程的形式化模型。(4)利用SCADE需求管理工具分析计算机联锁系统需求、概要设计和形式化模型之间的追溯关系,保证SCADE模型完全覆盖计算机联锁系统的系统需求和概要设计需求。(5)通过图形化的模型仿真,保证计算机联锁软件模型的正确性;然后提取系统安全属性,利用形式化验证检测计算机联锁模型满足预期的安全属性;最后利用代码生成器自动生成面向工程的C代码。
A公司B系统项目敏捷开发需求管理案例研究
这是一篇关于需求管理,敏捷开发,软件开发,Scrum框架的论文, 主要内容为需求管理是项目中最重要的环节,不可避免会出现用户需求获取不完善、需求不断变更等情况。而在管理过程中出现的这些因素,皆会影响着后续项目实施进行的进度及控制管理。而“敏捷”是软件研发领域近几年的一个新发展,与CMMI有明显的不同,可以有效地应对频繁的需求变化,缩短迭代周期,提高用户的体验感。本论文以A公司供应商系统项目为研究对象,根据其敏捷项目需求管理的现状,结合A公司所处的行业环境、公司发展战略和规划、公司项目管理组织结构,充分研究当下主流项目管理理论和敏捷开发的特点和需求管理技术手段,对该项目在敏捷开发模式下的需求管理中所存在的问题进行挖掘和分析。通过对敏捷开发需求管理思想方法进行剖析,有效地针对A公司供应商系统项目需求缺乏完整性问题,提出完整的需求分析流程。根据需求优先级方法,结合项目因优先级的不明确导致测试时压力过大的问题,逐一针对需求进行分析,系统性地计算出需求优先级。再通过项目沟通管理方法,完善A公司供应商系统项目的沟通组织结构,促进团队合作,解决两个团队因配合不默契导致的项目延期。利用成熟的Scrum框架并配合使用Azure工具中的各个模块,解决因需求设计不完善导致的工作重复,浪费资源的问题。从而找出一套适用于A公司供应商系统项目需求管理的方案,帮助减少项目延期的可能性避免开发资源浪费,提高项目准时交付率。本论文旨在将需求管理理论与敏捷开发模式相结合,使软件开发、测试及运维团队能够高效、精确地完成需求开发与维护。确定需求的优先次序,使开发系统能够有效地降低需求变化和增加新的需求对系统软件产生的影响。提升高品质的产品交付和企业的市场形象,并最终提高了项目的交付率,从而实现更大的利润。
基于SCADE的计算机联锁系统建模与验证
这是一篇关于计算机联锁,SCADE,需求管理,建模,仿真,形式化验证的论文, 主要内容为计算机联锁系统是铁路信号系统中保证行车安全的重要设备,失效后可能导致重大人员伤亡和财产损失,系统功能逻辑需要具备很高的安全性要求。然而,传统的计算机联锁系统主要采用手工编码的方式进行开发,软件质量主要依赖于代码评审、走查、测试等人工方式进行保障,存在一定的主观性,无法满足计算机联锁系统的高安全性要求。形式化建模是安全关键系统开发的重要方法之一,具有严格的数学基础,能够准确和无歧义地描述系统需求,并且实现逻辑推理,能够有效地解决传统软件开发方法中存在的模糊性和二义性等问题。SCADE是基于形式化建模方法的高安全性软件开发环境,其提供安全状态机和数据流图两种形式化建模方法,能够直观、清晰、全面地描述软件功能逻辑;结合模型仿真和形式化验证能够直观、全面地分析模型的正确性和安全性,避免软件开发人员的主观性;最后自动生成面向工程的高质量的C代码。本文研究基于SCADE的计算机联锁软件开发方法,利用SCADE的需求管理、形式化建模、模型仿真、形式化验证等工具来保证计算机联锁软件的正确性和安全性,具体包括以下内容:(1)介绍了 SCADE的软件开发模式和同步假设理论,并详细分析了 SCADE的需求管理、安全状态机和数据流图建模、模型仿真、形式化验证以及代码生成机制。(2)分析了计算机联锁系统的基本结构、特点及软件功能,根据系统需求将计算机联锁进路控制过程划分为进路选择、进路锁闭、信号开放、信号保持开放、正常通过进路解锁、取消进路六个阶段,分析各阶段中计算机联锁系统SCADE建模的具体需求。(3)采用安全状态机和数据流图两种建模方法,建立计算机联锁系统进路控制过程的形式化模型。(4)利用SCADE需求管理工具分析计算机联锁系统需求、概要设计和形式化模型之间的追溯关系,保证SCADE模型完全覆盖计算机联锁系统的系统需求和概要设计需求。(5)通过图形化的模型仿真,保证计算机联锁软件模型的正确性;然后提取系统安全属性,利用形式化验证检测计算机联锁模型满足预期的安全属性;最后利用代码生成器自动生成面向工程的C代码。
共享单车企业研发管理平台的设计与实现
这是一篇关于需求管理,项目管理,SSM,数据图表的论文, 主要内容为随着近几年互联网行业的快速发展,互联网企业间的竞争日趋激烈,能否高效、快速的将研发过程转化为产品效果,与企业的研发运营管理体制密不可分。如今,互联网企业为了提升产品研发管理的效率,同时能够增强产品在市场的竞争力,更愿意拥有与企业业务相关并符合企业管理制度的研发管理平台。本论文所述项目,旨在解决企业这一需求。本文中的共享单车企业研发管理平台,是将项目管理、需求管理与需求效果的验证整合于同一系统下,可为企业提供从研发流程的优化整合到系统落地后效果的数据反馈的集中管理,能够更有力支撑企业研发业务管理能力的提升,有助企业在市场竞争中更胜一筹。系统的开发采用了 SSM框架,有利于提高可扩展性和灵活性。前端Web界面采用JQuery框架开发,在数据可视化部分采用了开源的可视化工具ECharts进行实现。系统的业务数据存储于MySQL数据库中,存取海量产品用户数据与订单数据使用了 Hive数据仓库,并使用SparkSQL对Hive中的数据进行分析。本文共涉及四个模块,需求管理模块为产品经理和研发人员提供需求管理的功能;项目进度管理模块为项目经理提供管理项目进度的功能;需求效果验证模块为产品经理的决策提供数据化支持,产品经理可以获得用户行为变化的量化反馈;后台管理模块为后台管理员提供对系统的管理功能。结合了企业自身业务特点而设计的研发管理系统,经过对系统业务功能和系统性能等方面的验证,确定其已满足了企业对于研发管理平台的需要,基本的功能性需求和非功能性需求得到解决,在多种环境下仍可正常运行。目前该系统已在企业投入使用,并在使用期间显著提高了业务部门与研发部门之间的沟通效率,员工反馈良好,并计划之后继续丰富系统功能,以满足用户更多需求。
基于SOA架构的需求管理系统的设计与实现
这是一篇关于SOA,Web SerVice,REST,RPC,需求管理的论文, 主要内容为需求管理是软件项目管理中不可或缺的一部分。团队原有的需求管理工具,已提供了需求详情记录,需求进度跟进等基本功能,但仍旧缺乏对需求排期、需求关联等功能点的有力支持。本课题正是在这样的背景下建立,其主要目的是搭建新的需求管理系统以解决因项目人员角色复杂、需求变更频繁而造成的管理成本问题。需求管理系统将从多个角度为需求管理工作提供帮助。系统支持在发布窗口、项目、需求项三个粒度进行关联管理,同时允许需求管理人员在Excel需求模板中进行需求排期后批量导入系统。系统接入了公司的权限管理系统,可以根据项目成员的不同角色划分提供严格的操作权限管理。此外,系统还集成了消息提醒功能,可以方便项目管理人员在需求状态的推进过程中以邮件或者即时消息的方式提醒对应阶段的项目成员完成所负责操作。本课题作为企业内部应用,其应用架构被定义为一种组件结构,需要最大程度实现应用功能的灵活性和可重用性。因此企业内部的SOA框架是本课题的首选方案。需求管理系统划分为Web前端和服务后台两个子系统。服务后台在集成登录验证、权限管理、消息提醒等外部服务的同时,以REST和RPC接口的方式提供了开放的需求管理服务,以供Web前端和其他系统使用。本文以WebService的视角围绕整个需求管理系统的设计和实现展开阐述。需求管理系统由本人独立完成,目前已经在团队内部推广使用,为团队的需求管理工作提供了有效帮助。根据获得的用户反馈,系统在用户操作的便捷性上不断地做出改进。
本文内容包括但不限于文字、数据、图表及超链接等）均来源于该信息及资料的相关主题。发布者：毕设向导 ，原文地址：https://m.bishedaima.com/lunwen/45730.html
