Vyacheslav S. Kharchenko

Vyacheslav Kharchenko is Professor (1991), Doctor of Science (1995). Honor Inventor of Ukraine (1991). Leading researcher of the Department “NPP Control and Information Systems Safety Analysis” (1997-2008), Head of Computer Systems, Networks and Cyber security, National Aerospace University “KhAI”, Kharkiv, Ukraine (2001- at the present time). Head of Centre for Safety Infrastructure-Oriented Research and Analysis, RPC Radiy (2007- at the present time). President of Ukrainian Scientific and Educational IT-Society (2018- at the present time). Supervisor of 50 PhD and DrS dissertations (defended). Invited researcher and professor (UK, 2004, 2016, 2017; Germany, 2006; Poland, 2020; Slovakia, 2010, 2019; USA, 2011). National coordinator of 10 EU projects on dependable computing, infrastructure safety and green IT-engineering. General Chair of Dependable Systems, Services and Technologies (DESSERT) Conferences (2006-2020). Author of 30 books and chapters (Springer, IGI-Global, River Publishers), 268 papers in Journals and Proceedings indexed by Web of Science and Scopus, more 700 patents,14 national and branch standards on NPP I&C and aerospace systems reliability and safety.

Publications

Integrated Information Model of an Enterprise and Cybersecurity Management System: From Data to Activity
Integrated Information Model of an Enterprise and Cybersecurity Management System: From Data to Activity
Sergiy Dotsenko, Oleg Illiashenko, Vyacheslav Kharchenko, Olga Morozova. © 2022. 21 pages.
The paper analyzes the concepts of "data", "information", "knowledge", "intelligence", "activity", establishes their relationship in the context of integrating information about...
Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems
Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems
Michael A. Yastrebenetsky, Vyacheslav S. Kharchenko. © 2020. 501 pages.
Safety and security are crucial to the operations of nuclear power plants, but cyber threats to these facilities are increasing significantly. Instrumentation and control...
Safety and Security Management for NPP I&C Systems
Safety and Security Management for NPP I&C Systems
Vladimir Sklyar, Vyacheslav S. Kharchenko. © 2020. 13 pages.
The main contribution of this study comprises a set of detailed contents for safety and security management. The following aspects of safety and security management requirements...
Assurance Case for I&C Systems Safety and Security Assessment
Assurance Case for I&C Systems Safety and Security Assessment
Vladimir Sklyar, Vyacheslav S. Kharchenko. © 2020. 21 pages.
Two existing notations for the assurance case (claim, argument and evidence [CAE] and goal structuring notation [GSN]) are considered. Supporting software tools for development...
Development of Safety-Critical Control Systems in Event-B Using FMEA
Development of Safety-Critical Control Systems in Event-B Using FMEA
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav S. Kharchenko. © 2012. 17 pages.
Application of formal methods, in particular Event-B, helps us to verify the correctness of controlling software. However, to guarantee the dependability of software-intensive...
Towards Designing FPGA-Based Systems by Refinement in B
Towards Designing FPGA-Based Systems by Refinement in B
Sergey Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav S. Kharchenko. © 2012. 21 pages.
In this chapter, we propose a formal approach to designing FPGA-based systems. In particular, we introduce a general pattern for specifying synchronous systems and components as...