Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Array
(
    [SESS_AUTH] => Array
        (
            [POLICY] => Array
                (
                    [SESSION_TIMEOUT] => 24
                    [SESSION_IP_MASK] => 0.0.0.0
                    [MAX_STORE_NUM] => 10
                    [STORE_IP_MASK] => 0.0.0.0
                    [STORE_TIMEOUT] => 525600
                    [CHECKWORD_TIMEOUT] => 525600
                    [PASSWORD_LENGTH] => 6
                    [PASSWORD_UPPERCASE] => N
                    [PASSWORD_LOWERCASE] => N
                    [PASSWORD_DIGITS] => N
                    [PASSWORD_PUNCTUATION] => N
                    [LOGIN_ATTEMPTS] => 0
                    [PASSWORD_REQUIREMENTS] => Пароль должен быть не менее 6 символов длиной.
                )

        )

    [SESS_IP] => 44.193.208.105
    [SESS_TIME] => 1711719664
    [BX_SESSION_SIGN] => 9b3eeb12a31176bf2731c6c072271eb6
    [fixed_session_id] => de9d7f96ab14786c7dcc069a41688789
    [UNIQUE_KEY] => 44eb321015078f2c62a1143d1b748cf1
    [BX_LOGIN_NEED_CAPTCHA_LOGIN] => Array
        (
            [LOGIN] => 
            [POLICY_ATTEMPTS] => 0
        )

)

Поиск по журналу

Автометрия

2019 год, номер 2

АВТОМАТИЧЕСКАЯ ВЕРИФИКАЦИЯ АЛГОРИТМОВ УПРАВЛЕНИЯ В КИБЕРФИЗИЧЕСКИХ СИСТЕМАХ НА ПРОГРАММНЫХ ИМИТАТОРАХ

Т.В. Лях1,2, В.Е. Зюбин1,2, Н.О. Гаранина3
1Институт автоматики и электрометрии СО РАН, 630090, г. Новосибирск, просп. Академика Коптюга, 1
zyubin@iae.nsk.su
2Новосибирский государственный университет, 630090, г. Новосибирск, ул. Пирогова, 2
3Институт систем информатики СО РАН, 630090, г. Новосибирск, просп. Академика Лаврентьева, 6
Ключевые слова: верификация, алгоритмы управления, киберфизические системы, имитационное моделирование, процесс-ориентированное программирование, verification, control algorithms, cyberphysical systems, software simulation, process-oriented programming
Страницы: 103-113
Подраздел: СИСТЕМЫ АВТОМАТИЗАЦИИ В НАУЧНЫХ ИССЛЕДОВАНИЯХ И ПРОМЫШЛЕННОСТИ

Аннотация

Решается задача автоматической верификации алгоритмов управления, созданных средствами процесс-ориентированного программирования для киберфизических систем. Предлагается метод на основе программных имитаторов объекта управления и описывается его реализация на базе пакета LabVIEW и транслятора языка Reflex.

DOI: 10.15372/AUT20190211