Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS ’14)

Field programmable gate arrays (FPGAs) are finding increasing number of applications in high integrity safety critical systems of aerospace and defence industry. Though FPGA design goes through various development processes, it is widely observed that the critical errors are observed in the final stages of development, thereby impacting time and cost. The risk of failure in complex embedded systems is overcome by using the independent verification and validation (IV&V) technique. Independent verification and validation (IV&V) of FPGA-based design is essential for evaluating the correctness, quality, and safety of the airborne embedded systems throughout the development life cycle and provides early detection and identification of risk elements. The process of IV&V and its planning needs to be initiated early in the development life cycle. This chapter describes the IV&V methodology for FPGA-based design during the development life cycle along with the certification process.

Download Full-text

Verification and validation of flight critical systems (VVFCS)

2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) ◽

10.1109/dasc.2012.6383130 ◽

2012 ◽

Cited By ~ 1

Author(s):

B. Hall ◽

K. Driscoll ◽

K. Schweiker

Keyword(s):

Verification And Validation ◽

Critical Systems

Download Full-text

Verification and validation of distributed flight critical systems

2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) ◽

10.1109/dasc.2012.6382446 ◽

2012 ◽

Author(s):

B. Hall ◽

K. Driscoll ◽

K. Schweiker

Keyword(s):

Verification And Validation ◽

Critical Systems

Download Full-text

Verification of FPGA Based NPP I&C Systems Considering Multiple Faults: Technique and Automation Tool

Volume 9: Student Paper Competition ◽

10.1115/icone25-67065 ◽

2017 ◽

Author(s):

Alexander Yasko ◽

Eugene Babeshko ◽

Vyacheslav Kharchenko

Keyword(s):

Power Plants ◽

Failure Modes ◽

Fault Injection ◽

Reliability Assessment ◽

International Standards ◽

Verification And Validation ◽

Critical Systems ◽

Multiple Faults ◽

Safety And Reliability ◽

Detailed Technique

Instrumentation and Control (I&C) systems for Nuclear Power Plants (NPP) are exceedingly complicated electronic solutions that include thousands of different components such as microcontrollers, Field-Programmable Gate Arrays (FPGAs), integrated circuits etc. Deployment of such safety-critical systems cannot be performed without complex safety and reliability assessment, verification and validation (V&V) activities that are addressed to exposing of overlooked faults. The examples of such activities are Fault Tree Analysis (FTA), Failure Modes and Effects Analysis (FMEA), Fault Injection Testing (FIT). Due to complexity of NPP I&C systems in most cases the process of assessment is very time consuming and the results mostly depend on experts’ qualification. Traditional safety and reliability assessment methods are being constantly modified and enhanced so as to comply with increasing demands of national and international standards and guidance, as well as to be applied for I&C systems that contain number of complex components like FPGA. Although much work related to analysis of FPGA-based systems has been performed, there is a lack of detailed technique for FPGA-based I&C systems failure identification that considers probability of several faults at the same time (multi-faults), development of preventive strategies for controlling or reducing of the risk related to such failures, as well as automation of this technique so as to make it utilizable for real NPP industry tasks. FIT as verification for Failure Modes, Effects and Diagnostics Analysis (FMEDA) was used during Safety Integrity Level 3 (SIL3) certification process of RadICS NPP I&C platform, while the parts of proposed technique were used as internal verification and validation activities applied on several modules of the platform.

Download Full-text