Читайте также:
|
Обзор стандарта DO-254
FAA развивает стандарт DO-254 с 2005 года, когда был выпущен рекомендательный циркуляр AC 20-152. Стандарт DO-254 определяет набор целей, которые должны быть достигнуты заявителями и интеграторами, претендующими на сертификацию продвигаемых ими образцов аппаратуры для использования в бортовых авиационных системах. Стандарт DO-254 был создан после DO-178B - аналогичного стандарта для сертификации программного обеспечения, более усовершенствованного варианта давнего стандарта DO-178, появившегося более 25 лет назад. Хотя первоначально DO-254 возник как стандарт для гражданской авиации, постепенно он все чаще используется при создании систем военной авиации и в других применениях с высокой степенью интеграции в таких отраслях, как медицина, атомная энергетика и транспорт.
Соответствие стандарту DO-254 и жизненный цикл
DO-254 задает как жизненный цикл процесса проектирования, так и поддерживающие процессы, выполнение которых обязательно на протяжении всего процесса разработки. Как показано на рис. 1, эти два аспекта проекта DO-254 подпитываются активным процессом планирования, который идентифицирует и детализирует методологию проекта.
На рисунке 1 показан жизненный цикл DO-254 и перечислены процессы, которые должны выполняться и документироваться по мере продвижения проекта по этапам жизненного цикла. В этой работе рассматриваются следующие процессы, выделенные на рис. 1 полужирным текстом:
• Управление требованиями и отслеживание требований— Стандарт DO-254 требует, чтобы элементы проекта и объекты верификации имели обратную связь с требованиями, которым они должны соответствовать. Отслеживание требований формирует подтверждение того, что в проекте реализована намеченная функция, и что она была тщательна верифицирована с целью доказательства работоспособности функции в любых предсказуемых условиях.
• Соответствие проектным стандартам — Для процесса разработки, осуществляемого согласно стандартам, каждому этапу разработки. должны соответствовать применимые стандарты. По мере продвижения проекта по этапам жизненного цикла необходимо показывать соблюдение таких стандартов.
• Верификация и валидация - На каждом этапе проекта разработчик должен гарантировать, что текущая версия проекта (концептуальная модель, описание на языке HDL, схема, разработанная аппаратура) удовлетворяет требованиям и соответствует предыдущей версии. Для верификации проекта на разных этапах могут использоваться самые разные методы и средства, от симуляции до расширенного анализа (например, анализ с помощью формальных методов). В данной работе рассматриваются методы верификации на высоком уровне, и особое внимание уделено вопросу повторного использования проектных работ и результатов на протяжении всего процесса.
Аппара́тное обеспе́чение (допустимо также произношение обеспече́ние), аппаратные средства, компьютерные комплектующие, жарг. железо (англ. hardware) — электронные и механические части вычислительного устройства, входящие в состав системы или сети, исключая программное обеспечение и данные (информацию, которую вычислительная система хранит и обрабатывает). Аппаратное обеспечение включает: компьютеры и логические устройства, внешние устройства и диагностическую аппаратуру, энергетическое оборудование, батареи и аккумуляторы.
Типовой персональный компьютер состоит из корпуса и следующих частей:
Кроме того, в аппаратное обеспечение также входят внешние компоненты — периферийные устройства:
Дата добавления: 2015-07-26; просмотров: 487 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Задачи обучения чтению на начальном этапе | | | Января – 2 февраля – Наступление войск Донского фронта с целью ликвидации окруженных под Сталинградом немецких войск (операция «Кольцо»). |