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