Формальное моделирование требований при разработке киберфизических систем: интегрированное решение на основе FORM-L и Modelica

Возрастающая сложность киберфизических систем (КФС) делает их проектирование, разработку и эксплуатацию чрезвычайно сложными. Вследствие особенностей КФС, включающих множество разнородных компонентов, которые часто проектируются и разрабатываются организациями, относящимися к различным инженерным областям, при использовании классических методов трудно управлять их свойствами, требованиями и ограничениями, отслеживать их и проверять на протяжении всего жизненного цикла. В этом контексте в статье представлено интегрированное решение для формального определения системных требований и автоматизации их проверки посредством моделирования. Решение основано на языке формального моделирования требований FOrmal Requirements Modeling Language и языке Modelica. Решение проиллюстрировано двумя тематическими исследованиями, посвящёнными системе механизации задней кромки крыла и системе отопления, вентиляции и кондиционирования воздуха.