Моделирование и анализ систем реального времени и встроенных систем - Modeling and Analysis of Real Time and Embedded systems

Моделирование и анализ систем реального времени и встроенных систем^[1] также известен как МАРТ это О, мой бог стандарт для моделирования в реальном времени и встроенный приложения с UML2.

Описание

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

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

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

Ядро

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

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

Заметки

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

Эта Единый язык моделирования статья - это заглушка. Вы можете помочь Википедии расширяя это.

[1] ttp://www.omgmarte.org В архиве 2014-02-09 в Wayback Machine

[2] "МАРТЕ". Архивировано из оригинал 19 ноября 2015 г.. Получено 2 ноября 2016.

[3] "Папирус". Получено 2 ноября 2016.

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

[1]

[2]

[3]

[4]