IBM Rational / Telelogic Statemate

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

IBM Rational Statemate помогает инженерам однозначно описывать проектируемые системы и обнаруживать ошибки на ранних этапах жизненного цикла проектирования, до проведения заключительного комплексного тестирования, что в итоге снижает общие затраты на разработку.

• Позволяет создавать графические модели систем на основе стандартных диаграмм проектирования.
• Выделяет активные состояния, функции и сценарии во время имитационного моделирования.
• Содержит панели макетов как для ввода, так и для вывода данных в процессе имитационного моделирования.
• Предусматривает возможность имитационного моделирования незаконченного проекта, позволяя пользователю создавать модель и многократно прогонять ее по принципу "сверху вниз", "снизу вверх" или "изнутри к границам".
• Предоставляет все традиционные инструменты отладки, такие как диаграммы сигналов, мониторы и окна отладчика.
• Позволяет анализировать спецификации для проверки правильности поведения и сбора тестовых данных.
• Поддерживаемые операционные системы: Sun Solaris, Windows.

The IBM Rational Statemate  позволяет расширить возможности по дизайну систем и моделированию универсального языка моделирования (UML). Он позволяет системным инженерам создавать графическую модель разрабатываемой системы, основываясь на стандартных инжиниринговых диаграммах, включая некоторые UML диаграммы:

• Диаграммы управление потоками и данными
• Структурные диаграммы
• Таблицы истин
• Графики потоков
• UML диаграммы включают в себя проектные диаграммы, диаграммы последовательностей и диаграммы состояний

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

Системные требования