Search academic texts

Information × Registration Number 0225U003032, (0120U102683) , R & D reports Title Development of specialized computer technologies for modeling and processing of operational information in energy problems popup.stage_title Розроблення спеціалізованих комп’ютерних технологій моделювання та опрацювання оперативної інформації в задачах енергетики Head Yevdokymov Viktor F., Registration Date 07-05-2025 Organization Institute of Problems of Modeling in Energy named after GE Pukhov of the National Academy of Sciences of Ukraine popup.description1 Development and research of new high-performance specialized technologies for modeling the process of control of software and algorithmic support of the object management subsystem to increase the degree of confidence in the artifacts of the design process and technologies for analysis and processing of operational information. popup.description2 Research report: 340 p., 25 tables, 36 figures, 229 sources, 7 appendices. MODELING, CONTROL, OPERATIONAL INFORMATION, DESIGN, PROGRAM-ALGORITHM COMPONENT, SAFETY-CRITICAL SYSTEM, FORMAL VERIFICATION, FORMAL SPECIFICATION The object of the study is the process of processing operational information when solving information exchange problems that arise in the energy sector. The purpose of the work is to develop and study new highly efficient specialized technologies for modeling the process of design control of the program-algorithmic component of the object control subsystem to increase the degree of confidence in the artifacts of the design process and technologies for analyzing and processing operational information by reducing the influence of the human factor. To achieve the goal, the following tasks were solved: 1. A strategy for applying formal model verification methods and related tools was developed. 2. A method for automated synthesis of formal specifications was developed. 3. The widespread TLC formal verification method was improved in terms of reducing the time costs associated with its application. 4. An information technology for processing operational information was developed, which allowed controlling the latter by the consistency indicator as an indicator of functional properties. 5. An information technology for modeling operational information was developed, which allowed controlling the latter by the indicators of non-functional properties. Product Description popup.authors Yevdokymov Viktor F. Dusheba Valentyna V. Kazakova Nataliia O. Lastivka Liudmyla L. Ohir Oleksandr S. Ohir Olena O. Shkarupylo Vadym V. popup.nrat_date 2025-05-07 Close