Visn. Nac. Akad. Nauk Ukr. 2017. (2): 31-37

A.A. Letichevsky
Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine,Kyiv

Transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, December 7, 2016

The report is devoted to the important problem of the creation of methods and algorithms for the development of highly reliable software systems for safety critical software-hardware complexes for such domains as aerospace, medical, telecommunications, nuclear industry, modern arms development etc. The process of highly reliable software development must reduce the risk or provide complete exclusion of safety failure.

 Language of article: ukrainian