ЛАФ-2015: Сергей Лалетин. Работа с требованиями при создании программного обеспечения бортовой радиоэлектронной аппаратуры

В докладе представлены основные положения, которые касаются работы с требованиями при создании программного обеспечения бортовой радиоэлектронной аппаратуры с учетом использования стандарта RTCA DO-178C (Software Considerations in Airborne Systems and Equipment Certification), фактически являющегося основным руководящим документом при создании программного обеспечения различных уровней критичности, разрабатываемого для бортовой аппаратуры.

Целью доклада является ознакомление слушателей с типом требований, уровнями критичности программного обеспечения, методами выявления требований, методами проверки требований на основании документа. В докладе рассмотрены основные виды документов и их назначение, выпускаемых в процессе разработки аппаратуры. В дополнении представлены другие документы подмножества RTCA DO-178С, для примера:

  • DO-333 Formal Methods Supplement to DO-178C and DO-278A
  • DO-331 Model-Based Development and Verification Supplement to DO-178C and DO-278A

Приведены ошибки и их последствия в процессе неправильно спланированного бизнес процесса и создания некачаственных требований.