НЕЗАЛЕЖНА ВЕРИФІКАЦІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
Верифікація – коротко про головне
Верифікація програмного забезпечення – важливий етап розробки продукту на базі програмних засобів в багатьох галузях господарювання. Верифікація в обов’язковому порядку згідно законодавства (як українського так і міжнародного) повинна виконуватись під час розробки програмного забезпечення, що приймає участь у виконанні функцій безпеки і функцій важливих для безпеки.
ТОВ «ІК «Тередо» пропонує послугу верифікації програмного забезпечення технічних засобів автоматизованих комплексів та систем:
- Прикладні програми програмованих контролерів (ПЛК, PLC)
- Прикладні програми людино-машинних інтерфейсів (ЛМІ, HMI)
- Прикладні програми автоматизованих робочих місць (АРМ), диспетчерських пунктів: SCADA
- Прикладні програми мікропроцессорних пристроїв
- Прикладні програми мікро- та мінікомп’ютерів, що застосовуються в задачах автоматизації виробництв
Цілі верифікації
Головні цілі верифікації:
- Підтвердження відповідності програмного забезпечення вимогам до його специфікації, структури, елементам, самодіагностуванню і самоконтролю
- Перевірка узгодженості результатів, отриманих на кожному етапі розробки програмного забезпечення, з вимогами, що встановлені на попередніх етапах
- Отримання даних, що забезпечують можливість проведення аналізу й оцінки показників якості програмного забезпечення
Умови виконання та цільова аудиторія
Працюємо згідно прямих домовленостей (договір, генпідряд) і на базі субпідряду.
Дана пропозиція може бути корисною для:
- Підприємств, що займаються розробкою програмного забезпечення для задач автоматизації підвищеної надійності/безпеки, що потребують незалежної верифікації
- Підприємств, що винаймають розробників програмного забезпечення на субпідряд і мають бажання виконувати незалежний контроль (аудит) діяльності субпідрядників
Верифікація охоплює всі стадії життєдіяльності систем автоматизації до вводу в промислову експлуатацію і виконується згідно вимог та норм законодавства.
Об’єктом верифікації крім безпосередньо програмного забезпечення є документи, що регламентують технічні вимоги до нього, і експлуатаційна документація.
Оформлення результатів верифікації
В процесі верифікації розробляються наступні документи:
- План верифікації
- Звіт з верифікації
- Журнали верифікації
- Протоколи верифікації
Приклади виконаних робіт
Для перегляду звітів по виконаним роботам натиснути тут.
Супутні послуги
