Χαροκόπειο Πανεπιστήμιο Προσομοίωση SysML Μοντέλων μέσω DEVS Γεώργιος-Δημήτριος Κάπος

Transcript

1 Χαροκόπειο Πανεπιστήμιο Προσομοίωση SysML Μοντέλων μέσω DEVS Γεώργιος-Δημήτριος Κάπος

2 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

3 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

4 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

5 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)

6 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

7 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

8 SysML Simulation models: Approach

9 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

10 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

11 Simulation Meta-Models: DEVS

12 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

13 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

14 DEVS Profile for SysML

15 DEVS Profile for SysML Structural resemblance between DEVS and SysML Block Definition (bdd) and Internal Block (ibd) Diagrams

16 DEVS Profile for SysML Utilization of bdd, Activity (act), Parametric (par) and State Machine (stm) SysML diagrams to define DEVS components behavior

17 DEVS SysML DEVS: Conceptual Mapping

18 SysML Profile for EIS EIS Profile Design EIS solutions Emphasis on NFR specification Evaluation view of specific solution Software architecture Hardware architecture

19 SysML Profile for EIS: HW Architecture

20 SysML Profile for EIS: Atomic Network

21 EIS DEVS: Conceptual Mapping Identification of respective model elements Definition of specific preconditions in each mapping

22 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

23 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

24 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

25 Systems Engineer

26 Systems Engineer

27 Systems Engineer

28 Systems Engineer

29 Systems Engineer

30 Systems Engineer

31 Systems Engineer

32 Systems Engineer

33 Systems Engineer

34 (Systems Engineer)

35 Systems Engineer in MBSE System Model

36 Standards Supporting MBSE SysML

37 Standards Supporting MBSE SysML + Profiles

38 Standards Supporting MBSE SysML + Profiles MOF

39 Standards Supporting MBSE SysML + Profiles QVT MOF

40 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

41 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

42 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

43 References Third International Conference on Software Engineering Advances (ICSEA 2008), Sliema, Μάλτα, Οκτωβρίου 2008, "A SysML Profile for Classical DEVS Simulators", Μ. Νικολαΐδου, Β. Δαλάκας, Λ. Μήτση, Γ.-Δ. Κάπος, Δ. Αναγνωστόπουλος 7th International Conference on Systems of Systems Engineering (IEEE SOSE 2012), Γένοβα, Ιταλία, Ιουλίου 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, Web. 1 Jul doi: / , Κεφάλαιο 10. An Integrated Framework to Simulate SysML Models Using DEVS Simulators, Γ.- Δ. Κάπος, Β. Δαλάκας, Μ. Νικολαΐδου, Δ. Αναγνωστόπουλος, (pages ) 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, σελ , An Integrated Framework for Automated Simulation of SysML Models using DEVS, Γ.-Δ. Κάπος, Β. Δαλάκας, Μ. Νικολαΐδου, Δ. Αναγνωστόπουλος.

44 Questions & Discussion