• Регистрация
Статьи и вопросы по тегу "валидация"

Статьи и вопросы по тегу "валидация"

  • Все 2
  • Статьи 2
  • Публикация
  • 07.04.2020
Сергей Алексеев
Сергей Алексеев 0.00
н/д
Запись доклада:

Доклад посвящен подходу к разработке комплексной системы управления с помощью модельно-ориентированного проектирования и подготовке к переходу на КТ-178 и Р-331

07.04.2020
  • Публикация
  • 03.06.2019
Н/Д
Н/Д 0.00
н/д
По мере удешевления процессорных ресурсов и памяти встраиваемое программное обеспечение (ПО), применяемое повсеместно, значительно усложняется. Поэтому аспекты, связанные с разработкой систем повышенной надежности, начинают играть все более важную роль. О...

Авторы - Н.В. Богославский, В.М. Понятский, В.Г. Федорищева, П.В. Рословец

Рассмотрена технология проверки разрабатываемой системы управления на ранней стадии проектирования c использованием инструментов MathWorks. Технология поддерживает реализацию подхода «от модели к программе» и включает процедуры создания связи модели с документом требований; проверку модели на соответствие стандартам моделирования; функциональное тестирование модели; анализ на покрытие модели тестами; проверку на ошибки проектирования; доказательство свойств модели и автоматическую генерацию тестов для 100%-ого покрытия модели.

03.06.2019