Рапсодия для среды авионики DO-178?
Кто-нибудь успешно использовал Rhapsody в среде авионики DO-178? То есть работа с процессом FAA/DER для предоставления им артефактов и их одобрения. Поскольку я понимаю, что Rhapsody не является сертифицируемым инструментом MDD, мне было любопытно, были ли другие смягчающие факторы.
Если вы добились успеха, какие шаги вы предприняли, чтобы достичь этого?
Спасибо за любые отзывы и идеи.
3 ответа
Я использовал Rhapsody в проекте, который был разработан в соответствии с (но не сертифицирован) для уровня DO-178B D. Требования управлялись в DOORS и были связаны с Rhapsody с помощью инструмента Rhapsody Gateway, который работал достаточно хорошо. Это было важно, так как прослеживаемость является ключевой частью 178B.
Программное обеспечение было смоделировано в Rhapsody, а код сгенерирован вручную. Ручная генерация кода была выбрана, поскольку автоматическая генерация кода требовала, чтобы Rhapsody была квалифицирована как инструмент разработки для соответствия 178B. Я не знаю, предоставляет ли IBM сертификацию 178B для Rhapsody.
Проверка программного обеспечения на соответствие требованиям проводилась с использованием специального инструмента тестирования, и для этого нам пришлось провести несколько значительных испытаний инструмента, чтобы квалифицировать его как инструмент проверки.
На ваш вопрос довольно сложно ответить, поскольку вы не включаете никакой информации о том, с каким уровнем 178B вы работаете, с какими инструментами вы планируете использовать (кроме Rhapsody) или собираетесь ли вы автоматически генерировать код, и т.п.
Надеюсь, это поможет.
У меня есть опыт использования Rhapsody C++ для DO-178B Level A/B-совместимого проекта.
Сгенерированный автоматически код проверяется в соответствии с требованиями покрытия, включая покрытие MC/DC, на должный уровень. Поскольку сгенерированный код полностью проверен строгими статическими / динамическими тестами и ручными проверками, как если бы они были закодированы вручную, квалификация инструмента Rhapsody не была обязательной.
Мы приложили много усилий для настройки свойств генерации кода Rhapsody, чтобы генерировать только необходимый код, такой как ctor / dtors и get / setters, и избегать библиотечных функций, которые не являются детерминированными, или функций с динамическим распределением памяти.
Мы смогли в полной мере использовать циклическое проектирование, чтобы файлы модели Rhapsody, а не код, контролировались версиями, поскольку модель содержит весь код.
Rhapsody UML следует рассматривать для разработки многоразовой и переносимой архитектуры программного обеспечения.
Rhapsody используется в нашем проекте Level A/C/D с Arinc 653. Начиная с выхода Rhapsody(Авто генераторы кода) проверяются.
Следовательно, квалификационная рапсодия не нужна. Rhapsody дает преимущества в отслеживаемости и создании или изменении тестовых сценариев, просто обновляя поле "Теги".
Таким образом, весь тестовый скрипт или трассировки в тестовом скрипте не нужно изменять.