Моделирование и анализ систем реального времени и встроенных систем

Моделирование и анализ систем реального времени и встроенных систем ^{[ 1 ]} также известный как MARTE , это стандарт OMG для моделирования приложений реального времени приложений и встроенных с помощью UML2 .

Описание

Язык моделирования UML был расширен консорциумом OMG для поддержки управляемой моделями разработки встроенных приложений и приложений реального времени. Это расширение было определено через профиль UML2 под названием MARTE (Моделирование и анализ систем реального времени и встроенных систем). Он состоит в основном из четырех частей:

базовая структура, определяющая основные концепции, необходимые для поддержки реального времени и встроенной области.
первая специализация (улучшение) этого основного пакета для поддержки чистого моделирования приложений (например, моделирования аппаратных и программных платформ).
вторая специализация (улучшение) этого основного пакета для поддержки количественного анализа моделей UML2, особенно планирования и производительности. анализа
последняя часть объединяет все приложения MARTE, такие как приложение, определяющее текстовый язык для спецификации значений в моделях UML2, и приложение, объединяющее стандартные библиотеки моделей MARTE, предназначенные для моделирования систем RT/E.

Спецификация MARTE общедоступна на веб-сайте OMG. ^{[ 2 ]} два инструмента с открытым исходным кодом В настоящее время доступны для моделирования системы с использованием профиля MARTE: Modelio предоставляет среду моделирования с открытым исходным кодом для разработки моделей UML высокого уровня с использованием профиля MARTE, а также предоставляет рекомендации по использованию профиля MARTE; в то время как реализация с открытым исходным кодом, основанная на Eclipse профиля MARTE, доступна в Papyrus UML . ^{[ 3 ]} Последний работает в подключаемом модуле Eclipse UML2 и в инструменте с открытым исходным кодом для UML2 Papyrus.

Основной

Основная часть MARTE состоит из пяти глав.

CoreElements;
Нефункциональные свойства. В этой главе указаны некоторые обозначения для определения различных видов величин, связанных с физическими величинами: время, масса, энергия;
Время: В этой главе определяется богатая модель времени, которая поддерживает определение как физических, так и логических свойств времени . ^{[ 4 ]} Он поставляется с сопутствующим языком CCSL, определенным как приложение.
Общее моделирование ресурсов. В этой главе предлагаются расширения, необходимые для моделирования общей платформы для выполнения встроенных приложений реального времени;
Моделирование распределения. Наконец, в этой главе определяется понятие распределения для распределения элементов приложения на платформах выполнения. Особое внимание было уделено обеспечению совместимости с SysML . механизмом распределения

Примечания

^ http://www.omgmarte.org. Архивировано 9 февраля 2014 г. на Wayback Machine.
^ «МАРТЭ» . Архивировано из оригинала 19 ноября 2015 года . Проверено 2 ноября 2016 г. .
^ «Папирус» . Проверено 2 ноября 2016 г. .
^ Андре, Шарль; Малле, Фредерик; Де Симона, Роберт (2007). «Время моделирования» (PDF) . Языки и системы инженерного моделирования, управляемые моделями . Конспекты лекций по информатике. Том. 4735. стр. 559–573. дои : 10.1007/978-3-540-75209-7_38 . ISBN 978-3-540-75208-0 . S2CID 32489648 .

Эта об унифицированном языке моделирования статья незавершена . Вы можете помочь Википедии, расширив ее .

[1] ttp://www.omgmarte.org. Архивировано 9 февраля 2014 г. на Wayback Machine.

[2] «МАРТЭ» . Архивировано из оригинала 19 ноября 2015 года . Проверено 2 ноября 2016 г. .

[3] «Папирус» . Проверено 2 ноября 2016 г. .

[4] Андре, Шарль; Малле, Фредерик; Де Симона, Роберт (2007). «Время моделирования» (PDF) . Языки и системы инженерного моделирования, управляемые моделями . Конспекты лекций по информатике. Том. 4735. стр. 559–573. дои : 10.1007/978-3-540-75209-7_38 . ISBN 978-3-540-75208-0 . S2CID 32489648 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]