Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 р.) / Летичевський О. А. (2017)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000669065
  Вісник Національної академії наук України   /     Випуск (2017, № 2)

Летичевський О. А.
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 р.)

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

Бібліографічний опис:
Летичевський О. А.  Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 р.). Вісник Національної академії наук України. 2017. № 2. С. 30-36. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000669065

English  Visnyk of the National Academy of Sciences of Ukraine   /     Issue (2017, 2)

Letychevskyi O. A.
Highly reliable software systems (transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, December 7, 2016)

Cite:
Letychevskyi, O. A. (2017). Highly reliable software systems (transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, December 7, 2016). Visnyk of the National Academy of Sciences of Ukraine, 2, 30-36. http://jnas.nbuv.gov.ua/article/UJRN-0000669065 [In Ukrainian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна