Руководство DO-178C: Введение в сертификацию RTCA DO-178
Содержание
DO-331: Дополнение к DO-178C и DO-278A по разработке и проверке на основе моделей
Введение
В области систем, критически важных для безопасности, разработка и проверка программного обеспечения играют решающую роль в обеспечении надежной и безопасной работы. В частности, отрасль авионики в значительной степени зависит от стандартов и руководств для создания надежной основы для сертификации программного обеспечения, используемого в самолетах. Стандарты DO-178C и DO-278A долгое время считались золотым стандартом разработки и проверки программного обеспечения в авиационной отрасли. Для дальнейшего совершенствования этих стандартов было введено Дополнение по разработке и проверке на основе моделей, DO-331. В этой статье представлен всесторонний обзор DO-331 с акцентом на его значение, ключевые особенности и преимущества.
Понимание DO-331
Что такое ДО-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 касается квалификационных требований к таким инструментам. Он содержит руководство по выбору инструмента, процессам квалификации инструмента и документации, необходимой для поддержки деятельности по квалификации инструмента. Это гарантирует, что инструменты, используемые для разработки и проверки на основе моделей, подходят для своих целей и соответствуют необходимым стандартам качества.
Преимущества ДО-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
- Обеспечить соответствие нормативным требованиям
- Обеспечить полную прослеживаемость
- Оптимизация разработки
