Search academic texts

Information × Registration Number 0223U000108, 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 03-01-2023 Organization Institute of Problems of Modeling in Energy named after GE Pukhov of the National Academy of Sciences of Ukraine popup.description2 Report: 270 pp., 23 tables, 50 figures, 7 appendices, 244 sources. FUNCTIONAL PROPERTIES, DESIGN PROCESS, SAFETY-CRITICAL SYSTEM, MARKET ROLE MODEL, INFORMATION TECHNOLOGICAL SYSTEMS OF THE ELECTRICITY MARKET The object of the study is the software and algorithmic component of safety-critical systems, systems operating on the electric energy market, in the aerospace industry in particular. The purpose of the work is to increase the efficiency of the design process of safety-critical systems from the standpoint of the level of functional safety of the system and components - due to the development of appropriate methods and means of verification. Research methods: formal method – model checking method; graph theory methods; method of discrete-event simulation; methods of mathematical statistics. A method of automated synthesis of formal specifications (FS) of functional properties (FP) of safety-critical systems (SCS) has been developed; a method of formal verification (FV) of FS of the SCS – TLC – has gained further development from the point of view of reducing the time costs associated with its application; a model of presentation of non-functional properties (NFP) of the SCS at the design stage of the SCS engineering process has been proposed; a method of formalized representations of the NFP of SCS synthesis at the design stage of the SCS engineering process has been developed; a method of automated verification of the NFP of the SCS at the design stage has been developed; software implementations of the named methods and tools as the means of automation have been created; an approach to the complex application of the above-mentioned methods and tools at the design stage of engineering process has been proposed; the artefacts of the process of designing of the components of systems of managing the electric energy market have been created; an approach to the verification of cyber defense artifacts of the SCS has been developed. Product Description popup.authors Blinov Ihor V Dimitriieva Daria O. Davydiuk Andrii V Kuchansky Vladislav V Shkarupylo Vadym V popup.nrat_date 2023-01-03 Close