Декабрьский выпуск посвящен бурно развивающемуся рынку интеллектуальных автономных систем, открывающих новые просторы для экономически эффективной автоматизации процессов. Вместе с тем такие системы требуют доработки, в том числе для обеспечения адаптивности и сохранения работоспособности в случае непредвиденных ситуаций.
Современные системы роботизации, мобильных вычислений, бортовые системы беспилотных транспортных средств и финансовые приложения состоят из независимых распределенных компонентов и при этом работают в динамичной среде, физическая инфраструктура, сетевые топологии и нагрузки в которой непрерывно меняются. Неотъемлемая характеристика таких систем — способность к автономной работе под управлением интеллектуального программного обеспечения.
Выпуск журнала открывается статьей «Вычислительный интеллект для обеспечения безопасности сложных систем» (Computational Intelligence for the Safety Assurance of Cooperative Systems of Systems), которую подготовили Сохаг Кабир (Sohag Kabir) и Яннис Пападопулос (Yiannis Papadopoulos). Тема — обеспечение эксплуатационной безопасности системы, состоящей из многочисленных независимых динамически взаимодействующих между собой подсистем. Авторы предлагают схему, в рамках которой интеллектуальные агенты следят за надежностью работы подсистем и предотвращают нарушения. Каждый такой агент устраняет несоответствия нормам и делится сведениями с другими агентами, помогая обеспечивать безопасность системы в целом. Эффективность схемы демонстрируется на примере автономной производственной ячейки.
Эрфан Асаади (Erfan Asaadi) с соавторами в статье «Динамическое обоснование гарантий: путь к надежным автономным системам» (Dynamic Assurance Cases: A Pathway to Trusted Autonomy) предлагает применять методику обоснования гарантий (assurance case) для обеспечения надежности автономных систем, использующих системы машинного обучения и способных меняться со временем. Авторы предлагают динамический вариант обоснования гарантий, в котором, помимо статичных артефактов, используются гарантийные меры на основе количественных показателей, позволяющих оценить степень уверенности в выполнении тех или иных требований. Эффективность подхода демонстрируется на примере автономной системы рулежки для самолетов.
Статья «Архитектурные решения для самоадаптирующихся систем» (Architectural Solutions for Self-Adaptive Systems), которую подготовили Лина Гарсес (Lina Garces) и соавторы, посвящена проектированию систем, способных в процессе эксплуатации перестраивать свою архитектуру в зависимости от условий окружающей среды, неполадок, непредвиденной активности и т. д. Отмечаются сложность проектирования таких систем и отсутствие типовых архитектурных решений. Предлагается ряд независимых от области применения подходов к проектированию, эффективность которых демонстрируется на примере самоадаптирующейся системы экологического мониторинга реки.
Сэмюэл Кристи (Samuel H. Christie), Дарья Смирнова (Daria Smirnova) и соавторы представили публикацию «Децентрализованная модель программирования для Интернета вещей» (Protocols Over Things: A Decentralized Programming Model for the Internet of Things). В статье рассматриваются системы Интернета вещей с автономными компонентами, взаимодействующими для достижения общей цели. Особенность таких систем — множество точек контроля, однако традиционные модели программирования в этом случае не подходят, поскольку рассчитаны на наличие единственного пункта контроля. В статье предлагается новая модель Protocols Over Things, учитывающая распределенный и децентрализованный характер сложных систем.
В статье группы авторов во главе с Хао Ши (Hao Shi) «Перестройка контроллера группы роботов под влиянием изменений» (Controller Resynthesis for a Multirobot System When Changes Happen) рассматривается задача восстановления работоспособности системы из нескольких роботов после непредвиденных изменений рабочей среды, например отказа части датчиков или приводных устройств. Отмечается, что перестройку такой системы необходимо выполнять без прерывания работы, описывается процесс восстановления, позволяющий с максимальной точностью учесть изменившиеся технические требования.
Саяни Саркар (Sayani Sarkar), Майкл Тотаро (Michael W. Totaro) и соавторы опубликовали статью «Распознавание объектов и построение маршрутов в режиме реального времени для интеллектуальных дронов» (Real-Time Object Processing and Routing for Intelligent Drones: A Novel Approach). В ней обсуждается задача выстраивания оптимального маршрута для беспилотника, который должен облететь заданную группу объектов. Согласно предлагаемой методике, дрон выполняет съемку местности, определяет координаты объектов и строит кратчайший маршрут между ними. Экспериментальная проверка проводилась на примере парковочной площадки.
Январский выпуск журнала Computer посвящен новым технологиям, которые, как ожидается, будут в фокусе внимания индустрии в 2021 году. Прогнозируется, что это будет буквально «цунами»: компании и предприятия вряд ли смогут успевать знакомиться со всеми новшествами, не говоря уже о внедрениях. В этой связи можно предположить, что осваиваться будут в основном уже известные технологии.
Вард Антинян (Vard Antinyan) в статье «Зачарованные строками кода» (Hypnotized by Lines of Code) критикует практику прогнозирования числа дефектов в программном обеспечении по количеству строк исходного кода. Автор демонстрирует несостоятельность этой методики, доказывая, что объем кода не может служить показателем количества ошибок. Отмечается, что данная практика по-прежнему широко используется, из-за чего не развиваются новые, более действенные методы оценки дефектов в ПО.
Александр Вейсс (Alexander Weiss) и Смита Готем (Smitha Gautham) опубликовали статью «Анализ и устранение сложных неисправностей встроенных киберфизических систем» (Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems), в которой обсуждают необходимость создания точной классификации неисправностей для улучшения методов отладки встроенных систем и их верификации в процессе работы. Напоминая о необходимости развития способов поиска дефектов, авторы описывают ряд примеров, в которых аномалии и ошибки традиционным путем обнаружить не удалось, из-за чего они долгие годы сохранялись в коде.
Публикацию «Цифровые двойники: нужна универсальность» (Digital Twins: Universal Interoperability for the Digital Age) Вартан Пирумян (Vartan Piroumian) посвятил обсуждению проблемы отсутствия стандартизации элементов технической экосистемы, на базе которой создают цифровых близнецов. По мнению автора, сейчас она представляет собой мешанину несовместимых между собой проприетарных методов, инструментов, приложений и данных. Стандартизация цифровых репрезентаций объектов реального мира позволит уменьшить риски и затраты, повысить эффективность процессов проектирования.
Генри Ким (Henry M. Kim) и Марек Ласковски (Marek Laskowski) подготовили статью «Экономика токенов в реальной жизни: особенности криптовалюты и финансовых стимулов для блокчейн-сети Insolar» (Token Economics in Real Life: Cryptocurrency and Incentives Design for Insolar's Blockchain Network). В публикации речь идет об архитектуре блокчейна, созданного швейцарским стартапом Insolar, и о том, как разрабатывались экономические стимулы с использованием средств моделирования динамики системы. В статье приводится доступное разъяснение принципа действия криптовалют.
Тему распределенных реестров продолжает февральский выпуск Computer. Статья «Таксономия для аналитики распределенных реестров» (A Taxonomy for Distributed Ledger Analytics), которую опубликовали Фридхельм Виктор (Friedhelm Victor) и Петер Руппель (Peter Ruppel), — о потребности в глубоком анализе распределенных реестров с учетом роста объемов транзакций и распространения децентрализованных приложений на базе смарт-контрактов. Авторы предлагают концепцию аналитики распределенных реестров и соответствующую таксономию. Отмечается, что сейчас анализ подобных систем полагается на транзакционные данные, в то время как назрела потребность в новых исследованиях, посвященных управлению, смарт-контрактам и анализу ценности.
Гонсало Суза Мендес (Goncalo Sousa Mendes) и Даниэл Чен (Daniel Chen) свою статью «Система оценки репутации магазинов мобильных приложений на основе блокчейна» (A Novel Reputation System for Mobile App Stores Using Blockchain) посвятили проблеме роста объема вредоносного кода, который обнаруживают уже после размещения программ в магазинах приложений. В качестве возможного решения предлагается создание репутационной системы для пользователей и разработчиков, в которую будут поступать отчеты о вредоносных программах по всем мобильным платформам. По мнению авторов, применение блокчейна в основе такой системы позволило бы обеспечить ее масштабируемость и экономическую эффективность.
Заключительную статью выпуска, «Гибкая защищенная блокчейн-система на базе FPGA для Промышленного интернета» (A Secure and Flexible FPGA-Based Blockchain System for the IIoT), подготовили Хань Йи Ким (Han-Yee Kim) и соавторы. В публикации описывается блокчейн-система, которая позволила бы сохранять сведения об использовании оборудования и сервисов на производственном предприятии. Для защиты информации на конечных точках в таком блокчейне авторы предлагают применять FPGA, которые, будучи изолированными от остальной системы, обеспечивали бы создание ключей шифрования, регистрацию показаний датчиков и запуск транзакций. К данным FPGA, как отмечают авторы, не смогли бы получить доступ злоумышленники, даже обладающие привилегиями уровня root.
Александр Тыренко (shoorah@osp.ru) — обозреватель «Computerworld Россия» (Москва).