A Safety Level DCS Symbol Execution Test Optimization Method

机译：安全级别DCS符号执行测试优化方法

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Nuclear power plant safet-level DCS (Distributed Control System) is the core control system to ensure the normal operation of nuclear reactors. The reliability of DCS system software is of vital importance. The DCS software performs different signal processing processes, each of which represents a different operating condition, corresponding to each control path in the software system. The safety level DCS provides safety protection for the reactor and each control path should meet the expected value. Efficient testing of the path becomes an issue that needs to be studied. Based on the automated test method based on symbolic execution, this paper designs a constraint optimization method based on special variables in safety level DCS software system such as parameter variables and preset variables, which provides a new way for efficient path constraint solving of DCS software system.

机译：核电站安全级DCS（分布式控制系统）是确保核反应堆正常运行的核心控制系统。 DCS系统软件的可靠性至关重要。 DCS软件执行与软件系统中的每个控制路径相对应的不同信号处理过程，每个信号处理过程代表不同的操作条件。安全级别DCS为电抗器提供安全保护，并且每个控制路径均应符合预期值。路径的有效测试成为需要研究的问题。基于基于符号执行的自动测试方法，设计了一种基于安全变量DCS软件系统中特殊变量（例如参数变量和预设变量）的约束优化方法，为有效解决DCS软件系统的路径约束问题提供了一种新途径。。

著录项

来源
《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》|2019年|294-303|共10页
会议地点
作者
Yan-Jun Dai; Zhi-Qiang Wu; Jie Liu; Zhi Chen; An-Hong Xiao; Hui Zeng;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Nuclear safety level DCS; Symbolic execution; Path test; Constraint optimization;

机译：核安全等级DCS;符号执行;路径测试;约束优化;

相似文献

外文文献
中文文献
专利

1. ANSI/ASSE Z9.14 "Testing and Performance Verification Methodologies for Ventilation Systems for Biological Safety Level 3 (BSL-3) and Animal Biological Safety Level 3 (ABSL-3) Laboratories" Leads Standard Development for High-Containment Laboratory Performance [J] . Farhad Memarzadeh, Louis DiBerardinis Applied biosafety: Journal of the American Biological Safety Association. . 2013,第2期

机译：ANSI / ASSE Z9.14“生物安全等级3（BSL-3）和动物生物安全等级3（ABSL-3）实验室通风系统的测试和性能验证方法”引领了高安全性实验室性能的标准制定
2. Standard ANSI Z9.14: Testing and performance verification methodologies for ventilation systems for Biological Safety Level 3 (BSL-3) and animal Biological Safety Level 3 (ABSL-3) facilities [J] . Far had Memarzadeh, Lou DiBerardinis Journal of chemical health & safety . 2012,第2期

机译：标准ANSI Z9.14：生物安全等级3（BSL-3）和动物生物安全等级3（ABSL-3）设施的通风系统的测试和性能验证方法
3. A Preclinical Safety Testing Algorithm for Antibody Drug Conjugate (ADC) Lead Optimization and Candidate Selection [J] . Lee D. W., Stagg N., Vuillemenot B., International journal of toxicology . 2018,第1期

机译：抗体药物缀合物（ADC）铅优化和候选选择的临床安全测试算法
4. A Safety Level DCS Symbol Execution Test Optimization Method [C] . Yan-Jun Dai, Zhi-Qiang Wu, Jie Liu, International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant . 2020

机译：安全级别DCS符号执行测试优化方法
5. Comparative Analysis of MPPT Methods for PV System with DC-DC Multilevel Converter [D] . Khadka, Krishna. 2018

机译：具有DC-DC多电平转换器PV系统MPPT方法的比较分析
6. An in vitro method to test the safety and efficacy of low-level laser therapy (LLLT) in the healing of a canine skin model [O] . Dominique Gagnon, Thomas W.G. Gibson, Ameet Singh, 2016

机译：一种测试低水平激光疗法（LLLT）在犬皮肤模型愈合中的安全性和有效性的体外方法
7. HIT Poster session 2P479Strain concordance in a real-world setting: experience in our laboratory after equipment upgradeP4803D echocardiography is a fast-learning and reliable method for the measurements of left atrial volumesP481Echocardiographic parameters associated with long-term appropriate antiarrhythmic therapies in cardiac resynchronization therapy defibrillator patientsP482Noninvasively measured global wasted myocardial work allows for quantitative assessment of typical left ventricular mechanical dyssynchrony pattern in patients with left bundle branch blockP483The impact of adherence to physical exercise on the improvement of cardiovascular remodeling and metabolic status in healthy untrained postmenopausal womenP484The impact of the latest chamber quantification recommendations on the prediction of left atrial appendage thrombus presenceP485The cardiac-enriched miRNAs plasma levels (miR-1, miR-133a, miR-499) reflect the impaired left ventricular systolic function and correlate with cardiac necrosis markers in early phase of NSTE-ACSP486Acute regional myocardial deformation changes in patients with severe aortic stenosis and preserved ejection fraction after isolated aortic valve replacementP487Left ventricular rotational deformation in asymptomatic patients with chronic aortic regurgitation and normal left ventricular ejection fraction P488The appropriate use of transthoracic echocardiography for the exclusion of infective endocarditisP489In patients with hypertrophic cardiomyopathy, left ventricular mass and shape by three-dimensional echocardiography are related with dynamic obstruction and functional capacityP490Mitral leaflet sizing in hypertrophic cardiomyopathy: impact of method and timingP491Echocardiographic predictors of atrial fibrillation in obese womenP492Echocardiographic risk factors for 30 day mortality after the hybrid procedure for hypoplastic left heart syndromeP493Left ventricular mass is an independent predictor of coronary flow reserve: insights from a single centre stress echo cohortP494Transesophageal echocardigoraphy uner conscious sedation for guiding cryoballoon pulmonary vein isolation in paroxysmal atrial fibrillation - the safety and feasibility studyP495Transesophageal echocardigoraphy under conscious sedation for guiding cryoballoon pulmonary vein isolation in paroxysmal atrial fibrillation - the safety and feasibility studyP496Three-dimensional trans-esophageal echocardiography assessment of the immediate morphological changes of the mitral annulus after percutaneous mitral edge-to-edge repairP497Clinical value of global and regional longitudinal strain in prediction of myocardial ischemia in asymptomatic diabetes type 2 patientsP499Comparison of prognostic operative risk impact on the global longitudinal strain right ventricle (GLS RV) and tricuspid annular plane systolic excursion (TAPSE) values in patients with ischemic cardioP498Right heart function in early diastolic dysfunction: 2D speckle-tracking echocardiography-based assessment of right atrial and right ventricular functionP500 Comparison of 2D, 3D transesophageal echocardiography and computed tomography during the assessment of left atrial appendage closure [O] . JF. Cueva Recalde, A. Velcea, S. Aguiar Rosa, 2016

机译：HIT墙报2P479Strain一致性在真实世界场景：在设备upgradeP4803D超声心动图检查后，我们实验室的经验是为测量快速学习和可靠的方法左心房在心脏再同步治疗除颤器patientsP482Noninvasively长期适当的抗心律失常治疗相关volumesP481Echocardiographic参数测量了全球浪费心肌工作允许患者依从性左束支传导blockP483The影响到体育锻炼上的最新室定量建议健康未受训练的绝经后womenP484The影响心血管重构和代谢状态的改善典型左室机械不同步模式的定量评估上的预测左心耳血栓presenceP485The心脏富集miRNA的血浆水平（的miR-1，的miR-133a的，的miR-499）反映受损左心室收缩功能及CORREL吃用的患者的严重主动脉瓣狭窄NSTE-ACSP486Acute区域心肌变形的变化早期心肌坏死标志物和后射血分数分离主动脉瓣膜replacementP487Left心室旋转在无症状患者慢性主动脉瓣反流和正常左心室射血分数P488The适当使用不变形对于感染endocarditisP489In肥厚型心肌病患排除经胸超声心动图，由三维超声心动图左心室质量和形状与动态障碍物和功能capacityP490Mitral相关小叶上浆肥厚型心肌病：的心房纤维性颤动中肥胖womenP492Echocardiographic方法和timingP491Echocardiographic预测结果的影响对于syndromeP493Left左室质量发育不全左心脏杂交程序后的30天死亡率的危险因素是冠状动脉血流RESER的独立预测因子已经：见解从一个单一的中心的应力回波cohortP494Transesophageal echocardigoraphy纳清醒镇静用于引导低温球囊肺静脉阵发性心房颤动隔离 - 下清醒镇静的安全性和可行性studyP495Transesophageal echocardigoraphy为阵发性心房颤动引导低温球囊肺静脉隔离 - 安全性和可行性studyP496Three的经皮二尖瓣边缘到边缘repairP497Clinical全球及区域纵向应变的心肌缺血的预测无症状糖尿病类型值2 patientsP499Comparison对预后手术风险冲击二尖瓣环的直接形态学变化维经食道超声心动图评估全球纵向应变右心室（RV GLS）和三尖瓣环平面收缩漂移（TAPSE）患者的早期舒张功能障碍性脑缺血cardioP498Right心脏功能值：2D斑点的trackin右心室2D的functionP500比较右心房的和g超声心动图基于评估，3D食管超声心动图和计算机断层左心耳闭合的评估过程中
8. The Assessment of Safety Symbol Understandability by Different Testing Methods [R] . Lerner, N. D. , Collins, B. L. 1980

机译：不同测试方法对安全符号可理解性的评估

A Safety Level DCS Symbol Execution Test Optimization Method

摘要

著录项

相似文献

相关主题

期刊订阅