CATIA Systems Architecture

CATIA Systems Architecture Design

Неожиданные неполадки чаще всего образом связаны с непредсказуемым поведением сложных систем, в которых одновременно может происходить сразу множество событий. Разнородные системы логического проектирования допустимы при создании подсистем, принадлежащих к различным разделам работ, но они непригодны для комплексных систем, которые затрагивают эти разделы работ.CATIA Systems Architecture Design предоставляет средства для того, чтобы сначала провести функциональную разбивку системы с целью выделения различных функциональных составляющих этой системы. Далее разработчики системной архитектуры могут задать логическую модель для исполнения и анализа технологических решений, соответствующих этим функциям.Модель исполнения основана на использовании языка, который позволяет проводить формальные статические проверки, автоматическое планирование и обнаружение замкнутых систем. Каждый компонент модели исполнения, а также сценарии и соответствующие результаты могут быть использованы повторно, поскольку они сохраняются в базе данных. Помимо этого 3D-формы можно ассоциировать с компонентами логической системы для получения 3D анимации, например, во время исполнения системы или резервирования пространства.

CATIA Systems Dynamic Behavior

Программный пакет Dynamic Behavior Modeling позволяет разработчикам или конструкторам строить модели сложных систем для изучения и моделирования их динамических характеристик. Модели создаются из компонентов, которые представляют собой физические детали системы, такие как клапаны, поршни, валы, резисторы и т.д., причем компоненты могут относиться к различным разделам работ (включая механику, тепловые элементы, гидравлику и электричество, в том числе электронику). Достаточно просто перетащить эти компоненты в модель и соединить их вместе.Это позволяет изучить динамику каждого компонента или характеристики подсистемы, а также принципы их взаимодействия друг с другом в составе крупной и сложной системы, например, грузовика с его системой торможения или автомобиля с двигателем, трансмиссией и приводом, или робота с электродвигателями и редуктором в каждом сочленении.

CATIA Dynamic Behavior Libraries

Данный набор компонентов для реалистичного моделирования построен на использовании языка Modelica, относится к числу передовых решений на мировом рынке и позволяет проводить реалистичное имитационное моделирование различных инженерных компонентов, например, работу силовой передачи, гидравлики, подвески и электрических составляющих. Он специально рассчитан на расширенное моделирование комплексных мультифизических систем (для автомобилей, аэрокосмоса, робототехники и энергетики) и обеспечивает ускоренное проектирование и проверку с получением более качественных изделий.

CATIA Systems Control Logic Modeling

CATIA Systems Control Logic Modeling предоставляет формальную модель и единую платформу для имитационного моделирования логического состояния или динамических характеристик. Неформальные модели не подходят для управления параллельными системами или моделирования многопрофильных подсистем.

CATIA Systems Control & Logic Modeling предлагает формальную модель, которая подходит для управления параллельными системами, вместе с платформой для смешанного, многопрофильного имитационного моделирования. В основу положен формальный язык, который делает возможным генерацию детерминированного поведения. Помимо этого в комплект входит полноценный набор редакторов (grafcet, statechart, dataflow) и основных функций, включая быстрое повторное использование компонентов  или динамическое расположение различных объектов.

CATIA Systems Logic Code Generator

CATIA Systems Logic Code Generator позволяет генерировать и управлять логической программой на языке C на основе формального описания программы При самостоятельном написании программам на C не хватает прямой привязки к описанию вложенного кода. Такие программы сложно моделировать и проверять.

CATIA Systems Logic Code Generator предоставляет пользователю возможность генерировать программу для логической схемы управления на основе формального описания программы, созданного средствами CATIA Systems Logic Control Modeling. Такая программа на языке C используется оборудованием, в котором логические схемы управляются с помощью центрального процессора (например, специализированные станки, системы управления самолетами или автомобилями и т.д.). Компилятор построен с использованием развитых технологий, которые применяются в аэрокосмической отрасли, для получения критичного с точки зрения безопасности встроенного программного обеспечения –отличительными чертами полученного кода являются эффективность, прослеживаемость, модульность и надежность. CATIA Systems C Code Generator позволяет разработчикам систем автоматически описывать, моделировать и генерировать надежный код на языке C для любых систем управления.