轨道信号系统软件开发与安全标准要求一致性评估的研究

发布时间：2018-04-17 17:39

本文选题：安全评估 + 加权因素分析法　；参考：《北京交通大学》2017年硕士论文

【摘要】：为确定轨道交通信号系统的软件开发过程是否符合相应安全标准,需要选取有效可靠的方法进行评估。目前人为评估无法做到零遗漏,花费时间和成本较多,且评估过程中存在主观倾向。基于此问题,本文结合加权因素分析法对轨道交通信号系统软件开发与安全标准要求一致性评估进行研究。本文主要工作如下:首先对加权因素分析方法进行改进。引入二进制概念,将结果限制为真或假,允许存在未知取值的因素,完善了存在接口关系系统定义。并从语法、框架等方面进行详细定义,使二进制分析法规范化,为对项目中所有因素进行评估提供了一个直观简单方法。使用者能更精确的理解关于图形的意义和推理结论。其次,将改进的方法与具体项目架构紧密结合,对项目安全评估文件(包含接口文件)等进行梳理。根据EN50128-2011标准对软件生命周期相关要求,构建该系统的二进制加权因素分析法框架图。为提高使用效率和可靠性,进行算法辅助程序工具设计。最后,通过多次系统一致性评估的不同情况结果对比得出结论。根据二进制加权因素分析法设计的辅助计算程序能够遍历整个系统,实现了软件开发系统与相关标准要求的一致性自动评估;能够通过具体案例分析出系统的容错性,可以直观的在具体项目系统中区分出大概率影响总体目标的因素和对目标影响较小的因素。在时间人力不足的情况下,利用工具进行自动评估,改善了其他方法存在过于依靠人为评估的问题,具有实际意义。
[Abstract]:In order to determine whether the software development process of rail transit signal system conforms to the corresponding safety standards, it is necessary to select an effective and reliable method for evaluation.At present, artificial evaluation can not achieve zero omission, spend more time and cost, and there is subjective tendency in the evaluation process.Based on this problem, this paper studies the software development and safety standard consistency evaluation of rail transit signal system with weighted factor analysis method.The main work of this paper is as follows: firstly, the method of weighted factor analysis is improved.The binary concept is introduced, the result is restricted to true or false, the factors of unknown value are allowed, and the definition of existence interface relation system is improved.It also defines the grammar, frame and so on in detail, makes the binary analysis method standardized, and provides an intuitive and simple method for the evaluation of all the factors in the project.Users can more accurately understand the meaning of graphics and reasoning conclusions.Secondly, the improved method is closely combined with the specific project framework to comb the project security assessment files (including interface files).According to the requirement of software life cycle in EN50128-2011 standard, the frame diagram of binary weighted factor analysis method is constructed.In order to improve the efficiency and reliability, the algorithm assistant program tool design is carried out.Finally, a conclusion is drawn by comparing the results of multiple systematic consistency assessments.According to the binary weighted factor analysis method, the auxiliary calculation program can traverse the whole system, realize the automatic evaluation of the consistency between the software development system and related standards, and analyze the fault tolerance of the system through specific cases.It can directly distinguish the factors that affect the overall goal and the factors that have little effect on the goal in the specific project system.In the case of insufficient time and manpower, the use of tools for automatic evaluation improves the problem of relying too much on artificial evaluation in other methods, which is of practical significance.
【学位授予单位】：北京交通大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：TP311.52

【参考文献】