Search

An approach to development and implementation of multi-version technologies (MVT) for creating dependable system-on-programmable chip (SoPC)-based systems and infrastructures is described. It is based on a set of scalable diversity-oriented decisions selected by use of proposed MVT-graph. This technique is applied for development of nuclear power plants (NPP) instrumentation and control (I&C) platform. The diverse I&C platform RADIY designed, produced and supplied by company Radiy (Ukraine) is described and analyzed. Results of implementation of the suggested decisions and technologies in safety- critical dependable systems and infrastructures of Ukrainian NPPs are analyzed.

Dependability and security analysis of the industrial control computer-based systems (ICS) is an open problem. ICS is a complex system that as a rule consists of two levels - supervisory control and data acquisition (SCADA) and programmable logic controllers (PLC) and has vulnerabilities on both levels. This paper presents results of the SCADA-based ICS dependability and security analysis using a modification of standardized FMEA (failure modes and effects analysis)-technique. The technique mentioned takes into account possible intrusions and is called F(I)MEA (failure (intrusion) modes and effects analysis). F(I)MEA-technique is applied for determining the weakest parts of ICS and the required means of fault prevention, fault detection and fault-tolerance ensuring. An example of F(I)MEA-technique applying for SCADA vulnerabilities analysis is provided. The solutions of SCADA-based ICS dependability improvement are proposed.

Both dependability of computer on-board systems (CBS), and the size and the weight limitations are very important characteristics. Basic aviation and aerospace CBSs requirements and some development principles are considered. The multi-version lifecycle of FPGA-based CBS as system-on-programmable-chip (SoPC) is described. The several dependable SoPC architectures are researched and assessed: one-version two-channel, two-version two-channel and two-version four-channel systems. The method of the architectural adaptation is considered as the means for physical and design faults tolerating. Itpsilas based on composition of a few versions embedded to the chip. The checking and reconfiguration block as intellectual property core and elements ofice protection system development and implementation process are given as the practical example of application of proposed technique.