Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)
Інші назви:
Высоконадежные системы математического обеспечения (стенограмма научного доклада на заседании Президиума НАН Украины 7 декабря 2016 года)
Highly reliable software systems (Transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, December 7, 2016)
Highly reliable software systems (Transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, December 7, 2016)
Тема:
З кафедри Президії НАН України
Посилання:
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) / О.А. Летичевський // Вісник Національної академії наук України. — 2017. — № 2. — С. 30-36. — укр.
Дата:
2017
Переглядів:
670
Завантажень:
290
Анотація:
Доповідь присвячено важливій проблемі створення методів та алгоритмів
побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки
зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна,
в ядерній енергетиці, у виробництві сучасного озброєння тощо. Процес розроблення високонадійних систем оснований на принципі зменшення ризику або повного виключення неспрацьовування засобів безпеки в системі.
