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

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

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

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

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