Посібник DO-178C: вступ до сертифікації RTCA DO-178
Зміст
DO-331: Додаток до розробки та перевірки на основі моделі до DO-178C і DO-278A
Вступ
У сфері важливих для безпеки систем розробка та перевірка програмного забезпечення відіграють вирішальну роль у забезпеченні надійної та безпечної роботи. Індустрія авіоніки, зокрема, значною мірою покладається на стандарти та рекомендації для створення надійної основи для сертифікації програмного забезпечення, що використовується в літаках. Стандарти DO-178C і DO-278A довгий час вважалися золотим стандартом для розробки та перевірки програмного забезпечення в авіаційній промисловості. Для подальшого вдосконалення цих стандартів було введено додаток до розробки та перевірки на основі моделі DO-331. Ця стаття містить вичерпний огляд DO-331, підкреслюючи його значення, ключові функції та переваги.
Розуміння DO-331
Що таке DO-331?
DO-331 є додатковим документом до DO-178C (Програмне забезпечення для сертифікації бортових систем і обладнання) і DO-278A (Забезпечення цілісності програмного забезпечення в системах управління повітряним рухом). У ньому розглядається використання розробки та перевірки на основі моделі в контексті розробки програмного забезпечення для бортових систем і систем управління повітряним рухом. DO-331 надає вказівки щодо застосування методів, заснованих на моделі, для досягнення цілей, викладених у DO-178C і DO-278A.
Необхідність розробки та верифікації на основі моделі
За останні роки розробка на основі моделі (MBD) набула значного поширення як потужний підхід до розробки складних програмних систем. MBD передбачає створення абстрактних високорівневих моделей, які відображають поведінку та функціональність системи, що забезпечує ранній аналіз, моделювання та перевірку проектів програмного забезпечення. Використовуючи методи MBD, розробники можуть підвищити продуктивність, зменшити кількість помилок і підвищити загальну якість програмного забезпечення.
Однак інтеграція практики MBD у критично важливі для безпеки системи вимагає ретельного розгляду. DO-331 заповнює цю прогалину, надаючи рекомендації щодо ефективного включення методів, заснованих на моделях, у процеси розробки та перевірки програмного забезпечення авіоніки.
Основні характеристики DO-331
Застосовність
DO-331 застосовний до всіх рівнів критичності програмного забезпечення, починаючи від рівня A (найбільш критичний) до рівня E (найменш критичний), як визначено DO-178C. Він надає вказівки щодо застосування методів, заснованих на моделі, на кожному рівні та гарантує, що програмне забезпечення задовольняє цілі DO-178C і DO-278A.
Процес розробки на основі моделі
DO-331 описує систематичний процес розробки на основі моделі, який узгоджується з ключовими принципами DO-178C і DO-278A. Він містить покрокові вказівки щодо таких дій, як моделювання вимог, моделювання архітектури, впровадження моделі та перевірка моделі.
Перевірка на основі моделі
Верифікація є критично важливим аспектом розробки програмного забезпечення в критично важливих для безпеки системах. DO-331 підкреслює важливість методів верифікації на основі моделі, включаючи моделювання, перевірку моделі та тестування, для забезпечення правильності розробки та реалізації програмного забезпечення. Він містить вказівки щодо розробки ефективної стратегії перевірки та встановлення відстеження між моделями та артефактами перевірки.
Кваліфікація інструменту
Використання інструментів моделювання є важливим у MBD, і DO-331 стосується кваліфікаційних вимог до таких інструментів. Він містить вказівки щодо вибору інструменту, процесів кваліфікації інструменту та документацію, необхідну для підтримки діяльності з кваліфікації інструменту. Це гарантує, що інструменти, які використовуються для розробки та перевірки на основі моделі, відповідають призначенню та відповідають необхідним стандартам якості.
Переваги DO-331
Покращена ефективність розробки
Прийнявши DO-331, організації можуть отримати вигоду від підвищеної ефективності розробки на основі моделей. Використання високорівневих моделей дозволяє проводити ранній аналіз і перевірку, скорочуючи час і зусилля, необхідні для дій на основі коду вручну. Крім того, здатність моделювати та перевіряти моделі може допомогти виявити недоліки конструкції та виправити їх на ранній стадії, зводячи до мінімуму переробку та дорогі зміни конструкції.
Покращена якість програмного забезпечення
DO-331 сприяє суворому підходу до розробки та перевірки програмного забезпечення. Наголошуючи на використанні формальних методів, ретельному тестуванні та відстежуваності, додаток допомагає гарантувати, що програмне забезпечення задовольняє цілям безпеки та цілісності, встановленим DO-178C і DO-278A. Застосування методів, заснованих на моделі, допомагає створювати надійне та високоякісне програмне забезпечення, яке відповідає галузевим стандартам.
Зниження ризиків і витрат
Рання ідентифікація проектних проблем і дефектів за допомогою перевірки на основі моделі може значно зменшити ризики, пов’язані з розробкою програмного забезпечення. Вирішуючи потенційні проблеми на ранній стадії, DO-331 допомагає запобігти дорогій переробці та затримкам у процесі сертифікації. Крім того, використання методів, заснованих на моделі, дозволяє організаціям оптимізувати процеси розробки, що призводить до підвищення продуктивності та зниження витрат.
Висновок
DO-331, додаток до розробки та перевірки на основі моделі до DO-178C і DO-278A, надає суттєві рекомендації щодо інтеграції методів розробки та перевірки на основі моделі в процеси сертифікації критичного для безпеки програмного забезпечення авіоніки. Дотримуючись принципів і вказівок, викладених у DO-331, організації можуть використовувати переваги розробки на основі моделі, забезпечуючи при цьому відповідність галузевим стандартам. З акцентом на ефективності, якості програмного забезпечення та зниженні ризику DO-331 відіграє ключову роль у формуванні майбутнього розробки програмного забезпечення в авіаційній промисловості.
Не забудьте поділитися цим постом!
глави
1. Вступ до бортового стандарту
2. Процес сертифікації DO-178
3. Інструменти та навчання DO-178C
4. Розширені теми DO-178C
5. Ресурси DO-178C
6. Глосарій
Виходьте на ринок швидше з Visure
- Забезпечте відповідність нормативним вимогам
- Забезпечте повну відстежуваність
- Оптимізуйте розвиток
