Конечный автомат SysML: использование времени как переменной

Описание: В этом руководстве мы отвечаем на вопрос подписчика о том, как сделать время переменной в моделировании конечного автомата SysML.

Мы рассмотрим:
✅ Попытку заменить фиксированное время (например, 4 с → 2 с) переменной времени
✅ Почему переменные не обновляются ожидаемым образом при переходах
✅ Использование сторожевых элементов, simTime и событий изменения для тестирования различной логики синхронизации
✅ Ограничения оценки сторожевых элементов и контекста моделирования
✅ Рекомендуемое решение с действием do behavior + логикой счётчика для обработки различных условий синхронизации

В конце вы узнаете, как смоделировать конечный автомат, который ждёт 4 секунды при первом переходе и 2 секунды при последующих, а также разберётесь с плюсами и минусами различных подходов в Cameo Systems Modeler.

🔔 Подпишитесь на новые руководства по SysML и MBSE! 📂 Файлы проекта: https://cameomagic.com/project-files/
📘 Подготовка к сертификации: https://cameomagic.com/training-certi...
💼 Консультации: [email protected]

0:00 Введение и вопрос подписчика
0:17 Настройка конечного автомата и проблема синхронизации
1:18 Попытка использования переменной времени
2:40 Связывание переменных с переходами
3:16 Ограничения моделирования с использованием переменных
4:13 Изучение альтернативных подходов к конечному автомату
5:12 Использование simtime и сторожевых устройств
7:01 Условия When и события Change
9:02 Ограничения оценки сторожевых устройств
10:26 Объяснение запуска с контекстом
11:14 Рекомендуемое решение: Do Behavior Action
11:48 Демонстрация моделирования с использованием логики счётчика
12:39 Заключение и рекомендуемый подход