SoS Modeling Tool for Simulation

Background

To analyze and design an SoS, model-based approaches are generally used as SoS engineering activities. For the model-based engineering, both input and intermediate models should be systematically generated. <SIMVA-SoS Modeler> is a modeling tool for conceptually designing SoS and its component objects such as organizations, CSs, infrastructure, environment, and so on. This tool is developed based on ADOxx metamodeling platform, which supports modeling language development by providing a meta-modeling framework. Based on M2SoS (Meta-model for SoS, See M2SoS page), we developed several model types to represent a target SoS and its components.

In <SIMVA-SoS Modeler>, 6 major model types are included as follows (Find more information in Modeling Language Development page).

  • Integration Model: This model integrates component entities of an SoS, and this model is basically constructed by referencing model instances of other model types.
  • Goal Decomposition Model: This model defines requirements, tasks, services based on SoS-level common goals.
  • Organization Model: This model defines an organization and its components (i.e., constituent systems), and this model also includes organization-level components such as contracts, roles, goals, tasks.
  • CS Capability Model: This model represents a single CS and its features to be used for SoS integration. Thus, CS-level capability is the most important class of CS Capability Model, and CS-level resource, knowledge are also included.
  • SoS Environment Model: This model represents an SoS-level environment comprising of several environmental elements.
  • SoS Infrastructure Model: This model represents infrastructure services and resources to be used or accessed by SoS components.

Since this tool is developed based on ADOxx meta-modeling platform, the ADOxx modeling toolkit should be installed to use a library of <SIMVA-SoS Modeler>. Detailed installation and user guide are included in next sections.

 

Tool Overview: SIMVA-SoS Modeler (Prototype)

  • User Interface

  • Tool Features: SIMVA-SoS Modeler and SIMVA-SoS
    • SIMVA-SoS Modeler generates input models and specifications on user’s local device.
      • Input models: SoS system models, SoS environment model
      • Input specifications (not implemented in prototype version): Verification properties, Policy specifications, Simulation scenario specification
    • SIMVA-SoS Modeler contains predefined classes to represent an SoS conceptually.
      • Based on predefined classes, SIMVA-SoS Modeler can check correctness and completeness of input models for simulation model generation (used in SIMVA-SoS).
    • SIMVA-SoS reads, interprets, and transforms input models.
      • XML parser reads and interprets input XML files.
      • Java code generator transforms input models into simulatable Java code using predefined classes in SIMVA-SoS.
    • SIMVA-SoS displays information of imported input files.
    • SIMVA-SoS supports re-importation of input files.
    • SIMVA-SoS shows runtime status of model objects during simulation.

 

 

Opensource Library

You can download ABL (ADOxx library) file and import it to your ADOxx meta-modeling platform.

There is no specific license/restriction to change definitions of (meta) models and classes.

No Library (ABL file) Version File
1 SIMVASoS_Modeler_Prototype_v0.8_abl v0.8 Deprecated
2 SIMVASoS_Modeler_Prototype_v0.9_abl v0.9 Download

 

Installation Guide & User Manual

(1) You can install ADOxx Meta-modeling platform, following the document below.

 

(2) You can download/modify SIMVA-SoS Modeler (Prototype) here.

 

A. SIMVA-SoS Modeler Overview

 

B. Make a model instance or a model group

C. Check created models and modeling panel

 

D. Update attributes of a class object using ‘Notebook’

 

E. Reference other model instances (in <Integration Model>)

 

F. Model a model type using defined classes and relationclasses

 

G. Check modeling results: Graphical mode, Table mode

 

H. Export modeling results as graphics or XML/ADL