Пошук академічних текстів

Інформація × Реєстраційний номер 0202U000908, 0100U000809 , Науково-дослідна робота Назва роботи Методи програмної інженерії для систем керування об'єктами з потенційно небезпечними режимами роботи Назва етапу роботи Керівник роботи Литвинов В. В., Дата реєстрації 15-03-2002 Організація виконавець Інститут проблем математичних машин і систем НАНУ Опис етапу Об'єкт дослідженнь - системи керування об'єктами з потенційно небезпечними режимами роботи. Мета роботи - створення промислових технологій розробки програм для систем керування потенційно небезпечними об'єктами. Методи дослідженнь: системний аналіз, теорія керування, теорія множин, теорія графів, теорія мереж Петрі, математична логіка, теорія формальних мов. Досліджені: методи опису процесів функціонування безупинно-дискретних систем, особливості поведінки реактивних систем, методи формальної специфікації процесів керування, темпоральні та інтервальні методи опису властивостей систем керування потенційно-небезпечними об'єктами, існуючі підходи до верифікації програм керування, життєвий цикл програмних засобів керування потенційно-небезпечними об'єктами, проблеми моделювання в системах керування. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити