Search academic texts

Information × Registration Number 0222U003229, 0117U000331 , R & D reports Title Develop theoretical basis and methods of symbolic modelling for construction and reengineering of safety critical systems using symbolic insertion modelling, deductive methods and artificial intelligence methods. popup.stage_title Head Letychevs'kyi Oleksandr O, Registration Date 22-02-2022 Organization V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine popup.description2 SYMBOLIC MODELLLING METHOD FOR CONSTRUCTION OF SYSTEMS, SAFETY CRITICAL SYSTEM, MODEL TESTING, INSERTION MODELING, ALGEBRA BEHAVIOR The purpose of the work is to develop new methods and tools of symbolic methods of testing, reengineering and verification and development of complex information systems that are critical to safety. The main scientific results obtained during the implementation of the theme are as follows. Methods of formal verification of software and hardware systems based on the theory of insertion modeling and algebra of behaviors have been developed and implemented in the process of developing FPGA boards in the field of nuclear energy. A method of model driven development using an algebraic approach based on insertion modeling methods has been created for each phase of software and hardware development processes. A method for improving the quality of test scenarios has been created - additional evaluation coverage is justified; Two new data flow coverage criteria have been introduced to study dominance limits and refine input constraints; the criteria provides the more comprehensive testing required by highly reliable systems. Methods of reengineering (model extraction) from programming languages in the specification of behavioral algebra have been developed. The approach of linguistically controlled development of requirements for the implementation of the initial stage of software or hybrid system design is proposed, on the base of which the method of designing a technical object management system is developed. A new approach to the construction of recursive matrix multiplication algorithms is proposed. Two new algorithms for multiplying matrices of even and odd orders have been developed. The structures of families of automata without output, which are determined by recurrent relations on abstract finite quasigroups, are studied. Algorithms of automatic inference in specialized classical theories of the first order are developed. Product Description popup.authors Yelfimova Larysa D Volkov Vladyslav A Hodlevskyi Oleksandr B Grebnev Valeriy O Dovbysh Valentyna Ya Kolbasin Mykola I Kolchyn Oleksandr V Lyaskalo Lesya Ye Morokhovets Maryna K Pynko Oleksiy P Potiyenko Stepan V Skobelev Volodymyr Gennadiyovych Skobelev Volodymyr V. popup.nrat_date 2022-03-09 Close