МЕТОД ДИНАМИЧЕСКОЙ АКТУАЛИЗАЦИИ МОДЕЛИ ВЗАИМОДЕЙСТВИЯ ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ ВО ВСТРОЕННЫХ СИСТЕМАХ
Аннотация:
Рассматривается метод динамической актуализации формальной модели параллельных процессов, который предназначен для отладки и верификации программного обеспечения микроконтроллеров в процессе натурных испытаний. Предложенный метод основан на применении методов интеллектуального анализа процессов и изначально отличается от предыдущих подходов тем, что позволяет записывать наблюдаемое поведение системы в формальную модель и обновить эту модель в режиме реального времени в процессе функционирования системы. Такой подход позволяет существенно сократить затраты ресурсов памяти на журналирование событий, поддерживать причинно-следственную связь между ними, производить наблюдение за системой в случаях, когда доступ к ней ограничен в течение продолжительного времени, а также строить модели процессов для распределенных систем в режиме реального времени. Метод, воплощенный в виде библиотеки на языке C, был реализован в виде совокупности предварительно подготовленных таблиц, представляющих собой динамически актуализируемую модель процессов системы в форме событийного графа с частотными характеристиками, обновляемыми за счет поступления информации о событиях в системе. Приведена формула для оценки необходимых ресурсов для целевых платформ, а также даны указания по применению разработанного инструментария.
Ключевые слова:
Постоянный URL
Статьи в номере
- УСОВЕРШЕНСТВОВАНИЕ АЛГОРИТМА ИДЕ НТИФИКАЦИИ ЭМОЦИОНАЛЬНОГО СОСТОЯНИЯ ЧЕЛОВЕКА С ИСПОЛЬЗОВАНИЕМ MFCC
- ОПТИМАЛЬНОЕ ОБЪЕДИНЕНИЕ ИНТЕРВАЛОВ ГРУППИРОВАННОЙ ВЫБОРКИ ДЛЯ ПРИМЕНЕНИЯ КРИТЕРИЯ ТИПА χ2
- АНАЛИЗ СКОРОСТИ АЛГОРИТМА СЛУЧАЙНОГО ДОСТУПА С РАЗНОЙ ДЛИТЕЛЬНОСТЬЮ СЛОТОВ НА ОСНОВЕ АЛГОРИТМА АЛОХА
- РАСПОЗНАВАНИЕ РУКОПИСНОГО ТЕКСТА ИСТОРИЧЕСКИХ ДОКУМЕНТОВ С ПРИМЕНЕНИЕМ ТЕХНОЛОГИЙ ГЛУБОКИХ НЕЙРОННЫХ СЕТЕЙ
- УСОВЕРШЕНСТВОВАНИЕ РАСЧЕТНО-АНАЛИТИЧЕСКОЙ МЕТОДИКИ ОЦЕНИВАНИЯ ЭФФЕКТИВНОСТИ ТЕЛЕВИЗИОННЫХ КАМЕР ПРИ ОБНАРУЖЕНИИ И РАСПОЗНАВАНИИ ОБЪЕКТОВ
- ИССЛЕДОВАНИЕ НИЗКОКОГЕРЕНТНОГО ИНТЕРФЕРОМЕТРИЧЕСКОГО ЗОНДА ПРИ РАБОТЕ В СКАНИРУЮЩЕМ РЕЖИМЕ ИЗМЕРЕНИЙ
- РАСПРЕДЕЛЕНИЕ РЕНТГЕНОКОНТРАСТНОГО ВЕЩЕСТВА В ПРОСВЕТЕ И СТЕНКЕ БРЮШНОЙ АОРТЫ ПО ДАННЫМ КТ-АНГИОГРАФИЧЕСКОГО ИССЛЕДОВАНИЯ