In russian

Conference Resolution

During April 22 - 25, 2009, on the basis of RPC "Radiy"" (Kirovograd), the 4-th International Scientific and Technical Conference "DEpendable Systems, SERvices and Technologies"", DESSERT 2009 was conducted http://www.stc-dessert.com/conf2009.

Conference organizers:

• National Aerospace University "KhAI";
• RPC "Radiy";
• Poltava National Technical University named after Yuriy Kondratyuk;
• National Academy of Sciences of Ukraine: Institute for Information Recording;
• Section "Ukraine - IEEE".

162 papers were presented during the conference. Preparation and conduction of the conference involved more than 300 persons from 18 countries (Ukraine, Austria, Great Britain, Germany, Norway, Russian Federation, USA, Finland, etc.).

During the conference the following events were conducted:

• Dependable systems, network and services;
• Dependable systems and technologies;
• Functional safety and survivability;
• Information security;
• Systems of diagnostics and checking;
• Software reliability;
• Hardware reliability;
• Reconfigurable computing and systems;;
• Telecommunication systems and radio-electronic units;

• Adaptive reconfigurable computing;
• Dependability of critical IT infrastructures;

• Critical computing: TEMPUS-MASTAC project.

In the conference activities (papers preparation, presentation and discussion) participated representatives from the leading universities, enterprises and organizations, which involved in research, development, manufacturing, and using of high-reliable and safe computer systems and technologies for nuclear power engineering, aerospace branch, telecommunications, medicine, other branches; also famous scientists participated the conference (as organizers, participants, reporters and authors):

During the conference, research results were discussed as well as results of development, including analysis, simulation, designing, testing, verification and validation, expertise, maintenance and security of computer and telecommunication systems and networks, web services, infrastructures for critical (NPP, aviation, space, medicine, transport, etc.), business-critical (bank systems, telecommunication networks, e-commerce, etc.), and critical applications with improved requirements to dependability (reliability, availability, functional safety, integrity, confidence, survivability). There were reviewed questions concerning training of master students and PhDs in the area of critical computing.

The conference assisted to dissemination of new scientific knowledge and technologies, as well as involvement of new personnel into the science and high-technological manufacturing.

There were published 3 volumes of all-Ukrainian scientific and technical journal "Radioelectronic and computer systems" (2009, ¹ 5-7),popular science journal of "Informational infrastructures and technologies" (2009, ¹1), based on the presented papers.

It was noted that during last year (from the previous conference) the following results were achieved:

• National Space Agency of Ukraine branch standard of "Dependability of I&C systems for space systems" was approved and assessed;
• 2 national standards of "DSTU IEC 60880: 2008. Nuclear power plants. Instrumentation and control systems important to safety - Software aspects for computer-based systems performing category A functions" and "DSTU IEC 62138. Nuclear power plants. Instrumentation and control systems important for safety. Software aspects for computer-based systems performing category B or C functions" were published;
• "Dependable systems and technologies" branch of International Academy of Sciences of Applied Radioelectronics was formed and started;
• TEMPUS-MASTAC international project is successfully finishing (training of master students and PhDs in the area of critical computing);
• RADIY platform got further evolution; it provides development of FPGA-oriented solutions, which are scalable in terms of functionality, fault-tolerance and diversity, as well as developing and implementation of I&C systems important to NPP safety in Ukraine and other countries;
• fault-tolerant solutions for embedded systems in aviation, space, and others, based on integration of both microprocessor and FPGA technologies, using "System-on-Chip", "Network-on-Chip", and "System-in-Package" technologies, designing of verification tools for complex projects based on programmable logic were developed and implemented;
• international contacts of DESSERT participants strengthened via planning and presentation of joint projects, funded by European structures (FP7, TEMPUS, EUREKA programs, etc.), participation in international research associations (ERCIM-SERENE), etc.

Participants of the conference consider the necessary:

1. To continue research aimed at development of methodology and designing techniques for: dependable computer-based systems; embedded fault-tolerant systems based on «SīC», «NoC», «SiP», technologies; decision-making methods, related with assurance of functional safety and information security for critical infrastructures; technologies that support engineering processes, verification and maintenance of such systems for nuclear power engineering, aviation and space engineering, medicine, transport and others that assure required level of reliability and safety.
2. The following areas are perspective directions from the research point of view.

• Methodological aspects of dependable (safe and reliable) systems. Methodology and principles of dependability as integrated property of computer and telecommunication systems and networks. Development of dependable systems out of undependable components. Component-based development of systems and "systems out of systems". Methods and techniques for complex assessment of dependability under influence of internal and external factors. Strategy and methods of dependability control via informational and technical state.
• Evolving and dependable systems. Taxonomy of evolving systems and dependable computing. Factors of "soft" evolution and "real-time evolution". Architectures development for evolving systems. Principles, methods, and technologies of "real-time evolution" assurance with changing requirements to functionality, dependability, and environmental factors.
• Fault-tolerant systems and technologies for dependability ensuring. Methods and techniques of forecasting, prevention, detection, localization, tolerance, removal of errors due to both physical and designing faults, and interaction faults. Operating cycle of fault-tolerance as well as tolerance to evolution factors. Dynamical (passive and active) fault-tolerance.
• Dependability of service-oriented systems and parallel computing. Development and deployment of vertically and horizontally integrated web-services (e-commerce, e-education, e-science, e-medicine) and GRID-technologies. Methods and techniques for valid web-measurements. Monitoring and dependability assessment of composite web-services. Organization of parallel computing based on dynamically restructured fault-tolerant architectures, development of mathematical and software support for dependability of GRID and Clouding computing.
• Dependability of critical IT-infrastructures. System analysis of critical infrastructures and technologies; risks analysis and minimization; optimization models and algorithms during systems analysis; visualization of decision-making processes for safety assurance of critical systems at different life cycle stages; information technologies for operation support of critical structures. Dependable information and analytical systems based on dynamic clustering.
• Reliable chips and reconfigurable computing based on programmable logic. Risks analysis for FPGA, CPLD, and ASIC-technology, as well as for various memory management technologies (anti-fuse, flash, SRAM). Vertically integrated mechanisms of FPGA dependability assurance. Naturally reliable logical bases and chips (intra-crystal, channel, and logical layers, physical layer u layer of nanotechnology). Adaptive computing and dynamically reconfigurable systems. Development and verification methods for dependable systems based on programmable logic. Methods and techniques that decrease gaps for incompletely verifiable solutions.
• Reliability and quality of programmable components and systems. Methods of profiling and quality assessment for critical software engineering standards. Development and integration of software reliability models, as well as metrical and stochastic assessment methods at different stages of software life cycle. Model-checking approach and methods for profitability increase ("validity-costs" criterion) of quality, reliability and safety assessment. Methods of risks minimization for commercial (COTS) and pre-developed components in critical applications. Models and methods for software reliability assessment subject to repeated (injected) faults.
• Multi-version computing and technologies. Evolution of diversity principle, comparative analysis of its using in various areas. Taxonomy of multi-version computing. Types of version redundancy and models of multi-version life cycle. Systems with information and version redundancy based on numerical systems diversity. Diversity metrics and assessment methods for multi-version systems. Diversity scaling for various applications. Methods of optimal designing for multi-version systems based on "diversity-reliability-cost" criterion.
• Checking, testing, diagnosing, and verification. New paradigms and mathematical methods of diagnosing for complex systems and infrastructures. Intelligence diagnosing systems. Control and diagnosing in complex dynamic systems. Methods and means for simulation, detection, localization of physical faults (hardware), engineering process faults (software), and interaction faults, caused by environment negative effects. Formal approaches for software verification.
• Functional safety. Risk-oriented approach and unified procedures of functional safety analysis. Taxonomy of risks, hazards, defense-in-depth of assets. Integration of aspects for functional safety and information security of critical objects. Models of functional and safe systems. FME(C)A, FTA, HAZOP integration methods and various technologies for complex systems criticality assessment. Development of oSafety caseo technique and tools of its implementation at different stages of system life cycle.
• Survivability of computer-based systems and networks. Survivability of systems and infrastructures under the external influence. Models of physical influence, informational influence, and controllable degradation. Methods of survivability assurance for social-technical systems. Techniques of multi-step degradation and recovery control.
• Information security of computer systems, networks, and services. Methods and techniques of information security assurance for critical and business-critical applications. Unified firmware for integrity assurance, confidentiality, and irrefutability. Vulnerability of software and SCADA systems, methods of their assessment and taking into account during dependable systems development. Principles of dynamic reconfiguration for system tolerance to intrusions.
• Telecommunication systems and means. Methods of assessment and assurance for throughput, noise stability, reliability, and safety. Technologies of integrated networks and services. Dependability assurance methods for mobile telecommunications. Adaptation of wireless telecommunication network technologies to critical applications. Simulation, analysis, and development of assessment and survivability assurance (disaster-tolerance) techniques for corporative and global computer networks.

3. To continue national standards development and harmonization with international normative base, which regulate processes of development, testing, reviewing and using of dependable computer-based systems for critical and business-critical applications.

4. To recommend establishing of specialization on critical computing for master students training on the basis of Computer Systems and Networks Department at National Aerospace University "KhAI".

5. To publish the resume at the conference website. Approve the work of international DESSERT-club and intensify website information interchange between the conferences.

6. Coordination group should continue to organize (during the conference) mini-exhibitions, book presentations, specific technical meetings and workshops concerning significant problems of the conference topics, state-of-the-art technologies, FPGA-technologies in nuclear power engineering, as well as other critical areas.

7. Coordination group should intensify work on papers publishing in the rated international publications (IEEE, etc.).

8. Coordination group should discuss a possibility of next conference conduction in 2010.

9. The conference participants express frank gratitude to the conference organizers, and management of RPC Radiy for the provision with opportunity for opinions interchange, scientific results publishing, irreproachable organization, rendered care and hospitality.