ISSN 1991-2927
Языки: ru · en

Статья: ПРИМЕР ВЕРИФИКАЦИИ ПРОЕКТНОГО РЕШЕНИЯ В РАЗРАБОТКЕ АППАРАТНО-ПРОГРАММНОГО СРЕДСТВА СЛОЖНОГО ИЗДЕЛИЯ (2024)

Читать онлайн

В статье рассмотрена практика верификации проектного решения, представленного алгоритмом (моделью работы потока реального времени Real) в аппаратно-программном средстве, опирающаяся на авторскую методологию верификации на этапе системного проектирования. Алгоритм включает оркестровку и хореографию проектируемого аппаратно-программного средства. Выявляются ошибки хорошей согласованности, корректности и темпора́льные ошибки.

Следует отметить, что исследование велось в рамках решения проблемы по модернизации аппаратно-программного средства сложного изделия, состоящего из бортового компьютера и специализированного программного обеспечения. Бортовой компьютер работает в жестком реальном времени, сопряжен с окружающими блоками и стойками по шине и синхронизирован с работой изделия по внешнему импульсу прерывания. Полученные сведения от верификации повышают качество алгоритмов аппаратно-программного средства, а автоматизация верификации сокращает трудоемкость разработки проектного решения.В статье рассмотрена практика верификации проектного решения, представленного алгоритмом (моделью работы потока реального времени Real) в аппаратно-программном средстве, опирающаяся на авторскую методологию верификации на этапе системного проектирования. Алгоритм включает оркестровку и хореографию проектируемого аппаратно-программного средства. Выявляются ошибки хорошей согласованности, корректности и темпора́льные ошибки.

Следует отметить, что исследование велось в рамках решения проблемы по модернизации аппаратно-программного средства сложного изделия, состоящего из бортового компьютера и специализированного программного обеспечения. Бортовой компьютер работает в жестком реальном времени, сопряжен с окружающими блоками и стойками по шине и синхронизирован с работой изделия по внешнему импульсу прерывания. Полученные сведения от верификации повышают качество алгоритмов аппаратно-программного средства, а автоматизация верификации сокращает трудоемкость разработки проектного решения.

Ключевые фразы: Автоматизация проектирования, потоки проектных работ, СЕМАНТИКА, верификация
Автор (ы): Войт Николай Николаевич
Журнал: АВТОМАТИЗАЦИЯ ПРОЦЕССОВ УПРАВЛЕНИЯ

Идентификаторы и классификаторы

УДК
658.512. Проектирование производственных (технологических) процессов. Определение последовательности операций. Маршрутизация процесса
Для цитирования:
ВОЙТ Н. Н. ПРИМЕР ВЕРИФИКАЦИИ ПРОЕКТНОГО РЕШЕНИЯ В РАЗРАБОТКЕ АППАРАТНО-ПРОГРАММНОГО СРЕДСТВА СЛОЖНОГО ИЗДЕЛИЯ // АВТОМАТИЗАЦИЯ ПРОЦЕССОВ УПРАВЛЕНИЯ . 2024. № 4 (78)
Текстовый фрагмент статьи