Подробное объяснение PSAC DO-178C

Содержание

Подробное объяснение PSAC DO-178C

Введение

Стандарт DO-178C, озаглавленный «Вопросы программного обеспечения в бортовых системах и сертификации оборудования», является широко признанным и принятым на международном уровне руководством по разработке программного обеспечения для бортовых систем. В нем содержатся рекомендации и цели процесса разработки программного обеспечения для обеспечения безопасности и надежности программного обеспечения авионики. Одним из ключевых документов, требуемых DO-178C, является План сертификации программного обеспечения (PSAC). Эта статья призвана дать подробное объяснение стандарта DO-178C PSAC и его значения в процессе сертификации.

Понимание плана сертификации программного обеспечения (PSAC)

PSAC является важным документом в рамках стандарта DO-178C, в котором описываются действия по разработке и проверке программного обеспечения, необходимые для сертификации бортового программного обеспечения. Он служит дорожной картой для всего жизненного цикла разработки программного обеспечения, обеспечивая правильное определение и выполнение всех необходимых процессов и задач.

Цель PSAC

Основной целью PSAC является разработка всеобъемлющего плана, демонстрирующего, как программное обеспечение будет разрабатываться, проверяться и валидироваться для достижения целей безопасности и сертификации, установленных регулирующими органами. Он предоставляет общий обзор процесса разработки программного обеспечения и помогает заинтересованным сторонам понять подход, используемый для обеспечения целостности и надежности программного обеспечения.

Содержание PSAC

PSAC включает несколько ключевых разделов, в которых содержится подробная информация о процессе разработки программного обеспечения. Хотя конкретное содержание может варьироваться в зависимости от проекта и его сложности, обычно включаются следующие разделы:

В этом разделе представлен обзор проекта разработки программного обеспечения, включая его цели, объем и применимые нормативные рекомендации и стандарты.

Жизненный цикл программного обеспечения 

В разделе жизненного цикла программного обеспечения описываются различные этапы процесса разработки программного обеспечения, такие как анализ требований, проектирование, кодирование, тестирование и обслуживание. В нем описываются действия, которые необходимо выполнить на каждом этапе, и связанные с ними артефакты, которые необходимо создать.

Процесс разработки программного обеспечения 

В этом разделе объясняется конкретный процесс разработки программного обеспечения, которому необходимо следовать, включая выбор моделей разработки (например, каскадная, итеративная, гибкая) и связанные с ними действия, такие как управление конфигурацией, обеспечение качества и документирование.

Процесс проверки и проверки программного обеспечения 

В PSAC подробно описан подход к проверке и аттестации программного обеспечения для обеспечения соответствия целям безопасности. Он определяет методы проверки, такие как обзоры, инспекции и испытания, а также соответствующие критерии и процедуры прохождения/непрохождения.

Управление конфигурацией программного обеспечения 

В этом разделе описываются используемые процессы и инструменты управления конфигурацией программного обеспечения, включая контроль версий, базовое управление и процедуры управления изменениями. Он обеспечивает надлежащее управление всеми программными артефактами и их версиями на протяжении всего жизненного цикла разработки.

Гарантия качества программного обеспечения 

PSAC касается действий по обеспечению качества программного обеспечения, таких как аудиты, обзоры и сбор показателей. Это гарантирует, что процесс разработки программного обеспечения выполняется правильно и что приняты надлежащие меры контроля качества.

Безопасность программного обеспечения 

В этом разделе основное внимание уделяется аспектам безопасности программного обеспечения и определяются цели безопасности, методы анализа опасностей и стратегии снижения рисков для устранения потенциальных рисков, связанных с программным обеспечением.

Указатель конфигурации 

Указатель конфигурации содержит список всех поставляемых программных продуктов, включая документацию, исходный код, тестовые примеры и результаты тестов. Он служит справочным материалом для всей группы разработчиков программного обеспечения и органов сертификации.

Важность PSAC в сертификации

PSAC играет решающую роль в процессе сертификации, предоставляя подробный план, демонстрирующий соответствие нормативным требованиям. Он служит договорным соглашением между разработчиком программного обеспечения и органами сертификации, гарантируя, что все необходимые действия и артефакты правильно определены и выполнены.

Следуя PSAC, группа разработчиков программного обеспечения может установить прослеживаемость между требованиями к программному обеспечению, проектированием и действиями по проверке. Эта прослеживаемость важна для демонстрации того, что программное обеспечение было разработано и протестировано правильно и что оно соответствует установленным целям безопасности.

Кроме того, PSAC обеспечивает основу для управления рисками, поскольку включает разделы, посвященные безопасности, анализу опасностей и стратегиям смягчения последствий. Это гарантирует, что потенциальные риски, связанные с программным обеспечением, идентифицируются и устраняются надлежащим образом, что повышает общую безопасность бортовой системы.

Заключение

План сертификации программного обеспечения (PSAC) — важный документ в рамках стандарта DO-178C, который служит дорожной картой для процесса разработки и сертификации программного обеспечения. В нем описываются необходимые действия, процессы и артефакты для обеспечения целостности, надежности и безопасности бортового программного обеспечения. Следуя рекомендациям PSAC, разработчики программного обеспечения могут эффективно демонстрировать соответствие нормативным требованиям и успешно сертифицировать свои бортовые системы.

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

Главы

Выходите на рынок быстрее с Visure