Vyacheslav Kharchenko
PhD, DrS (Doctor of
Science on Engineering), Professor
Head of Computer Systems and Networks, National Aerospace University
named after N.TE. Zhukovsky “KhAI”
Education:
·
1969-1974, Kharkiv High Military Engineering Rocket College (KHMERC)
named after N.I. Krylov (specialty Control Systems and Electrical
Engineering)
·
1983-1986, Moscow Patent Institute (specialty Patenting)
Academic
degrees
·
1977-1980, PhD-student of the KHMERC, PhD degree dissertation was
defended at the Military Academy (Moscow, now Academy of Peter Great)
·
1990, Honor Inventor of Ukraine
·
1991, Professor on Technical Diagnostic and Automatic Department
·
1995, Doctor of Science on Engineering, DrS degree dissertation was
defended at the Kharkiv Military University
Industrial
and Academic experience:
·
1980 – 1987, Lecturer, Associated Professor of Technical Cybernetics
Department, KHMERC
·
1987-1992, Head of Rocket Complex Automatic Systems Department , KHMERC
·
1992-2000, Head of Rocket an Space Control Systems Department , KMU
·
2000- at the present time, Head of Computer Systems and Networks,
National Aerospace University named after N.TE. Zhukovsky “KhAI”
·
1997-2010, leading expert (software, NPP I&C systems) of State
Scientific-Technical Centre on Nuclear and Radiation Safety
·
2007- at the present time, head of Centre for Safety
Infrastructure-Oriented Research and Analysis
·
2000- at the present time, consultant of research and production
companies in area of regulation, development , verification and
licensing of critical software and computer-based systems
·
2008-at the present time, head of Department of Dependable Systems and
Technologies, International Academy of Applied Radioelectronics
·
Supervisor and developer of 9 national and branch standards in area of
NPP I&C and aerospace systems reliability and safety
·
BSc, MSc and PhD-students courses on Finite-State Machine Theory and
Digital Units, Control Systems Safety and Survivability, Computer
Systems Reliability and Fault-Tolerance, etc
·
Supervisor of 34 PhD and DrS dissertations
·
Invited researcher and professor (UK, 2004; Germany, 2006; Slovakia,
2010)
National and International Projects (after 2001):
·
2001-at the present time, 12 national projects on dependable
computer-based control systems and infrastructure safety
·
2004-2005, EU-TACIS (Regulation and Assurance of NPP I&C Safety)
·
2006-2009, EU-TEMPUS-MASTAC (Training of MS and PhD-Students on
Aerospace Critical Computing)
·
2009-2011, UNTC ( Tool-Based Technology for Independent Invariant-Based
Verification of Critical Software)
·
2010-2013, EU-TEMPUS-SAFEGUARD (National Network of Centers on Safeware
Engineering)
·
2011-2014, EU-FP7, KhAI-ERA (Dependable Embedded Systems for Aerospace
and Medicine)
Conference Activities (after 2001):
·
Invited speakers more than 10 conferences
·
Member of PCs of ESREL, PSAM, ICONE, DepCoS, EWDT, MVV and other
international conferences
·
Reviewer of LNCS Springer, Software and Systems and other Journals and
editions
·
Invited speakers more than 10 conferences
·
Head of Dependable Systems, Services and Technologies (DESSERT)
Conferences (2006-2012)
·
Head of standing Seminar on Critical Computer Technologies and Systems (CriCTechS)
Grants and Awards (last 10 years)
·
2002, medal of the Russian Cosmonautics Federation
·
2003-2004, grant of Royal Society (UK, Newcastle University)
·
2005, medal of the Department of Education and Science of Ukraine for
successes in education
·
2006, grant of Oldenburg University, Germany
·
2009, medal of the Department of Education and Science of Ukraine for
successes in science
·
2010, grant of Slovakian Academy of Science
Major
directions of specialization:
·
Foundations of Fault- Tolerance and Naturally Reliable Chips and Systems
·
Software Reliability and Safety (Assessment. Regulation and Assurance)
·
Diversity Approach in Reliability and Safety, Multi-Version Systems and
Technologies
·
Dependability of Software- and FPGA-Based Systems
·
IT-Infrastructure Intrusion-Tolerance and Resilience (Web. Grid, Cloud)
·
Critical Infrastructure and I&C Systems Safety
Selected Publications (for the last 10 years):
|
·
Kharchenko V.S., Zhiharev V.Y., Ilyushko V.M. et al.
Multiversion Systems, Technologies, Projects. – Kharkiv:
National Aerospace University "KhAI".- 2002. – 486p.
·
Yastrebenetsky M.A., Vasilchenko V.N., Kharchenko V.S. et al.
Instrumentation-Control Systems of the Nuclear Power Stations:
Problems of Safety. - Kyiv: Technics. - 2004. - 472 p.
(translated in the USA, NRC, 2007).
·
Kharchenko V.S., Blagodarny N.P., Ilyushko V.M. et al.
Reliability of Digital Systems. Textbook. / Kharchenko V.S.(edit.)
- Ministry of Science and Education of Ukraine - 2004.- 490p.
·
Kharchenko V.S., Artemenko E.A., Tostenko V.G. et al.
Diagnostics of Digital Systems. Textbook. / Kharchenko V.S.(edit.)
- Ministry of Science and Education of Ukraine - 2005.- 484p.
·
Kharchenko V., Gorbenko A., Popov P., Romanovsky A. Dependable
Composite Web Services with Components Upgraded Online.
Architecting Dependable Systems III, LNCS 3549 / R. de Lemos et
al. (eds.). – Springer. - 2005. – P. 92-121.
·
Gorbenko A.V., Kharchenko V.S., Tarasyuk O.M., Furmanov A.A.
F(I)MEA-Technique of Web-services Analysis and Dependability
Ensuring, LNCS 4157, Rigorous Development of Complex
Fault-Tolerant Systems/ Butler M. et al. (eds.). – Springer. –
2006. - P.153-168.
·
Kharchenko V.S. Dependability and Dependable Systems: Elements
of Methodology // Radioelectronics and Computer Systems. –
2006. – ¹. 5. – P. 7‑19.
·
Kharchenko V.S. Dependability of Computer Systems: Boards of
Universality in Context of Information-Technical States //
Radioelectronics and Computer Systems. – 2007. - ¹ 8. – P. 7-14.
·
Kharchenko V., Sklyar V., Odaruschenko O., Dependable Computing
Systems for Supporting Transformation of the Force Information
Infrastructure // Information & Security, 2007, vol.22. – P.
75-91
·
Bakhmach E.T., Golovir V.A., Herasimenko A.D. et al. FPGA-based
NPP Instrumentation and Control Systems: Development and Safety
Assessment. / Kharchenko V.S., Sklyar V.V. (eds) – Kharkiv:
National Aerospace University “KhAI”, RPC “Radiy”, State STC on
Nuclear and Radiation Safety. – 2008. – 188 ð.
·
Kharchenko V.S., Siora A.A., Bakhmach E.S. Diversity-Scalable
Decisions for FPGA-based Safety-Critical I&Cs: from Theory to
Implementation // Proc. of NPIC&HMIT 2009, Knoxville, USA, April
5-9, 2009.- 12 p.
·
Kharchenko V., Romanovsky A., Gorbenko A. Using Inherent Service
Redundancy and Diversity to Ensure Web Services Dependability In
M. Butler, C. Jones, A. Romanovsky, E. Troubitsyna (eds.)
“Methods, Models and Tools for Fault Tolerance”, LNCS 5454,
Springer. – 2009. – P.324-341.
·
Kharchenko V., Sklyar V. Scalable Diversity-oriented Decisions
and Technologies for Dependable SoPC-based Safety-Critical
Computer Systems and Infrastructures// Critical Computer-Based
Systems Inderscience Enterprises, Switzerland. - 2010, ¹1. – P.
24-40.
·
V. Kharchenko, N. Yakimets Reliable FPGA-Based Systems out of
Unreliable Automata: Multi-Version Design Using Genetic
Algorithms / In M. Adamski, A. Barkalov, A. Romanovsky, M.
Wegrzyn (eds.). Design of Digital Systems and Devices, Springer.
– 2011. – P.165–192.
·
Kharchenko V.S. (ed), Infrastructure Safety: Mathematical and
Engineering Methods, – Kharkiv: National Aerospace University
“KhAI”. – 2011. – 623 ð.
·
Kharchenko V., Sklyar V., Siora A. Multi-Version FPGA-Based
Nuclear Power Plant I&C Systems: Evolution of Safety Ensuring /
In A. Tsvetkov (Ed.) Nuclear Power: Control, Reliability and
Human Factors, INTECH. – 2011. – P. 56-79.
|
