Entity

Time filter

Source Type


Kharchenko V.,National Aerospace University - Kharkiv Aviation Institute | Kharchenko V.,Center for Safety Infrastructure Oriented Research and Analysis | Andrashov A.,Research and Production Corporation Radiy | Sklyar V.,Research and Production Corporation Radiy | And 2 more authors.
Advances in Intelligent and Soft Computing | Year: 2012

This chapter presents an approach to cyber security assessment, which is based on Gap Analysis (GA) and Intrusion Modes and Effects Criticality Analysis (IMECA) techniques, applicable to complex Instrumentation and Control (I&C) systems, including safety-critical FPGA-based I&C systems. Elements of the GA-and-IMECA procedure of assessment are proposed. As an example, the proposed approach and technique are considered in the context of assessing the cyber security properties of FPGA-based I&C systems, taking into account vulnerabilities of products and discrepancies of appropriate processes. © 2012 Springer-Verlag Berlin Heidelberg. Source


Kharchenko V.,National Aerospace University - Kharkiv Aviation Institute | Gordieiev O.,University of Banking of the National Bank of Ukraine | Vilkomir S.,East Carolina University | Odarushchenko O.,Research and Production Corporation Radiy
9th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC and HMIT 2015 | Year: 2015

One well-known method for the verification and certification of NPP I&C and other safety critical systems is the fault injection technique (FIT). FIT is based on a design fault injection and vulnerability injection into the software code and the field-programmable gate array (FPGA) design or a physical fault injection into hardware modules. The requirements for FIT for safety critical applications are described in detail in the standard NUREG/CR-7151. In addition to the injection of single faults, NUREG/CR-7151 recommends employing a multi-fault injection technique (MFIT). The application of MFIT increases the verification time, but it has the potential to significantly improve the quality of the system. This paper reviews different MFITs for FPGA-and software-oriented systems, with special consideration to NPP I&C systems. To increase the effectiveness of the fault injection, an MFIT procedure that applies the t-wise combinatorial method is proposed. This method allows combinations of multiple faults to be found and provides full coverage of all combinations of any t-types of faults with a minimum number of checks. While the t-wise method is well known in software testing, to the best of our knowledge, this is its first application to the fault injection. Different types of coverage are considered. A case study of MFIT is considered based on a project of FPGA-based modules for NPP I&C systems. Source


Kharchenko V.,Center for Safety Infrastructure Oriented Research and Analysis | Brezhnev E.,Center for Safety Infrastructure Oriented Research and Analysis | Sklyar V.,Research and Production Corporation Radiy | Duzhyi V.,National Aerospace University - Kharkiv Aviation Institute
9th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC and HMIT 2015 | Year: 2015

This paper analyses features of Field Programmable Gate Arrays (FPGA)-based Nuclear Power Plants (NPPs) Instrumentation and Control (I&C) systems in context of safety assessment and assurance using diversity approach. One of them is considering features of FPGA technology to assess and make decisions for multi-version NPP I&Cs on the different stages of life cycle. Such decisions relate to assessment of compliance with requirements of standards for modernized I&Cs (for example, reactor protection systems) and selection of the best multi-version structure according to criteria safety/cost taking into account existed FPGA platforms. The goals of the paper are to analyze regulatory requirements of the standards and develop of the normative profile for multi-version NPP I&Cs, to improve the technique for assessment of the compliance with these requirements, to develop a procedure for choice of diversity types, to illustrate implementation of the techniques and tools for modernization of reactor protection systems using FPGA platform RadlCS. The standards and guides regarding diversity and FPGA application are analysed. The regulatory requirements relate to application of principle of diversity; diversity types which can be used; risk analysis of diversity use during operation and maintenance; assessment of actual value of diversity in developed or modernized systems. The method of diversity assessment is based on the metric-oriented procedure consisting in qualitative estimation of compliance with requirements and quantitative estimation of diversity metrics using NUREG/CR7007-based technique. Examples of the proposed techniques application to assess and choice diversity types for NPP I&Cs modernization using FPGA-based platforms are discussed. Source


Kharchenko V.,National Aerospace University - Kharkiv Aviation Institute | Gorbenko A.,National Aerospace University - Kharkiv Aviation Institute | Sklyar V.,Research and Production Corporation Radiy | Phillips C.,Northumbria University
International Conference on Digital Technologies 2013, DT 2013 | Year: 2013

Information and communication technologies (IT) and IT-based instrumentation and control (I&C) systems, hardware and software components are analyzed in context of 'green' paradigm. Green IT paradigm is formulated as a Cartesian product of a pair 'external (E) and internal (I) aspects of IT and computer-based I&Csystems' and a pair 'power (recourse) consumption minimization (Rmin) and safety maximization (Smax)'. In the paper we discuss main research challenges and development solutions, education and training activities in the domain of green and safe computing and communication. Finally, we report results of EU-TEMPUS projects in the area of safe and green ITs and define models of academia and industry cooperation for excellence, innovations and knowledge exchange. © 2013 IEEE. Source


Kharchenko V.,National Aerospace University - Kharkiv Aviation Institute | Kharchenko V.,Research and Production Corporation Radiy | Gorbenko A.,National Aerospace University - Kharkiv Aviation Institute
Proceedings of IEEE East-West Design and Test Symposium, EWDTS 2013 | Year: 2013

The research and implementation issues in areas of safety and energy critical SW-, HW- and FPGA-based systems in context of John Von Neumann's paradigm (VNP) are discussed. The stages of the VNP evolution and related problems connected with creation of dependable (and safe) systems out of undependable (and unsafe) components are analyzed. Aspects of the VNP development regarding resilient and green computing are described. A conception of green and safe computing is formulated. Features of the VNP application for green computing are analyzed. © 2013 IEEE. Source

Discover hidden collaborations