Методика проектирования встраиваемых комплексов

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

Главные преимущества:

  • Уменьшение времени разработки благодаря раннему выявлению дефектов и непрерывному контролю качества;
  • Уменьшение риска отклонения от спецификации благодаря верификации на ранних этапах разработки;
  • Улучшение качества выпускаемых изделий.

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

Акционерное общество Научно-Производственное Объединение «Развитие Инновационных Технологий»
г. Тверь, ул. Озёрная, 14 к.1, тел. +7 (4822) 32-20-01, +7 (4822) 45-25-09, факс +7 (4822) 32-23-00