Забезпечення дизайну DO-178C і зв'язок з ARP-4754A/4761

Зміст

Забезпечення дизайну DO-178C і зв'язок з ARP-4754A/4761

Вступ

Розробка авіаційного програмного забезпечення передбачає суворі стандарти безпеки для забезпечення надійності та цілісності бортових систем. Двома ключовими стандартами в галузі є DO-178C і його зв’язок з ARP-4754A/4761. DO-178C визначає керівні принципи розробки програмного забезпечення для бортових систем, тоді як ARP-4754A/4761 містить інструкції щодо розробки літальних апаратів і систем. У цій статті досліджується значення DO-178C у забезпеченні дизайну та його взаємозв’язок з ARP-4754A/4761.

Розуміння DO-178C Design Assurance

DO-178C під назвою «Програмне забезпечення для сертифікації бортових систем і обладнання» — це стандарт, опублікований Радіотехнічною комісією з аеронавтики (RTCA). Він окреслює вимоги та процеси для розробки бортового програмного забезпечення для забезпечення його безпеки та надійності. DO-178C встановлює набір цілей, заходів і артефактів, необхідних для розробки програмного забезпечення, перевірки та валідації в авіаційній промисловості.

Цілі DO-178C Design Assurance

Основні цілі перевірки конструкції DO-178C включають:

  • Визначення рівня критичності програмного забезпечення (DAL) на основі оцінки безпеки літака та системи.
  • Визначення процесів розробки та перевірки програмного забезпечення, необхідних для відповідності DAL.
  • Планування та документування діяльності з розробки та перевірки програмного забезпечення.
  • Виконання процесів розробки та верифікації та генерування необхідних артефактів.
  • Оцінка та затвердження згенерованих артефактів, забезпечення відповідності цілям DO-178C.

Рівні DO-178C Design Assurance

DO-178C класифікує програмне забезпечення за п’ятьма рівнями критичності, які називаються рівнями програмного забезпечення (SWL). З кожним рівнем пов’язані цілі та заходи, які необхідно виконати для досягнення гарантії проекту. SWL є такими:

  • SWL A: критично важливе програмне забезпечення, яке в разі збою може призвести до катастрофічних наслідків.
  • SWL B: програмне забезпечення, яке в разі збою може спричинити небезпечні або тяжкі наслідки.
  • SWL C: програмне забезпечення, яке в разі збою може спричинити серйозні або помірні наслідки.
  • SWL D: програмне забезпечення, яке в разі збою може спричинити незначні наслідки.
  • SWL E: програмне забезпечення, яке істотно не впливає на безпеку літака.

Діяльність та артефакти в DO-178C Design Assurance

Щоб досягти гарантії проектування, DO-178C визначає кілька дій і артефактів для кожного SWL. До них належать збір і аналіз вимог, проектування архітектури програмного забезпечення, розробка вихідного коду, перевірка програмного забезпечення та керування конфігурацією. Деякі ключові артефакти, створені під час цих дій, — це документ вимог до програмного забезпечення (SRD), документ щодо розробки програмного забезпечення (SDD), випадки та процедури перевірки програмного забезпечення (SVCP) та індекс конфігурації програмного забезпечення (SCI).

Зв'язок з ARP-4754A

ARP-4754A під назвою «Керівні принципи розробки цивільних літаків і систем» містить вказівки щодо розробки та сертифікації літаків і систем. У ньому викладено системний інженерний підхід до розробки літальних апаратів і підкреслюється необхідність безпеки та надійності. ARP-4754A забезпечує основу для інтеграції програмного забезпечення в загальну систему літака.

DO-178C і ARP-4754A тісно пов’язані між собою, оскільки стосуються різних аспектів процесу розробки літака. DO-178C фокусується саме на аспектах програмного забезпечення, тоді як ARP-4754A охоплює всю розробку літака та системи. DO-178C згадується ARP-4754A як стандарт для розробки та сертифікації програмного забезпечення.

Взаємозв'язок між DO-178C і ARP-4754A можна підсумувати таким чином:

  • ARP-4754A надає керівництво високого рівня щодо загального процесу розробки літака, включаючи вимоги до системного рівня, оцінку безпеки та інтеграцію програмного забезпечення.
  • DO-178C надає детальні вказівки щодо розробки та сертифікації програмного забезпечення, забезпечуючи відповідність цілям безпеки та надійності, викладеним у ARP-4754A.
  • DO-178C визначає процеси розробки та перевірки програмного забезпечення, яких необхідно дотримуватися для досягнення цілей, встановлених ARP-4754A.
  • ARP-4754A вимагає, щоб процес розробки програмного забезпечення узгоджувався з цілями та артефактами DO-178C, такими як плани програмного забезпечення, вимоги, проектування та дії з перевірки.
  • Відповідність як DO-178C, так і ARP-4754A необхідна для забезпечення безпечної та надійної роботи літака та його систем програмного забезпечення.

Відносини з ARP-4761

ARP-4761 під назвою «Керівні принципи та методи проведення процесу оцінки безпеки цивільних бортових систем і обладнання» містить вказівки щодо процесу оцінки безпеки бортових систем і обладнання. Він зосереджений на виявленні та зменшенні небезпек, пов’язаних із системами літака, включаючи програмне забезпечення.

DO-178C і ARP-4761 тісно пов’язані, оскільки процес розробки програмного забезпечення, визначений у DO-178C, сприяє процесу оцінки безпеки, викладеному в ARP-4761. Взаємозв'язок між DO-178C і ARP-4761 можна підсумувати таким чином:

  • DO-178C надає рекомендації щодо розробки та сертифікації програмного забезпечення, яке є ключовим компонентом бортових систем.
  • ARP-4761 описує процес оцінки безпеки бортових систем і обладнання, включаючи ідентифікацію небезпек і визначення вимог безпеки.
  • Процес розробки програмного забезпечення, визначений у DO-178C, включає такі дії, як фіксація вимог, проектування, перевірка та відстеження, які сприяють ідентифікації та зменшенню ризиків під час процесу оцінки безпеки.
  • DO-178C гарантує, що програмне забезпечення відповідає необхідним вимогам безпеки, визначеним у ARP-4761.
  • Відповідність як DO-178C, так і ARP-4761 має важливе значення для забезпечення розробки та оцінки програмного забезпечення таким чином, щоб гарантувати безпеку та надійність системи літака.

Висновок

DO-178C, ARP-4754A та ARP-4761 є життєво важливими стандартами та рекомендаціями щодо розробки та сертифікації критично важливого для безпеки програмного забезпечення для бортових систем. DO-178C надає детальні вимоги до розробки та сертифікації програмного забезпечення, тоді як ARP-4754A та ARP-4761 надають загальні вказівки щодо розробки літальних апаратів і систем, а також оцінки безпеки.

Взаємозв'язок між DO-178C і ARP-4754A/4761 гарантує, що програмне забезпечення розроблено відповідно до цілей безпеки та надійності всієї системи літака. Відповідність цим стандартам і настановам має вирішальне значення для забезпечення безпечної та надійної роботи бортових систем і обладнання, сприяючи загальній безпеці авіаційної галузі.

Не забудьте поділитися цим постом!

глави

Виходьте на ринок швидше з Visure

Синергія між системним інженерним підходом на основі моделі та процесом управління вимогами

Грудень 17th, 2024

11 ранку EST | 5:8 CEST | XNUMX ранку за тихоокеанським стандартним часом

Фернандо Валера

Фернандо Валера

технічний директор Visure Solutions

Подолання розриву від вимог до дизайну

Дізнайтеся, як подолати розрив між MBSE і процесом керування вимогами.