Инженерия надёжных киберфизических систем

Разработка надёжных киберфизических систем (CPS) требует применения модельно-ориентированных методов и инструментов, поддерживающих на семантическом уровне разнообразие нотаций, необходимых для описания как вычислительных, так и физических элементов рассматриваемых систем. Это также обусловливает необходимость интегрированных инструментальных цепочек, обеспечивающих совместное построение моделей, исследование альтернативных вариантов проектирования и валидацию ключевых свойств системы. Мы рассматриваем исследования, направленные на создание открытой платформы для совместного построения и моделирования моделей киберфизических систем, включая основы, поддерживающие семантическое разнообразие, и методические рекомендации для выполнения работ от формирования требований до реализации. Рассматриваемый подход интегрирует существующие промышленные инструменты на основе совместного моделирования, совместимого с интерфейсом Functional Mock-up Interface. Интеграция обоснованной семантики различных симуляторов должна позволить реализовать совместное моделирование (ко-моделирование) множества моделей (ко-моделей). Предполагаемое применение этой технологии продемонстрировано на промышленном примере из железнодорожной отрасли.