Цифровой журнал «Компьютерра» 2014 № 01 (206) | страница 23



И тогда можно ожидать, что существенно повреждённая система будет хотя бы чуть-чуть функционировать, а электроника с софтом будут ограничивать нагрузку на повреждённые системы до того уровня, чтобы не доломать их окончательно. Собственно говоря, агентский софт в энергосистемах делает именно это: поддерживает модель окружения для того, чтобы предотвращать блэкауты в реальном времени. Digirtal mock-up — цифровой макет системы — перестаёт в какой-то момент быть макетом, он используется не во время разработки, а во время эксплуатации. А уж использование этой цифровой модели самой системы и её меняющегося в реальном времени окружения становится уделом весьма и весьма интеллектуальных алгоритмов.

Чтобы проектировать такую систему (а компьютеры здесь многоуровневые — от робота, который управляет моментом зажигания, до робота, управляющего парковкой машины или предотвращающего наезд на перебегающую дорогу кошку), сами практики системной инженерии должны меняться: идёт конвергенция системной, программной инженерии и инженерии систем управления. В 2009 году об этом говорилось очень немногими, а сегодня плоды этого тренда прошли в мейнстрим: любое устройство становится роботом в широком смысле этого слова (то есть имеет датчики, эффекторы и «курирующие» алгоритмы в компьютере). 

V&V превращается в приключение: нужно испытывать саму систему средствами самой системы плюс испытывать её алгоритмы. Отсюда все эти XXX-in-the-loop (где XXX — это model, hardware, processor, component, software). Впрочем, это давно уже мейнстрим, равно как и беглый тест при старте системы (автомобили на старте тестируют себя сейчас, пожалуй, не меньше, чем космическая ракета на старте, и дело идёт к непрерывному тестированию всех видов — не только на старте).

Фишка тут не ограничивается тем, что система непрерывно тестирует и обновляет свою собственную мультимодель и мультимодель окружения: для этого используются лишь солверы для этих моделей. Фишка в том, что система оптимизирует свои режимы (а иногда и структуру), ставя все эти солверы под управление какого-то оптимизатора. Оптимизация (а не просто расчёт) — это тренд 2014 года, какие-то оптимизаторы теперь вставляются в большинство систем мультимоделирования — как «времени САПР», так и «времени эксплуатации» (я тут специально пишу не «мультифизического моделирования», а «мультимоделирования» — ибо моделировать можно и цену, и логическую структуру, и много чего другого, кроме мультифизики).