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