MBSE with Model Analysis Training in Kraków, Poland

This course provides a comprehensive introduction to Model-Based Systems Engineering (MBSE) with a focus on model analysis techniques. Participants will learn how to apply MBSE principles to system design, verification, and validation, using modeling languages (such as SysML) and tools. The course emphasizes practical skills in building, analyzing, and refining models to improve decision-making, ensure system correctness, and optimize performance across the system lifecycle.

Introduction to MBSE

• What is MBSE? Evolution from document-centric SE

• MBSE frameworks (INCOSE, OMG, DoDAF, etc.)

• Overview of SysML for MBSE

• Case studies of MBSE in industries

Modeling Foundations

• Requirements modeling and traceability

• Structural modeling (Block Definition Diagrams, Internal Block Diagrams)

• Behavioral modeling (Use Case, Activity, State Machine, Sequence diagrams)

• Practical exercises in SysML modeling tool

Model Analysis Techniques

• Consistency and completeness checks

• Traceability analysis (requirements ↔ design ↔ test)

• Behavioral simulation and state analysis

• Parametric modeling and performance analysis

• Hands-on: Running model validation and simulations

Advanced Model Analysis

• Trade-off and decision analysis using models

• Verification & validation with model-based approaches

• Digital twins and real-time model analysis

• Practical exercise: End-to-end system analysis case

Hands-on Exercises

Summary and Conclusion