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
