Соколов Валерий Анатольевич. Правообладатель: Государственное образовательное учреждение высшего профессионального образования «Ярославский государственный университет им. П. Г. Демидова» программа

Вид материалаПрограмма
Подобный материал:

РЕФЕРАТ



Авторы: Васильев Андрей Михайлович,

Головченко Андрей Александрович,

Парамонов Илья Вячеславович,

Соколов Валерий Анатольевич.

Правообладатель: Государственное образовательное учреждение высшего профессионального образования «Ярославский государственный университет им. П.Г. Демидова»



Программа: SANTools – программный комплекс для верификации синхронно-автоматных моделей систем управления


Аннотация:


Программный комплекс SANTools предназначен для верификации синхронно-автоматных моделей систем управления. Поддерживается моделирование систем любого уровня сложности. Описание модели производится на специально разработанном языке. По составленному описанию могут быть сформированы изображения автоматов и сетей в растровом и векторном форматах. Для верификации простых свойств описание модели может быть преобразовано в программу на языке Esterel. Верификация сложных свойств моделей производится с помощью входящего в комплекс инструмента. Сложные свойства описываются на языке TempEst.

Основные функциональные возможности: создание документационных изображений, верификация синхронно-автоматных моделей.

Области использования: верификация моделей систем управления любой сложности.


Тип ЭВМ: IBM PC-совместимый ПК.


Языки: Python 2.6, SH, AWK


ОС: GNU/Linux

Объём программы: 152K