Software Independent Verification and Validation (SIV&V) Simplified

2006 ◽  
Author(s):  
Reffela Davidson ◽  
Ashley Mathis ◽  
David Patterson ◽  
Alexis P. von Spakovsky
Keyword(s):  
Verification And Validation ◽  
Independent Verification

Invited: Independent Verification and Validation of Security-Aware EDA Tools and IP

2021 ◽  
Author(s):  
Benjamin Tan ◽  
Siddharth Garg ◽  
Ramesh Karri ◽  
Yuntao Liu ◽  
Michael Zuzak ◽  
...  
Keyword(s):  
Verification And Validation ◽  
Independent Verification ◽  
Eda Tools

Independent Verification and Validation of FPGA-Based Design for Airborne Electronic Applications

2020 ◽  
pp. 153-166
Author(s):  
Sudha Srinivasan ◽  
D. S. Chauhan ◽  
Rekha R.
Keyword(s):  
Life Cycle ◽  
Embedded Systems ◽  
Verification And Validation ◽  
Critical Systems ◽  
Fpga Design ◽  
Independent Verification ◽  
Detection And Identification ◽  
Development Life Cycle ◽  
Field Programmable ◽  
Programmable Gate Arrays

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.

Application of hierarchical accident model in independent verification and validation

2010 ◽  
Author(s):  
Ryo Ujiie ◽  
Masafumi Katahira ◽  
Tsutomu Matsumoto ◽  
Atsushi Katoh ◽  
Shogo Ujihara
Keyword(s):  
Verification And Validation ◽  
Independent Verification

scholarly journals Transition of Independent Verification and Validation Activity and Refined Concept at the Mature Age

2018 ◽  
Vol 16 (5) ◽  
pp. 360-365
Author(s):  
Naoko OKUBO ◽  
Hiroki UMEDA ◽  
Shinji KAWAGUCHI ◽  
Taisuke KANBE ◽  
Yasushi UEDA
Keyword(s):  
Verification And Validation ◽  
Independent Verification
Sign in / Sign up

Export Citation Format

Share Document