Разработка комплекса моделирования для валидации оценки функциональных опасностей комплексной системы управления с использованием методов модельно-ориентированного проектирования
УДК 519.8 ББК ББК 32.965.07
В данной работе проведен анализ применения методов модельно-ориентированного проектирования при валидации требований по отказобезопасности комплексной системы управления перспективного российского гражданского авиалайнера. Обоснована критичность корректного проведения оценки функциональных опасностей. Рассмотрен процесс валидации требований с помощью модельно-ориентированного проектирования. Описано техническое и программное обеспечение, необходимое для выполнения данной задачи. Рассмотрена структура используемой комплексной математической модели и интерфейсы взаимодействия с человеком.
Ключевые слова: модельно-ориентированное проектирование, системы управления, безопасность полетов, валидация требований.
Скачать 292,5 kB