Χαροκόπειο Πανεπιστήμιο Προσομοίωση SysML Μοντέλων μέσω DEVS Γεώργιος-Δημήτριος Κάπος
Outline Scope Transforming SysML models to Simulation models Simulation-specific meta-models Enriched SysML models Domain specific SysML models Model Transformations with QVT Systems Engineering Perspective Conclusions - Future work
Scope Systems behavior estimation Utilize system models Derive simulation models Execute simulation (DEVS) Satisfying a set of requirements Application/representation genericity Simulation results accuracy Overall process simplification and facilitation
Scope Model-based System Engineering (MBSE) Central system model for all activities Design, validation, integration, operation,... SysML: General purpose language by OMG System model validation with simulation No standard way to simulate SysML models Diverse simulation frameworks Diverse application domains How to derive simulation models and simulation execution parameters from central system models Custom techniques Model transformation
Scope Model-Driven Architecture (MDA) Separation of: System functionality in Platform-Independent Models (PIM) and Implementation details in Platform-Specific Models (PSM) Common way to define model specifications: Meta-Object Facility (MOF) Standard model transformation language: Query/View/Transform (QVT)
SysML Simulation models: MDA Single System Model Reference point for all activities Activity-specific Declarative Models Activity-specific Executable Models Model-to-model Transitions with Transformations
SysML Simulation models: Approach Proposed Methodology that provides: automated system model validation via simulation a single user interface: the system modeling tool Performed in 4 steps: System model enrichment with simulation properties Generation of simulation model Simulation execution Simulation results incorporation in system model
SysML Simulation models: Approach
SysML Simulation Models: Issues Resolved Simulation properties incorporated in system models via appropriate profiles All simulation related info in the original system model No progressive construction of simulation code Automated simulation code generation MDA provides powerful, high-level transformation specification languages: QVT Such features require a MOF simulation metamodel
Simulation Meta-Models: Layers MOF is the common infrastructure for defining metamodels, enabling standard transformation Meta-models: UML meta-model with SysML and Simulation profile Simulation meta-model Higher level: System and Simulation models
Simulation Meta-Models: DEVS
Simulation Meta-Models: Issues Simulation Meta-models can be the points of reference for each simulation framework Simulator interoperability is promoted MOF-based simulation meta-models enable the usage of standard model transformation tools Despite its potential, standardization of simulation-specific meta-models is not mature yet
Simulation Information in System Model Solutions proposed and implemented: Use DEVS profile for SysML to enrich any system model Utilize applied domain-specific SysML profile
DEVS Profile for SysML
DEVS Profile for SysML Structural resemblance between DEVS and SysML Block Definition (bdd) and Internal Block (ibd) Diagrams
DEVS Profile for SysML Utilization of bdd, Activity (act), Parametric (par) and State Machine (stm) SysML diagrams to define DEVS components behavior
DEVS SysML DEVS: Conceptual Mapping
SysML Profile for EIS EIS Profile Design EIS solutions Emphasis on NFR specification Evaluation view of specific solution Software architecture Hardware architecture
SysML Profile for EIS: HW Architecture
SysML Profile for EIS: Atomic Network
EIS DEVS: Conceptual Mapping Identification of respective model elements Definition of specific preconditions in each mapping
QVT: Imperative Relational Approach A QVT relation consists of: the source and target meta-model domains (UML and DEVS) the when clause, defining the preconditions that must hold so that the relation is applied the where clause indicating relations that should be applied if this relation is valid Benefits: Elimination of syntactic errors Reduction of logical errors
QVT: Features Profiles/Stereotype handling: Model elements are simply checked Tagged values are simply retrieved Simple sets and collections of elements/values handling OCL declarative set operators (select, any, forall) can be utilized Operational characteristics are available
QVT: Usability Seems ideal for transformations between MOF-based meta-models Difficulties in defining transformations: Graphical notation cannot be used effectively for large transformations with complex checks Requires acquaintance with OCL Several tools with inadequate documentation Once defined it is used without user interference
Systems Engineer
Systems Engineer
Systems Engineer
Systems Engineer
Systems Engineer
Systems Engineer
Systems Engineer
Systems Engineer
Systems Engineer
(Systems Engineer)
Systems Engineer in MBSE System Model
Standards Supporting MBSE SysML
Standards Supporting MBSE SysML + Profiles
Standards Supporting MBSE SysML + Profiles MOF
Standards Supporting MBSE SysML + Profiles QVT MOF
Contribution Simulation of SysML models Utilization of sound simulation formalisms (DEVS) for system models validation Methodology for applying the approach in diverse domains, using diverse tools and with diverse simulation frameworks Evaluation activity enhancement (simplification, automation, correctness) DEVS SysML profile DEVS MOF Metamodel SysML to DEVS QVT Transformation
Conclusions System Model Validation can be enhanced when performed, using MDA QVT is a powerful transformation language Allows declarative definition of transformations Utilises the contexts of MOF-based metamodels Simulation-specific MOF meta-model is a key issue, enabling: QVT usage Integration with SysML Practical benefit to full extend: only if the Systems Engineering community goes MBSE
Future Work Application in other domains Organization of existing and new metamodels for various simulation frameworks in a usable library Study on interoperability and combined use of diverse simulation frameworks Vision of common SysML simulation profile
References Third International Conference on Software Engineering Advances (ICSEA 2008), Sliema, Μάλτα, 26-31 Οκτωβρίου 2008, "A SysML Profile for Classical DEVS Simulators", Μ. Νικολαΐδου, Β. Δαλάκας, Λ. Μήτση, Γ.-Δ. Κάπος, Δ. Αναγνωστόπουλος 7th International Conference on Systems of Systems Engineering (IEEE SOSE 2012), Γένοβα, Ιταλία, 16-19 Ιουλίου 2012, Basic Guidelines for Simulating SysML Models: An Experience Report, Μ. Νικολαΐδου, Γ.-Δ. Κάπος, Β. Δαλάκας, Δ. Αναγνωστόπουλος Casas, Pau Fonseca i. "Formal Languages for Computer Simulation: Transdisciplinary Models and Applications." IGI Global, 2014. 1-458. Web. 1 Jul. 2013. doi:10.4018/978-1-4666-4369-7, Κεφάλαιο 10. An Integrated Framework to Simulate SysML Models Using DEVS Simulators, Γ.- Δ. Κάπος, Β. Δαλάκας, Μ. Νικολαΐδου, Δ. Αναγνωστόπουλος, (pages 305-332) 8th Annual IEEE International Systems Conference (ΙΕΕΕ SysCon 2014), Οττάβα, Καναδάς, 31 Μαρτίου-3 Απριλίου 2014, Model-based System Engineering using SysML: Deriving Executable Simulation Models with QVT (Best Student Paper Award - Honorable Mention), Γ.-Δ. Κάπος, Β. Δαλάκας, Α. Τσαδίμας, Μ. Νικολαΐδου, Δ. Αναγνωστόπουλος. IEEE 9th International System of Systems Engineering Conference (IEEE SoSE 2014), Αδελαίδα, Αυστραλία, 9-13 Ιουνίου 2014, Integrating Simulation Capabilities into SysML for Enterprise Information System Design, Α. Τσαδίμας, Γ.-Δ. Κάπος, Β. Δαλάκας, Μ. Νικολαΐδου, Δ. Αναγνωστόπουλος Περιοδικό SIMULATION: Transactions of The Society for Modeling and Simulation International, SAGE Publications, Τόμος 90, Τεύχος 6, Ιούνιος 2014, σελ. 717-744, An Integrated Framework for Automated Simulation of SysML Models using DEVS, Γ.-Δ. Κάπος, Β. Δαλάκας, Μ. Νικολαΐδου, Δ. Αναγνωστόπουλος.
Questions & Discussion