Search academic texts

Information × Registration Number 0222U000381, 0121U110615 , R & D reports Title Development of methods and means for safety-critical systems designing process artifacts verification popup.stage_title Head Shkarupylo Vadym V., Registration Date 07-01-2022 Organization Institute of Problems of Modeling in Energy named after GE Pukhov of the National Academy of Sciences of Ukraine popup.description2  200 pages, 23 tables, 37 figures, 2 appendices, 176 sources. FUNCTIONAL PROPERTIES, DESIGN PROCESS, SAFETY CRITICAL SYSTEM, MARKET ROLE MODEL, INFORMATION TECHNOLOGY SYSTEMS OF ELECTRIC ENERGY MARKET The object of research is the electricity market of Ukraine and the development of renewable energy sources. The purpose of the work is to increase the efficiency of the process of designing critical systems from the standpoint of the level of functional safety of the system and components - through the development of appropriate methods and means of verification. Research methods: formal method – model checking method; combinatorial methods; method of discrete-event simulation; forecasting methods using artificial neural networks; methods of graph theory; methods of mathematical statistics. The processes, current state, problems and challenges of increasing the share of low-carbon energy facilities, including renewable energy sources, in the overall balance of the united energy system of Ukraine in the implementation of a new model of the electricity market, as well as the main factors influencing low-carbon energy facilities on technological and economic indicators of the functioning of the united energy system of Ukraine and prices for final consumers of electricity. The analysis of the subject area is carried out, as a result of which the complex approach to control of indicators of functional and nonfunctional properties of the safety critical system under development at the stage of designing of development process was developed. The model of representation of functional properties of the system under development in formal specifications, the corresponding method of synthesis of formal specifications was proposed. The common TLC (TLA Checker) verification method has been further developed. Product Description popup.authors Blinov Ihor V Dimitriieva Daria O Davydiuk Andrii V Kuchansky Vladislav V Shkarupylo Vadym V popup.nrat_date 2022-03-09 Close