检索结果-内蒙古大学图书馆

software verification and validation of Digital Nuclear Instrumentation System 4th

Software Verification and Validation of Digital Nuclear Inst...

4th International Symposium on software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant (ISNPP)

作者： Zhang, Mi Wang, Ju-Zhi Huang, Wei-Jie Huang, Bing-Chen Minist Ecol & Environm Peoples Republ China Nucl & Radiat Safety Ctr Beijing Peoples R China Wuhan Second Ship Design & Res Inst Wuhan 430064 Peoples R China

ISBN: (纸本)9789811518768;9789811518751

With the popularity of digital electronic instruments, more and more attention is paid to the safety-related software quality. RPN (nuclear instrumentation system) is a class 1E protection system. RPN is designed to provide a snapshot of neutron activity within the reactor core. RPN provides the snapshot throughout all operational phases, from start-up to full power and post-accident situations. In order to verify the reliability of the software of the digital RPN, the software verification and validation activities are carried out, according to HAD102/16-2004 and IEC60880-2006. The activities include compiling software verification and validation plan, determining the software lifecycle model, verifying the system specification, verifying software requirement, verifying software design, analying code rule, carrying out software unit test, carrying out software integration test and carrying out validation test. These works show that the reliability of the software of the RPN meets the requirements of HAD102/16-2004 and IEC60880-2006, and the performance meets the requirements of the technical specifications.

关键词： Nuclear instrumentation system Nuclear Safety-related software software verification and validation

来源：评论

学校读者我要写书评

暂无评论

umd-verification: Automation of software validation for the EGI Federated e-Infrastructure

引用

JOURNAL OF GRID COMPUTING 2018年第4期16卷 683-696页

作者： Orviz Fernandez, Pablo Pina, Joao Lopez Garcia, Alvaro Campos Plasencia, Isabel David, Mario Gomes, Jorge Ctr Mixto CSIC UC Inst Fis Cantabria Santander Spain Lab Instrumentacao & Fis Expt Particulas LIP Lisbon Portugal

Supporting e-Science in the EGI e-Infrastructure requires extensive and reliable software, for advanced computing use, deployed across over approximately 300 European and worldwide data centers. The Unified Middleware Distribution (UMD) and Cloud Middleware Distribution (CMD) are the channels to deliver the software for the EGI e-Infrastructure consumption. The software is compiled, validated and distributed following the software Provisioning Process (SWPP), where the Quality Criteria (QC) definition sets the minimum quality requirements for EGI acceptance. The growing number of software components currently existing within UMD and CMD distributions hinders the application of the traditional, manual-based validation mechanisms, thus driving the adoption of automated solutions. This paper presents umd-verification, an open-source tool that enforces the fulfillment of the QC requirements in an automated way for the continuous validation of the software products for scientific disposal. The umd-verification tool has been successfully integrated within the SWPP pipeline and is progressively supporting the full validation of the products in the UMD and CMD repositories. While the cost of supporting new products is dependant on the availability of Infrastructure as Code solutions to take over the deployment and high test coverage, the results obtained for the already integrated products are promising, as the time invested in the validation of products has been drastically reduced. Furthermore, automation adoption has brought along benefits for the reliability of the process, such as the removal of human-associated errors or the risk of regression of previously tested functionalities.

关键词： Automation software verification and validation software quality assurance software quality control software testing Continuous integration

来源：评论

学校读者我要写书评

暂无评论

Discussion on the verification and validation Technology of Nuclear Safety Level software Based on Bayesian Belief Network 1

引用

8th Symposium on Digital Instrumentation and Control Technologies and Applications for Nuclear Power Plants

作者： Cheng, Cong China Techenergy Co Ltd Beijing 100094 Peoples R China

ISBN: (数字)9789819770557

ISBN: (纸本)9789819770571;9789819770557;9789819770540

software verification and validation (V&V) refers to verifying and confirming that software meets its expected specifications and requirements through various testing and analysis techniques, which can ensure the high quality and reliability of the software system, while also reducing the development cost and time. This paper mainly studies the verification and verification technology of nuclear safety software,based on the characteristics that traditional software verification and validation can only be used to evaluate the product qualitatively, this paper proposes the method of combining qualitative analysis and quantitative analysis, that is, using the Bayesian method to provide a basic model, through the determination of expert weight and analytic hierarchy process, the transformation mode from qualitative analysis to quantitative analysis is clarified. The mathematical model is established by quantitative analysis, and the evaluation target is assigned to each node in the model, and the valuation is adjusted according to the target, so as to solve the problems that cannot be objectively quantified in the existing review activities in the industry.

关键词： software verification and validation Bayesian Belief Network Qualitative analysis Quantitative analysis

来源：评论

学校读者我要写书评

暂无评论

Integration, verification and validation of a Model-Based Avionic software in a Real-Time Flight Dynamics Environment

Integration, Verification and Validation of a Model-Based Av...

引用

AIAA SciTech Forum

作者： Panchal, Purav Hein, Luca Bliemetsrieder, Wolfgang Sorokina, Nina Myschik, Stephan Univ Bundeswehr Munchen Inst Aeronaut Engn Chair Flight Mech & Flight Control D-85521 Neubiberg Germany Univ Bundeswehr Munchen Dept Elect Engn D-85521 Neubiberg Germany

ISBN: (数字)9781624107115

ISBN: (纸本)9781624107115

This paper presents the real-time integration, verification, and validation of a battery controller developed using a model-based development approach. The research is part of a project called ELAPSED, which focuses on the development of an electric-powered glider. The glider will utilize a multilevel battery system and an innovative motor. The battery modular multilevel management system, consists of a battery main controller and several battery cell controllers. The software for these controllers is developed using a process-oriented build tool in MATLAB/Simulink and verified. The build tool aims to enforce various objectives of DO-178C/DO-331 by leveraging several automatic features, such as model scaffolding, review checklists, incremental code generation, and artifacts handling. For real-time software verification and validation, a testbench is set up using two real-time machines. The modular testbench enables easy switching of software modules between real-time and simulation. This paper presents the complete lifecycle of the software being developed and verified in real-time. The battery cell controller software application is used to explain the application of the toolchain.

关键词： Flight Dynamics software Development software verification and validation Avionics software Architecture Hardware Development Simulation Testing Real Time System Propulsion System Flight Simulators

来源：评论

学校读者我要写书评

暂无评论

Development of a Standard for verification and validation of software Used to Calculate Nuclear System Thermal Fluids Behavior

Development of a Standard for Verification and Validation of...

引用

作者： Ryan L. Crane Edwin A. Harvego Richard R. Schultz Idaho National Laboratory (INL)

来源：评论

学校读者我要写书评

暂无评论

A case study investigating the characteristics of verification and validation activities in the software development process

A case study investigating the characteristics of verificati...

引用

EUROMICRO Conference

作者： Berling Host Ericsson Microwave Systems AB Molndal Sweden Department of Communication Systems Lund University Lund Sweden

System verification and validation are important activities in the software development process aiming at testing the software system in various quality aspects. The purpose is to investigate the important characteristics of the verification and validation activities in the software development process in an organization. A qualitative research method is employed in order to facilitate the assessment and understanding of a testing key area regarding the software development process. The methodology and results could act as input to other organizations, which are likely to have other important characteristics than the ones included in this study. The main characteristics were identified in the analysis and it was concluded that the results could facilitate further process improvements in the organization.

关键词： software verification and validation software testing

来源：评论

学校读者我要写书评

暂无评论

Issues in the validation and verification of vehicle software

Issues in the validation and verification of vehicle softwar...

引用

1991 Eighth International Conference on Automotive Electronics

作者： B. Overton I. Spalding M. Thomas Praxis Warwick Limited UK

Despite the special difficulties of automobile software, with its stringent but evolving requirements, there are many powerful techniques for software verification and validation. However, there are practical limits to the reliability which can be demonstrated, and it is essential to follow a well-defined and rigorous specification and development process.< >

关键词： Road vehicle electronics software verification and validation software engineering

来源：评论

学校读者我要写书评

暂无评论

Improving verification and validation in hardware/software environments. Introduction to the workshop

Improving verification and validation in hardware/software e...

引用

IEEE International Workshop on software Technology and Engineering Practice (STEP)

作者： J.C. Jacobs J.J.M. Trienekens Philips Semiconductors CTO/ReUse Technology Group Eindhoven Netherlands Frits Philips Institute Eindhovan University of Technology Eindhoven Netherlands

software development evolved in barely half a century from an exotic and rather esoteric pioneering endeavor into a cornerstone of modern society. Unprecedented methodological advances have been made over a such a short period of time that it doesn't come as a surprise that one talks about the "software revolution". In fact, the "software revolution" is a "software evolution" that took place in such a short period of time that it is perceived as a revolution. third evolution stage, mastering of software-intensive product complexity. A dramatic growth of size and technical complexity of software and associated managerial complexity caused desperate attempts for improvements of the software development process to get projects and product quality under control, often guided by improvement models like SEI's Capability Maturity Model CMM (Paulk et al., 1993). Many companies are still struggling with this stage, while the next evolutionary stage is emerging, right now: the stage of complex product development. Products become so complex, that the product development is distributed over multiple departments, or even over several companies, involving many specialisms. Of the many problems associated with complex product development, the verification and validation process is one of the toughest.

关键词： software development management Project management software verification and validation software reliability

来源：评论

学校读者我要写书评

暂无评论

Architecting Fault Tolerance with Exception Handling: verification and validation

引用

Journal of Computer Science & Technology 2009年第2期24卷 212-237页

作者： Patrick H. S. Brito Rogério de Lemos Cecília M. F. Rubira Eliane Martins Institute of Computing State University of Campinas Brazil Computing Laboratory University of Kent U.K.

When building dependable systems by integrating untrusted software components that were not originally designed to interact with each other, it is likely the occurrence of architectural mismatches related to assumptions in their failure behaviour. These mismatches, if not prevented during system design, have to be tolerated during runtime. This paper presents an architectural abstraction based on exception handling for structuring fault-tolerant software systems. This abstraction comprises several components and connectors that promote an existing untrusted software element into an idealised fault-tolerant architectural element. Moreover, it is considered in the context of a rigorous software development approach based on formal methods for representing the structure and behaviour of the software architecture. The proposed approach relies on a formal specification and verification for analysing exception propagation, and verifying important dependability properties, such as deadlock freedom, and scenarios of architectural reconfiguration. The formal models are automatically generated using model transformation from UML diagrams： component diagram representing the system structure, and sequence diagrams representing the system behaviour. Finally, the formal models are also used for generating unit and integration test cases that are used for assessing the correctness of the source code. The feasibility of the proposed architectural approach was evaluated on an embedded critical case study.

关键词： exception handling fault-tolerant software architecture model-based test model checking software verification and validation

来源：评论

学校读者我要写书评

暂无评论

Operational requirements and issues for coilgun electromagnetic launchers

引用

IEEE TRANSACTIONS ON MAGNETICS 2005年第1期41卷 194-199页

作者： Kaye, RJ Sandia Natl Labs Albuquerque NM 87185 USA

Coilgun electromagnetic launchers have capability for low- and high-speed applications. Through the development of four guns having projectiles ranging from 10 g to 5 kg and speeds up to 1 km/s, Sandia National Laboratories' has succeeded in coilgun design and operations, validating the computational codes and basis for gun system control. Coilguns developed at Sandia consist of many,coils stacked end-to-end forming a barrel, with each coil energized in sequence to create a traveling magnetic wave that accelerates a projectile. Active tracking of the projectile location during launch provides precise feedback to control when the coils are triggered to create this wave. However, optimum performance depends also on selection of coil parameters. This paper discusses issues related to coilgun design and control such as tradeoffs in geometry and circuit parameters to achieve the necessary current risetime to establish the energy in the coils. The impact of switch jitter on gun performance is also assessed for high-speed applications.

关键词： circuit analysis coilguns electromagnetic induction electromagnetic launching software verification and validation statistics switched capacitor circuits timing jitter

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：