Соколов Валерий Анатольевич. Правообладатель: Государственное образовательное учреждение высшего профессионального образования «Ярославский государственный университет им. П. Г. Демидова» программа
| Вид материала | Программа |
- Погребной Дмитрий Сергеевич Правообладатель : Государственное образовательное учреждение, 13kb.
- Телин Антон Евгеньевич Правообладатель: Государственное образовательное учреждение, 18.75kb.
- Трушин Олег Станиславович Правообладатель: Государственное образовательное учреждение, 15.18kb.
- Смирнов Александр Валерьевич Правообладатель: Государственное образовательное учреждение, 16.83kb.
- Казаков Леонид Николаевич Правообладатель: Государственное образовательное учреждение, 13.22kb.
- Казаков Леонид Николаевич Правообладатель: Федеральное государственное бюджетное образовательное, 13.02kb.
- Правительство Российской Федерации Государственное образовательное бюджетное учреждение, 91.24kb.
- Правительство Российской Федерации Государственное образовательное бюджетное учреждение, 371.48kb.
- Правительство Российской Федерации Государственное образовательное бюджетное учреждение, 344.56kb.
- Семенов Евгений Сергеевич, Барташевич Павел Викторович Правообладатель: Государственное, 15.21kb.
РЕФЕРАТ
Авторы: Васильев Андрей Михайлович,
Головченко Андрей Александрович,
Парамонов Илья Вячеславович,
Соколов Валерий Анатольевич.
Правообладатель: Государственное образовательное учреждение высшего профессионального образования «Ярославский государственный университет им. П.Г. Демидова»
Программа: SANTools – программный комплекс для верификации синхронно-автоматных моделей систем управления
Аннотация:
Программный комплекс SANTools предназначен для верификации синхронно-автоматных моделей систем управления. Поддерживается моделирование систем любого уровня сложности. Описание модели производится на специально разработанном языке. По составленному описанию могут быть сформированы изображения автоматов и сетей в растровом и векторном форматах. Для верификации простых свойств описание модели может быть преобразовано в программу на языке Esterel. Верификация сложных свойств моделей производится с помощью входящего в комплекс инструмента. Сложные свойства описываются на языке TempEst.
Основные функциональные возможности: создание документационных изображений, верификация синхронно-автоматных моделей.
Области использования: верификация моделей систем управления любой сложности.
Тип ЭВМ: IBM PC-совместимый ПК.
Языки: Python 2.6, SH, AWK
ОС: GNU/Linux