Oleg OdarushchenkoRadICS LLC · Verification Department
Oleg Odarushchenko
PhD
About
29
Publications
1,773
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
52
Citations
Introduction
Skills and Expertise
Research experience
October 2012 - December 2015
RPC RadICS
Position
- V&V Manager
Publications
Publications (29)
Виконано аналіз сучасного стану досліджень в галузі надійності та функційної безпеки програмнотехнічних комплексів інформаційно-керуючих систем (ПТК ІКС). Встановлено, що не зважаючи на використання нової елементної бази в ході модернізації та розроблення нових ПТК ІКС, застосування сучасних технологій розробки їх апаратної та програмної компонент,...
The paper deals with state-of-the-art trends in the field of automated hardware development, specifically development of digital systems using programmable logic integrated circuits, as exemplified by field-programmable logic arrays. The paper suggests a modeling method of development using an algebraic model of design specifications, requirements...
Виконано аналіз множин моделей оцінювання надійності програмних засобів (МНПЗ) або за іноземною назвою моделей зростання надійності ПЗ (Software Reliability Growth Models – SRGM). Досліджено ймовірнісні МНПЗ з метою встановлення таких, що можуть бути використано для врахування фактору прояву вторинних дефектів. Під вторинними дефектами розуміються...
The accurate availability and safety assessment of a reactor trip system for nuclear power plants instrumentation and control systems (NPP I&C) application is an important task in the development and certification process. It can be conducted through probabilistic model-based evaluation with variety of tools and techniques (T&T). As each T&T is bou...
У статті проведено аналіз місця характеристики надійність програмного забезпечення в структурі моделей якості програмного забезпечення. Визначено, що в ієрархічній структурі більшості моделей якості програмного забезпечення характеристика надійність є першою підхарактеристикою характеристики якість. Виділені п’ять принципів урахування вторинних деф...
The three-volume book contains theoretical materials for lectures and training
modules developed in frameworks of project “Internet of Things: Emerging Curriculum
for Industry and Human Applications /ALIOT” (Project Number: 573818-EPP-1-2016-
1-UK-EPPKA2-CBHE-JP, 2016-2019) funded by EU Program ERASMUS+. Volume 1
describes challenges, principles an...
Safety assessment of nuclear power plant instrumentation and control systems (NPP I&Cs) is a complicated and resource consuming process that is required be done so as to ensure the required safety level and comply to normative regulations. A lot of work have been performed in the field of application of different assessment methods and techniques,...
The principles and models of cooperation between universities and the IT
industry are proposed, in particular models for support of outsourcing business,
certification services, R & D business, creation of startup and spin-off companies. The
relevant protocols are described and cases of university-industrial cooperation of the
universities and inst...
The third volume of the three volume book called “Secure and resilient computing for industry and human domains” contains materials of the lecture parts of the study modules for MSc and PhD level of education as well as lecture part of in-service training modules developed in the framework of the SEREIN project "Modernization of Postgraduate Studie...
The paper describes an approach to measure energy consumption of programmable components (MCU, FPGA etc.) which are a core of Programmable Logic Controller (PLC). Investigation of energy consumption dependence from a type of programmable components as well as from features of software gives a road map for implementation of energy efficiency measure...
![Fig. 6. Comparison of the results obtained with STA on the t =[0; 10 000]](profile/Vyacheslav-Kharchenko/publication/277883693/figure/fig1/AS:314581755940864@1452013543604/Comparison-of-the-results-obtained-with-STA-on-the-t-0-10-000_Q320.jpg)
Markov models (MM) are widely used in dependability assessment of complex safety-critical systems. The main computational difficulties in using MMs are model size and stiffness. Selection of the solution approach (SA) and tools based on analysis of MM stiffness and complexity increases the assessment accuracy. This paper presents the safety assessm...
Failure Modes, Effects, and Diagnostic Analysis (FMEDA) is a popular technique for evaluation of reliability and safety of a given product. This paper discusses possible challenges in application of FMEDA and related analysis techniques to complex electronic products like FPGA-based platforms. Ways of tool support to make FMEDA automated are addres...
The fault injection/insertion testing (FIT) is one of the key techniques applied for independent verification and validation (IVV) of software and FPGA-based safety critical NPP instrumentation and control systems (I&Cs). The technique is based on design fault injection into the software code including VHDL code, physical faults into programmable C...
The diversity approach is commonly used to ensure dependability attributes of such critical computer-based systems as nuclear power plants information and control (NPPs I&C) systems, including the Reactor Trip System. There are two basic problems emerging in this approach – the choice of product-process diversity kinds and assessment of multi-versi...
Features of verification FPGA-based safety critical I&C systems (FBIC) using of fault-insertion technique (FIT) are analyzed. The FIT is applied in process of certification to meet requirements of IEC 61508 according with safety integrity level (SIL). Specific aspects of FBIC SIL-certification are described. Concept of FIT-ability, theoretical issu...
The accurate dependability and safety assessment of systems for critical applications is an
important task in development and certification processes. It can be conducted through probabilistic
model-based evaluation using the variety of tools and techniques (T&T). As each T&T is bounded by
its application area the careful selection of the appropria...
Challenges related to verification and validation (VV) of FPGA-based safety critical I&C systems (FICS) are analyzed. One of the mandatory techniques applied in process of VV and certification to requirements of IEC 61508 according with safety integrity level (SIL) is the fault insertion or injection testing (FIT). Specific features of FICS SIL-cer...
Markov models are widely used in dependability assessment of complex computer-based systems. Model stiffness poses a serious problem in terms of both computational difficulties and accuracy of the assessment. Selecting an appropriate method and software package for solving stiff Markov models
proved to be a non-trivial task. In this paper we provid...
Markov and semi-Markov models are widely used in dependability assessment of complex computer-based systems. Model stiffness poses a serious problem both in terms of computational difficulties and in terms of accuracy of the assessment. Selecting an appropriate method and software package for solving stiff Markov models proved to be a non-trivial t...
This article analyzes the approaches related to dependable computing systems and Force Information Infrastructure creation out of undependable compo-nents (systems). Taxonomies of dependable systems and stages of dependable sys-tems paradigms evolution are discussed. A life-cycle model and principles of de-velopment and assessment of dependable sys...
Projects
Projects (2)
The name of the project is GreenCo, which is an acronym from official name “Green Computing and Communication” (reference number 530270-TEMPUS-1-2012-1-UK-TEMPUS-JPCR).
This project is financed by the Tempus programme, which encourages higher education institutions in the EU Member States and partner countries to engage in structured cooperation through the establishment of consortia.
Its specific objectives are as follows:
1) to introduce a Green Computing & Communications programme for master students in UA and RU universities;
2) to introduce a Green Computing & Communications programme for doctoral students in UA and RU universities;
3) to facilitate intensive capacity building measures for UA and RU IT tutors;
4) to establish two PhD incubators in UA and RU on Green Computing & Communications.
