DANSE — различия между версиями

м (Программное обеспечение)
Строка 12: Строка 12:
 
* '''PLASMA''' (INRIA), which provide the ability to perform statistical model checking on the simulation results against defined goals and contracts.
 
* '''PLASMA''' (INRIA), which provide the ability to perform statistical model checking on the simulation results against defined goals and contracts.
  
=== Семантическое преобразование и интеграция ===
+
=== Семантическое согласование и интеграция ===
 
* '''Tool-Net Semantic Mediation Container''' (SMC) based on Jazz (IBM), which provides the semantic mediation and connection of the models in different tools.
 
* '''Tool-Net Semantic Mediation Container''' (SMC) based on Jazz (IBM), which provides the semantic mediation and connection of the models in different tools.
  

Версия 16:11, 18 июля 2016

DANSE (Designing for Adaptability and evolutioN in System of systems Engineering) - исследовательский проект, целью которого является разработка новой методологии для работы с изменяющимися, адаптивными и итеративными моделями жизненного цикла 'систем систем(SoS, System of Systems).

Методология

Последняя версия DANSE Methodology V03 - от 8.02.2015

Программное обеспечение

ПО для моделирования SoS

  • Rhapsody (IBM) for modeling of SoS architectures using the Unified Profile for MoDAF and DoDAF (UPDM).

Симуляция соединения и утилиты для анализа

  • Desyre (ALES), which provides the ability to perform joint simulation of multiple executable models based on Functional Mock-up Interface (FMI) standards using Functional Mock-up Units (FMU).
  • PLASMA (INRIA), which provide the ability to perform statistical model checking on the simulation results against defined goals and contracts.

Семантическое согласование и интеграция

  • Tool-Net Semantic Mediation Container (SMC) based on Jazz (IBM), which provides the semantic mediation and connection of the models in different tools.

См. также

  • MDA (Model-driven architecture)
  • GCSL (Goals and Contracts Specification Language)