Highly reliable software systems

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

Abstract

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.