Scientific and technical  center of infrastructure safety research and analyze

Activity directions

  • I&C systems, software and FPGA safety assessment

Our approach based on using of Safety Case methodology that helps to aggregate both heterogeneous and different-level properties assesses along with I&C systems, software and FPGA components assesses.
Validation of complex multicomponent system safety is possible only in the case when the system and all the components comply with the determined requirements (both functional and safety requirements).
The following complex of methods is used for this purpose:
- technical reviews and documentation analysis;
- tests (prototyping, certification, testing, software verification, validation, qualification, etc.);
- reliability analysis and risks analysis;
- quality audit of designing processes, production, assembling, servicing, etc.
Thus, Safety Case allows to confirm that the system is sufficiently safe to be used in required conditions.

  • risks analysis of scientific and technical projects

Our methodology includes both qualitative and quantitative analysis of risks. Qualitative analysis is aimed to identification of risks factors, areas, and types. Quantitative analysis shall provide the possibility to define numerically the metric for separate risk and for object risk (as a whole).
During risks analysis we follow ALARA/ALARP (as low as reasonably applicable/practicable) principle. It allows to decrease the risks as much as possible, due to real (limited) resources.
The following complex of methods is used for risks analysis:
- Failure Modes Effects and Criticality Analysis (FMECA);
- Fault Tree Analysis (FTA);
- Hazard and Operability Analysis (HAZOP);
- comparative risks analysis, which is used to justify that during man-caused modernization, the total risk, caused by new system using, shall be no more than the total risk, caused by old system using.

  • development and research of architectural solution prototypes for critical I&C systems, software and FPGA

Architectures of critical I&C systems, software and FPGA are based on using of solutions that are stable to different impact types (physical failures, designing failures, external extreme impacts). To ensure dependability of critical I&C systems, we implement the principles of redundancy, diversity, independence, diagnosing, stability to individual failures, etc. The significant direction is research, including nanotechnologies level, using of natural and entering the artificial redundancy to VLSI programmable chips (FPGAs, microprocessors, custom-built schemes) for ensuring the tolerance to physical defects, project defects, and defects that caused by external impacts.
The following methods are used for prototypes research:
- programmable chips internal structure research;
- simulation of dependability (for I&C systems, software, and FPGA) ensuring;
- analytical estimation of reliability for both reserved and multiversion structures.

  • supporting of development and other processes of I&C systems, software, and FPGA lifecycle

We use a model of I&C systems and software lifecycle processes as basis. It is defined by ISO/IEC 15288 and ISO/IEC 12207 standards. To implement and assess individual processes of software lifecycle, we follow the IEEE standards for software engineering.
Moreover, for critical I&C systems and software, we follow the standards that developed for using in specific branches:
- for nuclear-power engineering – standards of IEC 45A technical subcommittee  (in particular, IEC 61513, IEC 60880);
- for industrial automation – standards of 65A technical subcommittee (in particular, IEC 61508 series);
- for space systems -  ECSS standards (in particular, Q-10, Q-30, Q-40, Q-60, Q-80, E-10, and E-40 series);
- for aviation systems -RTCA standards (in particular, DO-178, DO-254).
For FPGA projects, we adapt lifecycle processes in according to IEC 62556 and ECSS-Q-60-02 standards.
For firms that develop I&C systems and software, which are used in critical branches, we developed STP series (plant standards). These STPs allow to implement international standards requirements for the specific plant.

  • verification of software and programmable logic

We use a complex of verification methods that allow to minimize risks of designing defects, verify compliance with both functional and safety requirements. Verification methods, which we use, include:
- technical reviews and analysis of program documentation;
- functional and structural testing;
- library components testing;
- program code static analysis;
- structuring of programmable logic verification based on complex analysis of project development stages;
- functional and stage modeling in IDE;
- risks analysis.

  • certification and licensing support of I&C systems, software, and FPGA

Our technical consulting is based on implementing the following procedures:
- quality audit for receiving ISO 9001 certificate;
- development of test programs (verification, validation, qualification, etc.);
- tests execution;
- preparation and supporting of documents delivery to certification (licensing).

  • development of standards and normative documents in the area of critical I&C systems, software, and FPGA

Our specialists are the authors of international, intergovernmental, national, and branch standards, as well as plant standards in the area of critical I&C systems, software, and FPGA. Center’s staff is also member of working groups on mentioned standards development.
We use the following principles in our standardization activities:
- completeness of information analysis for both legal and standardization areas;
- harmonization of new standards requirements with the existing requirements;
- development of requirements to new informational technologies that are used in critical branches, relying on risks detailed analysis;
- clearness and uniqueness of requirements formulating; development of accurate criteria for further assessment checking on requirements compliance.

Обсуждение закрыто.