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

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


Смотрите также:
Об одном формальном подходе к построению автоматных программ1...
Программа по курсу " Моделирование систем управления "...
Инструкция пользователя программного комплекса " Анализ систем 1 "...
Аннотация курса “Теория параллельных систем и процессов”...
Рабочая программа дисциплины “ Моделирование систем”...
4 gn – инструмент для разработки нейроноподобных адаптивных систем управления на основе метода...
О верификации динамических свойств систем взаимодействующих агентов...
Верификация автоматных программ...
Лекция 3 курса «Методы автоматизации тестирования»...
Программный комплекс системы документирования параметров технологического процесса для...
Программный комплекс автоматизированного динамического анализа многокомпонентных механических...
Данный документ содержит краткий конспект лекций по “Аналитической верификации программ”...



Загрузка...

РЕФЕРАТ



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

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

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

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

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



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


Аннотация:


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

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

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


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


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


ОС: GNU/Linux

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





Скачать 14.02 Kb.
оставить комментарий
Дата05.11.2011
Размер14.02 Kb.
ТипПрограмма, Образовательные материалы
Добавить документ в свой блог или на сайт

Ваша оценка этого документа будет первой.
Ваша оценка:
Разместите кнопку на своём сайте или блоге:
rudocs.exdat.com

Загрузка...
База данных защищена авторским правом ©exdat 2000-2017
При копировании материала укажите ссылку
обратиться к администрации
Анализ
Справочники
Сценарии
Рефераты
Курсовые работы
Авторефераты
Программы
Методички
Документы
Понятия

опубликовать
Загрузка...
Документы

Рейтинг@Mail.ru
наверх