Вестник НАН Украины. 2017. № 2. С. 31-37

Летичевский Александр Адольфович -
академик НАН Украины, заведующий отделом теории цифровых автоматов Института кибернетики им. В.М. Глушкова НАН Украины

ВЫСОКОНАДЕЖНЫЕ СИСТЕМЫ МАТЕМАТИЧЕСКОГО ОБЕСПЕЧЕНИЯ
Стенограмма научного доклада на заседании Президиума НАН Украины 7 декабря 2016 года

Доклад посвящен важной проблеме создания методов и алгоритмов построения высоконадежных систем математического обеспечения для программно-технических комплексов, которые используются в критических с точки зрения безопасности отраслях, таких как аэрокосмическая, медицинская, телекоммуникационная, в ядерной энергетике, в производстве современного вооружения и тому подобное. Процесс разработки высоконадежных систем основан на принципе уменьшения риска или полного исключения несрабатывания средств безопасности в системе.

 Язык статьи: украинский