Вводится понятие параметрических временных сетей Петри, которые обобщают временные сети Петри. В таких сетях на переходы наложены параметрические ограничения, а параметры представляют собой символические константы с неизвестными фиксированными значениями. Предложен алгоритм анализа временного поведения систем реального времени, использующий язык темпоральной логики TCTL и безопасная параметрическая временная сеть Петри.

На основе анализа особенностей, задач и требований информационно-управляющих систем рассмотрены способы цифрового представления непрерывных сигналов и подходы к созданию информационно согласованных методов и средств преобразования и обработки информации в системах реального времени.

Розглянуто апаратну структуру і алгоритм паралельної обробки та спектрального аналізу сигналів, який дозволяє розширити частотний діапазон вимірювального сигналу. Показано результати реєстрації і обробки за приведеним алгоритмом.

Формальная модель структуры событий направлена на описания поведения конкурирующих и распределенных систем. Преимущество таких структур событий в том, что они являются естественным способом представления всех отношений (причинность, конкурентность, конфликт) между событиями в структуре. Однако в такой модели не принимается во внимание временные аспекты поведения системы. В работе вводятся и исследуются временные структуры событий и их эквивалентности.

Рассмотрены вопросы повышения эффективности мультипроцессорных вычислительных систем реального времени. Предложен комплексный подход к реализации параллельных вычислительных процессов и масштабированию производительности систем с использованием концепции модульной организации аппаратных средств. Освещены возникающие при этом проблемы и предложены пути их решения. Показана эффективность совместного использования классической и потоковой моделей вычислений при реализации параллельных алгоритмов. Приведены примеры организации модульных вычислительных систем.

Описаны методы решения задач дискретной оптимизации, а также произвольных задач булевого программирования и оптимизации на графах. Рассмотрены особенности применения рангового подхода к решению данных задач и теории графов, являющихся формальными моделями широкого класса задач управления в сложных системах управления и сетях. Приведены универсальные алгоритмы их решения, а также модели многопроцессорных вычислительных систем.

Розглянуто питання розробки методів, алгоритмів та архітектури спеціалізованих засобів технологій цифрової обробки сигналів і зображень. Описано алгоритми функціонування, програмування і навчання штучних нейронних мереж паралельної обробки сигналів. Розкрито структуру алгоритмічного операційного пристрою для прискореного обчислення базових операцій швидких алгоритмів ортогональних тригонометричних перетворень.

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

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

Розглянуто новий підхід до розв'язку задачі динамічного розподілу робіт у системах реального часу. Запропоновано метод перетворення вихідної інформації у форму, що дозволяє використовувати для побудови плану розв'язку відомі алгоритми. Запропонований метод дозволяє складати план розв'язку, з урахуванням продуктивністі обчислювальних вузлів та систем пріоритетів (штрафів).

Запропоновано нову стратегію доступу до загального буфера вузла інтегральної мережі, який використовується спільно пакетами реального та нереального часу. Відповідно до даної стратегії пакети реального часу, що надійшли, можуть витісняти з повністю заповненого буфера пакети нереального часу, якщо кількість пакетів реального часу менше певного значення. Розроблено ефективні алгоритми розрахунку й оптимізації показників якості обслуговування різнотипних пакетів. Наведено результати обчислювальних експериментів.

Рассмотрены частные и комплексные показатели для оценки отказоустойчивости систем обработки информации реального времени, функционирующих в модулярной арифметике (в системе остаточных классов), обосновано их использование в рассматриваемых системах.

Розглянуто основні етапи синтезу апаратних засобів інформаційних технологій узгоджено паралельної обробки сигналів у реальному часі. Запропоновано формули для оцінки ефективності використання обладнання та обчислювальної здатності. Розроблено метод просторово-часового відображення обчислювальних алгоритмів у узгоджено паралельні структури та визначено основні шляхи мінімізації витрат обладнання.

Розглянуто специфіку керуючої обчислювальної техніки (ОТ) та її стан в Україні; проблему - виробляти чи закуповувати ?; недоліки і проблеми, властиві виробництву та використанню вітчизняної керуючої ОТ, можливі шляхи розвитку керуючої ОТ та розв'язання проблем. Запропоновано два етапи в розвитку керуючої ОТ і забезпеченні її конкурентоздатності, відповідні наукові, виробничі та організаційні заходи. Розглянуто розробки з нового перспективного напряму систем реального часу - інтелектуальних відеокомп'ютерних пристроїв і систем - та їх перспективи.

Проанализированы методы обеспечения надежности и безопасности операционных систем реального времени (ОСРВ). Рассмотрены стандарты безопасности для ОСРВ и существующие разработки в данном направлении, обсуждены концепция реализации выделенных разделов, архитектура ОСРВ. Предложены реализация ключевых механизмов работы с виртуальной памятью, взаимодействие процессов и потоков в рамках стандарта POSIX.

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

Предложен алгоритм с "веерным" принципом просчета вперед на заданное число шагов для построения моделей в реальном масштабе времени. Он обладает гибкостью при наращивании сложности моделей в заданном классе, сходимостью итеративного процесса и простотой вычисления параметров моделей.

Розроблено нові, орієнтовані на НВІС-реалізації методи, алгоритми та структури для послідовного, паралельно-послідовного та паралельно-паралельного множення матриці на матрицю у реальному часі з високою ефективністю використання обладнання.

Предложена методика оперативного определения технического состояния VLSI-архитектур на активных и пассивных временных интервалах функционирования управляющих вычислительных систем реального времени по назначению.

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

Предложена модель диагностирования матричных спецпроцессоров в реальном масштабе времени. Определены условия совмещения встроенного контроля и диагностирования межмодульных связей.