DO Qualification Kit предоставляет документацию, тесты и процедуры, которые позволяют вам квалифицировать инструменты верификации для проектов на основе DO-178C, DO-278A, DO-330 и связанных с ними дополнений. Комплект содержит планы квалификации инструмента, требования к эксплуатации инструмента и другие материалы, необходимые для проверки верификации инструментов.
В рабочем процессе DO-178C можно использовать Модельно-ориентированное Проектирование и инструменты разработки и верификации MathWorks.
Инструменты MathWorks, используемые в рабочем процессе DO-178C, являются независимыми.
Разработка и верификация модели и исходного кода
Используйте продукты MathWorks, чтобы помочь разработать и проверить модели и исходный код, который соответствует DO-178C.
Потенциальные ошибки инструмента и обнаружение
Чтобы соответствовать DO-178C, используйте продукты MathWorks, чтобы помочь обнаружить ошибки пользователя и инструмента.
Объектный код разработки и верификации
Чтобы соответствовать DO-178C, используйте продукты MathWorks, чтобы помочь разработать и проверить объектный код.
Чтобы соответствовать DO-178C, используйте продукты MathWorks, чтобы помочь в разработке тестов.
DO-178C обзор жизненного цикла программного обеспечения
Жизненный цикл DO-178C программного обеспечения включает в себя планирование, разработку, верификацию и проверку.
Рабочий процесс модельно-ориентированного проектирования в DO-178C
В DO-178C жизненном цикле программного обеспечения рабочий процесс Модельно-ориентированное проектирование включает конкретные действия по разработке и верификации.
Процесс планирования программного обеспечения
В DO-178C жизненном цикле программного обеспечения рабочий процесс Модельно-ориентированное проектирование следует процессу планирования программного обеспечения.
Процесс разработки программного обеспечения
В DO-178C жизненном цикле программного обеспечения рабочий процесс Модельно-ориентированное проектирование следует процессу разработки программного обеспечения.
В DO-178C жизненном цикле программного обеспечения рабочий процесс Модельно-ориентированное проектирование выполняется в соответствии с процессом проверки требований.
В DO-178C жизненном цикле программного обеспечения рабочий процесс Модельно-ориентированное проектирование следует процессу верификации проекта.
Верификация процесса кодирования и интегрирования
В DO-178C жизненном цикле программного обеспечения рабочий процесс Модельно-ориентированное проектирование следует процессу кодирования и верификации интегрирования.
Проверка выходов Интегрирования процесса
В DO-178C жизненном цикле программного обеспечения рабочий процесс Model-Based Design следует процессу интеграционного тестирования вывода.
Проверка результатов процесса верификации
В DO-178C жизненном цикле программного обеспечения рабочий процесс Модельно-ориентированное проектирование следует процессу проверки результатов верификации.
Процесс управления строением программного обеспечения
В DO-178C жизненном цикле программного обеспечения рабочий процесс Модельно-ориентированное проектирование следует процессу управления строением программного обеспечения.
Процесс обеспечения качества программного обеспечения
В DO-178C жизненном цикле программного обеспечения рабочий процесс Модельно-ориентированное проектирование выполняется в соответствии с процессом проверки качества программного обеспечения.
В DO-178C жизненном цикле программного обеспечения рабочий процесс Модельно-ориентированное проектирование следует процессу сертификации связи.
В рабочем процессе сертификации проекта используются акронимы.
Рабочий процесс DO Qualification Kit Модельно-ориентированное Проектирование для DO-178C включает ссылки.
