CN113010152A - 一种核电厂安全级软件设计系统和方法 - Google Patents
一种核电厂安全级软件设计系统和方法 Download PDFInfo
- Publication number
- CN113010152A CN113010152A CN202110313444.0A CN202110313444A CN113010152A CN 113010152 A CN113010152 A CN 113010152A CN 202110313444 A CN202110313444 A CN 202110313444A CN 113010152 A CN113010152 A CN 113010152A
- Authority
- CN
- China
- Prior art keywords
- design
- software
- power plant
- nuclear power
- module
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000000034 method Methods 0.000 title claims abstract description 42
- 238000013461 design Methods 0.000 claims abstract description 107
- 238000011161 development Methods 0.000 claims abstract description 60
- 230000008859 change Effects 0.000 claims abstract description 51
- 238000012552 review Methods 0.000 claims abstract description 44
- 238000012423 maintenance Methods 0.000 claims abstract description 15
- 230000008569 process Effects 0.000 claims abstract description 12
- 238000012360 testing method Methods 0.000 claims description 22
- 238000004092 self-diagnosis Methods 0.000 claims description 17
- 230000000737 periodic effect Effects 0.000 claims description 12
- 230000010354 integration Effects 0.000 claims description 10
- 238000012827 research and development Methods 0.000 abstract description 6
- 238000004904 shortening Methods 0.000 abstract description 2
- 238000012986 modification Methods 0.000 description 6
- 230000004048 modification Effects 0.000 description 6
- 230000006870 function Effects 0.000 description 5
- 230000002159 abnormal effect Effects 0.000 description 3
- XEEYBQQBJWHFJM-UHFFFAOYSA-N Iron Chemical compound [Fe] XEEYBQQBJWHFJM-UHFFFAOYSA-N 0.000 description 2
- 230000007123 defense Effects 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 238000011156 evaluation Methods 0.000 description 2
- 206010063385 Intellectualisation Diseases 0.000 description 1
- 230000005856 abnormality Effects 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 238000012790 confirmation Methods 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 229910052742 iron Inorganic materials 0.000 description 1
- 239000000463 material Substances 0.000 description 1
- 230000006855 networking Effects 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
- 230000000750 progressive effect Effects 0.000 description 1
- 238000000275 quality assurance Methods 0.000 description 1
- 230000008439 repair process Effects 0.000 description 1
- 238000013522 software testing Methods 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
- G06F8/24—Object-oriented
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/38—Creation or generation of source code for implementing user interfaces
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
- G06Q10/063—Operations research, analysis or management
- G06Q10/0631—Resource planning, allocation, distributing or scheduling for enterprises or organisations
- G06Q10/06311—Scheduling, planning or task assignment for a person or group
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y04—INFORMATION OR COMMUNICATION TECHNOLOGIES HAVING AN IMPACT ON OTHER TECHNOLOGY AREAS
- Y04S—SYSTEMS INTEGRATING TECHNOLOGIES RELATED TO POWER NETWORK OPERATION, COMMUNICATION OR INFORMATION TECHNOLOGIES FOR IMPROVING THE ELECTRICAL POWER GENERATION, TRANSMISSION, DISTRIBUTION, MANAGEMENT OR USAGE, i.e. SMART GRIDS
- Y04S10/00—Systems supporting electrical power generation, transmission or distribution
- Y04S10/50—Systems or methods supporting the power network operation or management, involving a certain degree of interaction with the load-side end user applications
Landscapes
- Engineering & Computer Science (AREA)
- Business, Economics & Management (AREA)
- Human Resources & Organizations (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Economics (AREA)
- Entrepreneurship & Innovation (AREA)
- Strategic Management (AREA)
- Development Economics (AREA)
- Human Computer Interaction (AREA)
- Educational Administration (AREA)
- Game Theory and Decision Science (AREA)
- Marketing (AREA)
- Operations Research (AREA)
- Quality & Reliability (AREA)
- Tourism & Hospitality (AREA)
- General Business, Economics & Management (AREA)
- Debugging And Monitoring (AREA)
Abstract
本发明涉及一种核电厂安全级软件设计系统和方法,包括:对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理,以确定核电厂安全级软件设计开发的基线内容的基线配置模块,根据基线内容对核电厂安全级软件进行设计开发获得开发内容的软件设计模块,根据软件设计模块的设计开发生成软件设计开发文档的文档生成模块,对软件设计开发过程中产生的变更进行记录的设计变更模块和对软件设计的关键信息进行线上审核并输出审核结果的专家评审模块;专家评审模块还基于变更内容进行线上审核并输出变更结果。本发明充分考虑核电厂的特有属性进行安全级软件设计开发,既能满足核电厂安全级软件设计的需求,同时还大大缩短研发周期,降低研发成本。
Description
技术领域
本发明涉及核电厂的技术领域,更具体地说,涉及一种核电厂安全级软件设计系统和方法。
背景技术
随着核电站的智能化、网络化和数字化发展,软件的安全性和可靠性越来越引起核电厂单位以及相关部门的重视。安全级软件用于执行核电厂安全重要系统功能的软件,其失效可能直接或间接影响到系统或核设施的可靠性和经济性。因此,核电厂安全级软件的开发设计必须符合相关标准要求的质量管理和配置管理过程。
目前,随着关键设备的自主化研发,越来越多的包含新软件的自主化设备将应用于核电厂。由于软件研发单位对于核安全级软件的开发更多的关于功能的实现,而未充分考虑核电厂的特有属性,从而导致在对拟应用于执行核电厂安全级系统功能的软件鉴定评估时,软件研发单位需要投入大量的人力和物力对整个软件架构及相关质量保证和配置管理过程进行修改和完善,以满足核电厂安全级软件设计的需求,进而导致研发周长加长,研发成本增加。
发明内容
本发明要解决的技术问题在于,针对现有技术的上述缺陷,提供一种核电厂安全级软件设计系统和方法。
本发明解决其技术问题所采用的技术方案是:构造一种核电厂安全级软件设计系统,包括:基线配置模块、软件设计模块、文档生成模块、设计变更模块以及专家评审模块;
所述基线配置模块用于对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理,以确定核电厂安全级软件设计开发的基线内容;
所述软件设计模块用于根据所述基线内容对核电厂安全级软件进行设计开发,获得开发内容;
所述文档生成模块用于根据所述软件设计模块的设计开发生成软件设计开发文档;
所述设计变更模块用于对软件设计开发过程中产生的变更进行记录,并将变更内容发送给所述专家评审模块;
所述专家评审模块用于对所述基线配置模块、所述软件设计模块和所述文档生成模块中的软件设计的关键信息进行线上审核,并输出审核结果;所述专家评审模块还用于基于所述变更内容进行线上审核并反馈给所述基线配置模块、所述软件设计模块和所述文档生成模块中的任意一个或者多种,并将结果反馈给所述设计变更模块。
在本发明所述的核电厂安全级软件设计系统中,所述基线维护包括:对软件开发的设计输入的维护管理;所述软件开发的设计输入包括:软件开发合同、用户需求、软件设计标准要求、软件开发需求的版本、编码、日期、签字人和审核人。
在本发明所述的核电厂安全级软件设计系统中,所述软件设计模块用于根据所述基线内容对核电厂安全级软件进行设计开发包括:
所述软件设计模块基于所述基线内容完成核电厂安全级软件开发生命周期内的软件需求设计、追溯性分析设计、故障自诊断设计、安全防范性和定期试验设计。
在本发明所述的核电厂安全级软件设计系统中,所述软件设计模块包括:追溯性子模块;
所述追溯性子模块用于进行软件从设计基线到最终软件集成的追溯性设计。
在本发明所述的核电厂安全级软件设计系统中,所述软件设计模块还包括:故障自诊断模块;
所述故障自诊断模块用于进行核电厂安全级软件故障模式识别和故障自诊断功能设计。
在本发明所述的核电厂安全级软件设计系统中,所述软件设计模块还包括:安全防范性子模块;
所述安全防范性子模块用于对核电厂安全级软件的安全防范性进行分析和制定安全策略。
在本发明所述的核电厂安全级软件设计系统中,所述软件设计模块还包括:定期试验子模块;
所述定期试验子模块用于对核电厂安全软件的安全性和可靠性进行定期试验设计。
在本发明所述的核电厂安全级软件设计系统中,所述开发文档包括:软件需求文档、设计文档、实现文档、集成设计文档和测试说明文档。
本发明还提供一种核电厂安全级软件设计方法,包括:
步骤S1、对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理,以确定核电厂安全级软件设计开发的基线内容;
步骤S2、根据所述基线内容对核电厂安全级软件进行设计开发,获得开发内容;
步骤S3、根据所述开发内容生成软件设计的开发文档。
在本发明所述的核电厂安全级软件设计方法中,所述方法还包括:
在执行所述步骤S1、所述步骤S2和所述步骤S3过程,对所述步骤S1、所述步骤S2和所述步骤S3中的软件设计的关键信息进行线上审核,并输出审核结果。
在本发明所述的核电厂安全级软件设计方法中,所述方法还包括:
接收变更信息;
基于所述变更信息进行记录,获得变更内容;
对所述变更内容进行线上审核。
在本发明所述的核电厂安全级软件设计方法中,所述对所述变更内容进行线上审核包括:
确定所述变更内容是否对核电厂安全级软件设计有影响;
若是,输出变更指令;
若否,记录无变更。
在本发明所述的核电厂安全级软件设计方法中,所述步骤S2包括:
基于所述基线内容完成核电厂安全级软件开发生命周期内的软件需求设计;
基于所述基线内容完成核电厂安全级软件开发的追溯性分析设计;
基于所述基线内容完成核电厂安全级软件开发的故障自诊断设计;
基于所述基线内容完成核电厂安全级软件开发的安全防范性设计;
基于所述基线内容完成核电厂安全级软件开发的定期试验设计。
在本发明所述的核电厂安全级软件设计方法中,所述开发文档包括:软件需求文档、设计文档、实现文档、集成设计文档和测试说明文档。
实施本发明的核电厂安全级软件设计系统和方法,具有以下有益效果:包括:对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理,以确定核电厂安全级软件设计开发的基线内容的基线配置模块,根据基线内容对核电厂安全级软件进行设计开发获得开发内容的软件设计模块,根据软件设计模块的设计开发生成软件设计开发文档的文档生成模块,对软件设计开发过程中产生的变更进行记录的设计变更模块和对软件设计的关键信息进行线上审核并输出审核结果的专家评审模块;专家评审模块还基于变更内容进行线上审核并输出变更结果。本发明充分考虑核电厂的特有属性进行安全级软件设计开发,既能满足核电厂安全级软件设计的需求,同时还大大缩短研发周期,降低研发成本。
附图说明
下面将结合附图及实施例对本发明作进一步说明,附图中:
图1是本发明实施例提供的核电厂安全级软件设计系统的原理框图;
图2是本发明提供的核电厂安全级软件设计方法实施例一的流程示意图;
图3是本发明提供的核电厂安全级软件设计方法实施例二的流程示意图。
具体实施方式
为了对本发明的技术特征、目的和效果有更加清楚的理解,现对照附图详细说明本发明的具体实施方式。
为了解决现有核电厂安全级软件需求复杂、开发过程要求严格而导致可能存在开发过程不规范、需求分析不完备,进而导致核安全级软件无法满足核电厂对于安全级软准入标准要求的问题,本发明设计一种核电厂安全级软件设计系统,该系统可为核安全级软件设计的全生命周期提供规范化开发平台,降低由于软件设计变更引起的人力成本和设计成本,提升软件开发效率和软件的质量,为核电厂安全级软件设计开发工作提供适用性的开发平台。需要说明的是,为了便于说明,本发明实施例所指的软件即为核电厂安全级软件。
具体的,参考图1,图1为核电厂安全级软件设计系统的原理框图。
如图1所示,该核电厂安全级软件设计系统包括:基线配置模块101、软件设计模块102、文档生成模块103、设计变更模块105以及专家评审模块104。
基线配置模块101用于对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理,以确定核电厂安全级软件设计开发的基线内容。
一些实施例中,基线维护包括:对软件开发的设计输入的维护管理;软件开发的设计输入包括:软件开发合同、用户需求、软件设计标准要求、软件开发需求的版本、编码、日期、签字人和审核人。软件开发的设计输入还包括其他软件开发所需要的基准内容,不限于本发明列举的实施例。
可以理解地,基线维护用于对软件开发的设计输入的维护管理,软件的开发需要基于已确定的基线开展,后结如需要对基线进行变更需经过专家评审评估。
通过基线配置模块101对软件关键性分析,进而确认软件完整性等级,从而明确软件设计基线(即软件开发的设计输入,也即基线内容),并将该基线内容作为软件设计模块102的输入,同时,该基线配置模块101还对软件开发质量进行管理和配置管理工作。
软件设计模块102用于根据基线内容对核电厂安全级软件进行设计开发,获得开发内容。
具体的,软件设计模块102用于根据基线内容对核电厂安全级软件进行设计开发包括:软件设计模块102基于基线内容完成核电厂安全级软件开发生命周期内的软件需求设计、追溯性分析设计、故障自诊断设计、安全防范性和定期试验设计。
一些实施例中,软件设计模块102包括:追溯性子模块。追溯性子模块用于进行软件从设计基线到最终软件集成的追溯性设计。通过追溯性子模块完成软件从设计基线到最终软件集成的追溯性设计,保证软件需求实现的完备性和充分性。
一些实施例中,软件设计模块102还包括:故障自诊断模块。该故障自诊断模块用于进行核电厂安全级软件故障模式识别和故障自诊断功能设计。通过配置故障自诊断模块用于核安全级软件故障模式识别和故障自诊断功能设计,确保软件的安全性和可靠性。
一些实施例中,软件设计模块102还包括:安全防范性子模块。安全防范性子模块用于对核电厂安全级软件的安全防范性进行分析和制定安全策略。通过配置安全防范性子模块用于软件的安全防范性分析及安全策略制定,确保软件符合核安全级软件对于安全防范的要求。
一些实施例中,软件设计模块102还包括:定期试验子模块。该定期试验子模块用于对核电厂安全软件的安全性和可靠性进行定期试验设计。通过定期试验子模块对核电厂安全级软件的安全性和可靠性进行定期试验,可提升核电厂安全级软件的安全性和可靠性。
文档生成模块103用于根据软件设计模块102的设计开发生成软件设计开发文档。
可选的,开发文档包括但不限于:软件需求文档、设计文档、实现文档、集成设计文档和测试说明文档。通过生成开发文档,可以满足核电厂安全级软件设计文档架构,其中,文档架构内容除强制保留内容外,部分可进行定制。
设计变更模块105用于对软件设计开发过程中产生的变更进行记录,并将变更内容发送给专家评审模块104。
具体的,当软件由于用户需求或对软件测试过程发现的异常修复而发生变更时,通过设计变更模块105进行记录,并将变更内容发送给专家评审模块104。
专家评审模块104用于对基线配置模块101、软件设计模块102和文档生成模块103中的软件设计的关键信息进行线上审核,并输出审核结果;专家评审模块104还用于基于变更内容进行线上审核并反馈给基线配置模块101、软件设计模块102和文档生成模块103中的任意一个或者多种,并将结果反馈给设计变更模块105。
可靠铁,关键信息包括但不限于基线配置模块101、软件设计模块102和文档生成模块103中提示的软件设计的关键技术节点和技术方案。
具体的,专家评审模块104对软件设计开发生命周期内的关键技术节点和技术变更的评估审查,根据评审内容评审结果分别作为基线配置模块101、软件设计模块102以及文档生成模块103的输入。其中,审核结果包括但不限于对基线配置模块101、软件设计模块102和文档生成模块103中的任意一个或者多个的修改,此时,专家评审模块104将所需修改内容发送至对应的模块进行修改,从而确保软件开发的正确性和严谨性。
设计变更模块105配置用于当软件验证测试导致软件异常的修改和设计基线的变更(包括但不限于设计标准、合同或者用户需求等)导致软件设计可能存在变更的风险的跟踪处理,经过专家评审模块104进行线上审核,确认是否影响软件设计,如有影响,则将修改内容发送至对应的模块进行修改,如没有影响,则反馈给设计变更模块105,由设计变更模块105进行相应的记录。
例如,当发生设计变更时,设计变更模块105将变更内容发送给专家评审模块104,专家评审模块104对变更内容进行线上审核,判断对软件设计开发是否有影响,如没有影响,则反馈给设计变更模块105,对评审结果进行记录;如对软件设计开发有影响,专家评审模块104即将所需修改的内容发送至基线配置模块101、软件设计模块102和文档生成模块103中对应的模块。如,当发生功能需求变更或者软件等级变更时,将影响设计基线、软件设计及文档生成,因此,需将修改的内容发送给基线配置模块101、软件设计模块102和文档生成模块103。如由软件验证与确认发现的软件开发的异常项,经专家评审模块104评估该异常对基线无影响,只需对软件设计进行变更时,则发送给软件设计模块102进行修改。如对于变更内容经专家评审模块104评估确认仅影响设计文档,则发送给文档生成模块103进行修改。
本发明还提供一种核电厂安全级软件设计方法,该方法基于本发明实施例公开的核电厂安全级软件设计系统实现。
如图2所示,该核电厂安全级软件设计方法包括:
步骤S1、对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理,以确定核电厂安全级软件设计开发的基线内容。
步骤S2、根据基线内容对核电厂安全级软件进行设计开发,获得开发内容。
步骤S3、根据开发内容生成软件设计的开发文档。
一些实施例中,如图3所示,该核电厂安全级软件设计方法还包括:
步骤S4、在执行步骤S1、步骤S2和步骤S3过程,对步骤S1、步骤S2和步骤S3中的软件设计的关键信息进行线上审核,并输出审核结果。
一些实施例中,如图3所示,该核电厂安全级软件设计方法还包括:接收变更信息;基于变更信息进行记录,获得变更内容;对变更内容进行线上审核。具体的,对变更内容进行线上审核包括:确定变更内容是否对核电厂安全级软件设计有影响;若是,输出变更指令;若否,记录无变更。
一些实施例中,步骤S2包括:基于基线内容完成核电厂安全级软件开发生命周期内的软件需求设计;基于基线内容完成核电厂安全级软件开发的追溯性分析设计;基于基线内容完成核电厂安全级软件开发的故障自诊断设计;基于基线内容完成核电厂安全级软件开发的安全防范性设计;基于基线内容完成核电厂安全级软件开发的定期试验设计。
一些实施例中,开发文档包括但不限于:软件需求文档、设计文档、实现文档、集成设计文档和测试说明文档。
本发明的核电厂安全级软件设计系统可有效执行针对核电厂安全级软件设计各,通过对基线的配置管理,明确软件完整性等级以及设计基线,并对软件开发执行质量和配置管理,保证软件开发的质量,在此基线基础上,通过软件设计完成软件需求、设计、实现以及集成阶段的设计工作,并通过文档生成模块103生成软件设计文档及相关的测试文档,用于软件测试和验证工作的输入。整个软件设计过程通过专家评审模块104对关键设计节点、设计技术变更等进行技术审核,确保技术方案的可行性、安全性和可靠性。
本说明书中各个实施例采用递进的方式描述,每个实施例重点说明的都是与其他实施例的不同之处,各个实施例之间相同相似部分互相参见即可。对于实施例公开的装置而言,由于其与实施例公开的方法相对应,所以描述的比较简单,相关之处参见方法部分说明即可。
专业人员还可以进一步意识到,结合本文中所公开的实施例描述的各示例的单元及算法步骤,能够以电子硬件、计算机软件或者二者的结合来实现,为了清楚地说明硬件和软件的可互换性,在上述说明中已经按照功能一般性地描述了各示例的组成及步骤。这些功能究竟以硬件还是软件方式来执行,取决于技术方案的特定应用和设计约束条件。专业技术人员可以对每个特定的应用来使用不同方法来实现所描述的功能,但是这种实现不应认为超出本发明的范围。
结合本文中所公开的实施例描述的方法或算法的步骤可以直接用硬件、处理器执行的软件模块,或者二者的结合来实施。软件模块可以置于随机存储器(RAM)、内存、只读存储器(ROM)、电可编程ROM、电可擦除可编程ROM、寄存器、硬盘、可移动磁盘、CD-ROM、或技术领域内所公知的任意其它形式的存储介质中。
以上实施例只为说明本发明的技术构思及特点,其目的在于让熟悉此项技术的人士能够了解本发明的内容并据此实施,并不能限制本发明的保护范围。凡跟本发明权利要求范围所做的均等变化与修饰,均应属于本发明权利要求的涵盖范围。
Claims (14)
1.一种核电厂安全级软件设计系统,其特征在于,包括:基线配置模块、软件设计模块、文档生成模块、设计变更模块以及专家评审模块;
所述基线配置模块用于对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理,以确定核电厂安全级软件设计开发的基线内容;
所述软件设计模块用于根据所述基线内容对核电厂安全级软件进行设计开发,获得开发内容;
所述文档生成模块用于根据所述软件设计模块的设计开发生成软件设计开发文档;
所述设计变更模块用于对软件设计开发过程中产生的变更进行记录,并将变更内容发送给所述专家评审模块;
所述专家评审模块用于对所述基线配置模块、所述软件设计模块和所述文档生成模块中的软件设计的关键信息进行线上审核,并输出审核结果;所述专家评审模块还用于基于所述变更内容进行线上审核并反馈给所述基线配置模块、所述软件设计模块和所述文档生成模块中的任意一个或者多种,并将结果反馈给所述设计变更模块。
2.根据权利要求1所述的核电厂安全级软件设计系统,其特征在于,所述基线维护包括:对软件开发的设计输入的维护管理;所述软件开发的设计输入包括:软件开发合同、用户需求、软件设计标准要求、软件开发需求的版本、编码、日期、签字人和审核人。
3.根据权利要求1所述的核电厂安全级软件设计系统,其特征在于,所述软件设计模块用于根据所述基线内容对核电厂安全级软件进行设计开发包括:
所述软件设计模块基于所述基线内容完成核电厂安全级软件开发生命周期内的软件需求设计、追溯性分析设计、故障自诊断设计、安全防范性和定期试验设计。
4.根据权利要求3所述的核电厂安全级软件设计系统,其特征在于,所述软件设计模块包括:追溯性子模块;
所述追溯性子模块用于进行软件从设计基线到最终软件集成的追溯性设计。
5.根据权利要求4所述的核电厂安全级软件设计系统,其特征在于,所述软件设计模块还包括:故障自诊断模块;
所述故障自诊断模块用于进行核电厂安全级软件故障模式识别和故障自诊断功能设计。
6.根据权利要求5所述的核电厂安全级软件设计系统,其特征在于,所述软件设计模块还包括:安全防范性子模块;
所述安全防范性子模块用于对核电厂安全级软件的安全防范性进行分析和制定安全策略。
7.根据权利要求6所述的核电厂安全级软件设计系统,其特征在于,所述软件设计模块还包括:定期试验子模块;
所述定期试验子模块用于对核电厂安全软件的安全性和可靠性进行定期试验设计。
8.根据权利要求1-7任一项所述的核电厂安全级软件设计系统,其特征在于,所述开发文档包括:软件需求文档、设计文档、实现文档、集成设计文档和测试说明文档。
9.一种核电厂安全级软件设计方法,其特征在于,包括:
步骤S1、对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理,以确定核电厂安全级软件设计开发的基线内容;
步骤S2、根据所述基线内容对核电厂安全级软件进行设计开发,获得开发内容;
步骤S3、根据所述开发内容生成软件设计的开发文档。
10.根据权利要求9所述的核电厂安全级软件设计方法,其特征在于,所述方法还包括:
在执行所述步骤S1、所述步骤S2和所述步骤S3过程,对所述步骤S1、所述步骤S2和所述步骤S3中的软件设计的关键信息进行线上审核,并输出审核结果。
11.根据权利要求9所述的核电厂安全级软件设计方法,其特征在于,所述方法还包括:
接收变更信息;
基于所述变更信息进行记录,获得变更内容;
对所述变更内容进行线上审核。
12.根据权利要求11所述的核电厂安全级软件设计方法,其特征在于,所述对所述变更内容进行线上审核包括:
确定所述变更内容是否对核电厂安全级软件设计有影响;
若是,输出变更指令;
若否,记录无变更。
13.根据权利要求9所述的核电厂安全级软件设计方法,其特征在于,所述步骤S2包括:
基于所述基线内容完成核电厂安全级软件开发生命周期内的软件需求设计;
基于所述基线内容完成核电厂安全级软件开发的追溯性分析设计;
基于所述基线内容完成核电厂安全级软件开发的故障自诊断设计;
基于所述基线内容完成核电厂安全级软件开发的安全防范性设计;
基于所述基线内容完成核电厂安全级软件开发的定期试验设计。
14.根据权利要求9-13任一项所述的核电厂安全级软件设计方法,其特征在于,所述开发文档包括:软件需求文档、设计文档、实现文档、集成设计文档和测试说明文档。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110313444.0A CN113010152A (zh) | 2021-03-24 | 2021-03-24 | 一种核电厂安全级软件设计系统和方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110313444.0A CN113010152A (zh) | 2021-03-24 | 2021-03-24 | 一种核电厂安全级软件设计系统和方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN113010152A true CN113010152A (zh) | 2021-06-22 |
Family
ID=76406067
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202110313444.0A Pending CN113010152A (zh) | 2021-03-24 | 2021-03-24 | 一种核电厂安全级软件设计系统和方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN113010152A (zh) |
Citations (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP1056026A2 (en) * | 1999-05-24 | 2000-11-29 | General Electric Company | System for evaluating designs |
US20050160395A1 (en) * | 2002-04-08 | 2005-07-21 | Hughes John M. | Systems and methods for software development |
KR20120088296A (ko) * | 2011-01-31 | 2012-08-08 | 국방과학연구소 | 국방 정보 시스템의 컴포넌트 기반 개발 방법 |
JP2012208664A (ja) * | 2011-03-29 | 2012-10-25 | Japan Research Institute Ltd | ソフトウェア設計・運用統合管理システム |
US20170199810A1 (en) * | 2016-01-07 | 2017-07-13 | International Business Machines Corporation | Automatic Cognitive Adaptation of Development Assets According to Requirement Changes |
CN107562411A (zh) * | 2016-07-01 | 2018-01-09 | 黑龙江傲立辅龙科技开发有限公司 | 一种嵌入式软件的开发方法 |
CN108537503A (zh) * | 2018-03-26 | 2018-09-14 | 西南电子技术研究所(中国电子科技集团公司第十研究所) | 软件开发管理系统 |
CN109144474A (zh) * | 2018-07-26 | 2019-01-04 | 任民民 | 一种文档与代码一体化的管理系统和方法 |
CA3035176A1 (en) * | 2015-11-20 | 2019-09-09 | General Electric Company | System and method for safety-critical software automated requirements-based test case generation |
CN110728492A (zh) * | 2019-09-27 | 2020-01-24 | 上海麦克风文化传媒有限公司 | 一种需求变更管理方法及系统 |
CN111399805A (zh) * | 2020-03-13 | 2020-07-10 | 云南云电同方科技有限公司 | 一种软件开发管理系统和方法 |
-
2021
- 2021-03-24 CN CN202110313444.0A patent/CN113010152A/zh active Pending
Patent Citations (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP1056026A2 (en) * | 1999-05-24 | 2000-11-29 | General Electric Company | System for evaluating designs |
US20050160395A1 (en) * | 2002-04-08 | 2005-07-21 | Hughes John M. | Systems and methods for software development |
KR20120088296A (ko) * | 2011-01-31 | 2012-08-08 | 국방과학연구소 | 국방 정보 시스템의 컴포넌트 기반 개발 방법 |
JP2012208664A (ja) * | 2011-03-29 | 2012-10-25 | Japan Research Institute Ltd | ソフトウェア設計・運用統合管理システム |
CA3035176A1 (en) * | 2015-11-20 | 2019-09-09 | General Electric Company | System and method for safety-critical software automated requirements-based test case generation |
US20170199810A1 (en) * | 2016-01-07 | 2017-07-13 | International Business Machines Corporation | Automatic Cognitive Adaptation of Development Assets According to Requirement Changes |
CN107562411A (zh) * | 2016-07-01 | 2018-01-09 | 黑龙江傲立辅龙科技开发有限公司 | 一种嵌入式软件的开发方法 |
CN108537503A (zh) * | 2018-03-26 | 2018-09-14 | 西南电子技术研究所(中国电子科技集团公司第十研究所) | 软件开发管理系统 |
CN109144474A (zh) * | 2018-07-26 | 2019-01-04 | 任民民 | 一种文档与代码一体化的管理系统和方法 |
CN110728492A (zh) * | 2019-09-27 | 2020-01-24 | 上海麦克风文化传媒有限公司 | 一种需求变更管理方法及系统 |
CN111399805A (zh) * | 2020-03-13 | 2020-07-10 | 云南云电同方科技有限公司 | 一种软件开发管理系统和方法 |
Non-Patent Citations (3)
Title |
---|
LINDEN J. BALL, 等: "Design requirements, epistemic uncertainty and solution development strategies in software design", 《ELSEVIER》, 30 November 2010 (2010-11-30) * |
TAO WANG 等: "SeeFruits: Design and evaluation of a cloud-based ultra-portable NIRS system for sweet cherry quality detection", 《ELSEVIER》, 31 December 2018 (2018-12-31) * |
孙晶晶 等: "基于国内某OTA的软件测试缺陷分析对软件开发流程的思考", 《轻工科技》, 31 December 2018 (2018-12-31) * |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9170821B1 (en) | Automating workflow validation | |
Söylemez et al. | Challenges of software process and product quality improvement: catalyzing defect root-cause investigation by process enactment data analysis | |
CN115328784A (zh) | 一种面向敏捷接口的自动化测试方法及系统 | |
CN111274136B (zh) | 一种机载软件测试管理系统和测试过程管理方法 | |
Bao et al. | Quantitative evaluation of common cause failures in high safety-significant safety-related digital instrumentation and control systems in nuclear power plants | |
Kelly et al. | Improving software quality using statistical testing techniques | |
Tolo et al. | An integrated modelling framework for complex systems safety analysis | |
Mead et al. | Incorporating security requirements engineering into the dynamic systems development method | |
CN116521215A (zh) | 开源软件治理能力评价方法及装置 | |
CN113010152A (zh) | 一种核电厂安全级软件设计系统和方法 | |
Saputri et al. | Software Analysis Method for Assessing Software Sustainability | |
Frechette et al. | Regression Test Reduction for Object‐Oriented Software: A Control Call Graph Based Technique and Associated Tool | |
Varkoi et al. | Validating effectiveness of safety requirements' compliance evaluation in process assessments | |
Weiss | Auditability of software: A survey of techniques and costs | |
Ortiz et al. | Towards a Pattern-Based Security Methodology to Build Secure Information Systems | |
Karuna et al. | Statistical analysis of metrics for software quality improvement | |
Kurtel | Measuring and monitoring software maintenance services: An industrial experience | |
Ferrari et al. | Criteria for the analysis of gaps and limitations of v&v methods for safety-and security-critical systems | |
Zhu et al. | Jllar: A logging recommendation plug-in tool for java | |
Güngör et al. | A Maturity Model Guidance Approach for Integration Testing of Avionics Software. | |
Enríquez et al. | ALAMEDA ecosystem: centering efforts in software testing development | |
Faccia et al. | Blazing a New Trail in ERP Integration with NLP and Generative AI through APIs: a fraud examination perspective | |
Lee et al. | An empirical study of quality and cost based security engineering | |
Kim | A framework for security assurance in component based development | |
Mohagheghi et al. | Exploring industrial data repositories: where software development approaches meet |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination |