K-INFO
HU
EN
Login
Subject » BMEVIMIAA00
Older versions Download TAD (PDF)

System Modeling

Rendszermodellezés
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
—
Subject name (Hungarian, English)
Rendszermodellezés
System Modeling
Subject code BMEVIMIAA00
Subject type —
Training Level —
Course types and hours (weekly/semester)
Course type lecture tutorial laboratory
hours (weekly) 2 1 0
type (linked/independent) — derived course —
Assessment type félévközi érdemjegy
Credits 4
Subject coordinator
DR. Gönczy László
position: egyetemi docens
Responsible department
Mesterséges Intelligencia és Rendszertervezés Tanszék
Faculty Villamosmérnöki és Informatikai Kar
Subject website —
Primary curriculum type —
Direct prerequisites – Strong prerequisite none
Direct prerequisites – Weak prerequisite none
Direct prerequisites – Parallel prerequisite none
Direct prerequisites – Milestone prerequisite none
Direct prerequisites – Exclusion none

Objectives

Programme

1st-2nd weeks: Foundations of Modeling

Goals: basic concepts and context

Basic concepts: aim of the modeling; application of the models in system design; textual, graphical and formal specification; initial model development, requirements, design, analysis, configuration models; syntax and semantics of models. Basic modeling steps, model refinement; multi-aspect modeling; Concepts and roles of hierarchy and taxonomy in system modeling. Complexity handling; hierarchical modeling, abstraction.

Tool: MindMap modeller


3rd-4th weeks: Structural models, data modeling

Meta-models and the connections of models; concept/instance relations, inheritance, polymorphism, criteria of model correctness, type correctness, instantiations/subclasses,

transitive relations.

Tools: MindMap modeller + spreadsheet


5th-6th weeks State based modeling

State graphs, state maps; hierarchy modeling, concurrency handling. Concepts of message handling and message queue; deterministic/non-deterministic modeling

Tool: simple state chart tool


7th-8th weeks: Behavior models (state/sequence/protocol)

Discrete Event System Specification (DEVS) approach. Dataflow modeling; process model; sequence/trace model; timing diagram; Application areas: protocol definition, test cases; scenarios. Intuition behind model checking

Tool: DEVS tools


9th-10th weeks: Model development

Event/process modeling, concept of timing. Foundations of simulations. Testing/fixing models, basic completeness/correctness checking. Parameter tuning, iterative modeling. Formulation of structural and behavioral constraints (e.g.: invariants). Usage of benchmarks. querying data, log analysis, experiment design. Resource consumption of processes. QoS, extra-functional aspects

Tools: simple simulator


11th week: Exploratory (Visual) Data Analysis and model development

Purpose/tools of the exploratory data analysis, basic statistical concepts. Evaluation of measurements and its connection to system modeling. Transition between qualitative and quantitative models. Explanation of how to incorporate results of the visual data exploration into high level system model.

Tools: Drag and Drop EDA tool



12th-13th weeks: Quantitative analysis, performance modeling

Concepts of performance models. Interpretation of simulational results. Areas of applications: performance benchmarks, software tuning, system deployment design.


14th week: Advanced topics: constructive modeling, code generation, development methods

General and domain specific languages. Executable languages, fUML, Alf. Meaning of semantics, demonstration through examples (code generation by Yakindu).

Usage of domain models/domain modeling languages. Elements of a domain modeling language; role of its domain specific support; UML profiles.

DSE examples: Verilog, Matlab. Design environments, development support (validation, code generation, design tools, model management,persistency, etc.). Design patterns. Rule based models. Inference, forms of the rules, application domains (business, monitoring, etc.). Rule development, decision tables.

 

Content of the seminars:


The participants will complete (computer based or paper/pencil) exercises in various topics.

From textual specification to models: modeling, model refinement, documentation of requirements. Data schema design. State-space modeling, completion of complex , dynamic system models.


Model development, static and dynamic checking, introduction of simulation.

Performance analysis with analytical models, Usage of exploratory Data Analysis in performance analysis


These lectures also provide opportunity to ask questions in connection with the home assignment. 

The course overviews the design process of IT systems in a model based approach. The goal of this course to provide solid understanding on the basic modeling tasks and tools, which are important prerequisite for other courses including application specific modeling. (e.g.) Additionally the course provides opportunity to experiment with conceptually straightforward and easy to learn tool, which can be use for simple application logic development. The participants of the course will learn the basic concepts and modeling aspects of high level, graphical tool supported, process centric modeling, verification, performance analysis and service quality assurance. The course builds on learning experience at digital technology course and you can build competence in systematic system design process. Participants will also gain experience in the process of implementing IT system through the steps of modelling exercises. Finally, they get an overview of simulation based system analysis and visual data analysis of measurement results. The didactical goal of the course to improve the abstraction skill of the participants and lay the foundations of the upcoming courses on conceptual and motivational level. The participant of the course who pass the requirement will: learn the process of model development and the foundations of model based design, be able to adequately formulate requirements, modeling the operational environment and architecture of an IT system, gain experience in simulation based verification of discrete systems, be able to localize bottlenecks and perform comparative analysis of possible solutions, get an overview about practical measurement technique in computer systems, be able to develop simple application in a model driven way with the help of code generation.

Learning outcomes

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Knowledge

No learning outcomes recorded.

Skills

No learning outcomes recorded.

Attitudes

No learning outcomes recorded.

Autonomy and responsibility

No learning outcomes recorded.

Oktatási módszertan

14 lectures (1,5 h/each) and 7 small group hands-on training (1,5h/each)

Tanulástámogató anyagok

Online források
The home page of the course provide supporting materials. (http://www.inf.mit.bme.hu/edu/courses/remo/). The materials beside the annotated slides contain textual or video-based tutorials for the tools.; References:; D. A. Menasce: Capacity Planning for Web Services: metrics, models, and methods, Prentice Hall, 2002.; A. Pataricza, A. Balogh, L. Gönczy: Verification and validation non-functional aspects in enterprise modeling, in Peter Rittgen (Szerk.:): Enterprise Modeling and Computing with UML. Idea Group, 2006.; B. Braswell, M. Siegel, L. G. Wu: High Available Architectures and Capacity Planning…, IBM Redbook SG24-7184-01, ISBN- 0738489751, 2006.; M. Theus, S. Urbanek, Interactive Graphics for Data Analysis Principles and Examples, (Chapman & Hall/CRC Computer Science & Data Analysis), ISBN-13: 978-1584885948, 2008.

Recommended preliminary knowledge for completing the subject

Knowledge type competencies
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
Finite State Machine related concepts, Boole-algebra, foundations of programming, data structures, structured documentation
Skill type competencies
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Recommended (non-compulsory) preliminary competencies
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
Finite State Machine related concepts, Boole-algebra, foundations of programming, data structures, structured documentation
General rules
Requirements: In the term: one mid-term exam and an assignment In the exam period: - The requirements of the signature is the successful completion of the in-class test (including re-take exam) and the successful completion of the home assignment. Optionally additional assignments (offered by the lecturers) can be taken. The final grade is calculated from the weighted grades of the in-class test and the home assignment. Additional possibilities: There will be re-take possibility of the in-class test: one opportunity during the lecture term or one in the repeat period. The home assignment can be also re-submitted during the repeat period. The re-take of the in-class test or the home assignment costs special charge.
Assessment methods
In-term assessments

No detailed assessments provided.

Weight of in-term assessments

No weights provided.

Exam-period assessments

No detailed assessments provided.

Weight of exam elements

No weights provided.

Grade calculation

No grade thresholds provided.

Attendance requirements

No attendance requirements provided.

Rules for retake and resubmission

Not provided.

Short description

Not provided.

Detailed description

Not provided.

Recommended courses
Recommended: Basics of Programming 1., Basics of Digital Design
Workload to complete the subject

No workload breakdown provided.

Validity of subject requirements
Requirements valid from:
—
Requirements valid until:
—
Curriculum placement

No curriculum placements recorded for this subject version.