Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Манжос Ю. С. Використання аналізу розмірностей для підвищення рівня функціональної безпеки I&C систем / Ю. С. Манжос // Радіоелектронні і комп’ютерні системи. - 2012. - № 7. - С. 313–318. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_7_55 Розглянуто основи інформаційної технології підвищення рівня функціональної безпеки, побудованої на принципах аналізу фізичних розмінностей, що дозволяє верифікувати програмний код під час його розробки, зменшити ризики некоректного використання вхідних даних, та контролювати відсутність функціональних відмов під час штатної роботи технічних систем. Наведено перелік операцій, що контролюються. Визначено межі контролю коду під час формальної верифікації, а також контролю обчислювальних процесів під час експлуатації систем. Приведено класи програмних дефектів та визначено ефективність методу, що для реального коду перевищує 80 %. Цитованість авторів публікації: Бібліографічний опис для цитування: Манжос Ю. С. Використання аналізу розмірностей для підвищення рівня функціональної безпеки I&C систем / Ю. С. Манжос // Радіоелектронні і комп’ютерні системи. - 2012. - № 7. - С. 313–318. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_7_55.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |