Budapest University of Technology and Economics, Faculty of Electrical Engineering and Informatics

    Belépés
    címtáras azonosítással
    vissza a tantárgylistához   nyomtatható verzió    

    System Modeling

    A tantárgy neve magyarul / Name of the subject in Hungarian: Rendszermodellezés

    Last updated: 2022. augusztus 30.

    Budapest University of Technology and Economics
    Faculty of Electrical Engineering and Informatics     		BSc
    Course ID Semester Assessment Credit Tantárgyfélév
    VIMIAD03   2/0/2/f 5  
    3. Course coordinator and department Dr. Molnár Vince,
    4. Instructors

    Dr. Molnár Vince, egyetemi adjunktus, MIT

    Dr. Micskei Zoltán, egyetemi docens, MIT
    5. Required knowledge

    Before taking this subject, the student shall be able to

    • (K3) apply different diagrams of the UML modeling language to software modeling problems
    • (K2) explain the typical steps of software development
    • (K1) enumerate fundamental technologies of verification and validation
    6. Pre-requisites
    Kötelező:
    ( (EgyenCsoportTagja("2014_tanterv_hallgatoi_info") VAGY
    EgyenCsoportTagja("Kreditpótlás_2023/24/2") VAGY
    EgyenCsoportTagja("2014_tanterv_hallgatoi_info_eng") )
    ÉS
    NEM TárgyTeljesítve_Képzésen("BMEVIMIAD03"))

    VAGY

    ((Szakirany("AMIN22-INFREND/ETT", _) VAGY
    Szakirany("AMIN22-INFREND/SZIT", _) VAGY
    Szakirany("AMIN22-INFREND/TMIT", _) VAGY

    Szakirany("AMIN22-INTHÁL/HIT", _) VAGY

    Szakirany("AMIN22-INTHÁL/HVT", _) VAGY

    Szakirany("AMIN22-INTHÁL/TMIT", _) VAGY
    Szakirany("AMIN22-SZOFTFEJL/AUT", _) VAGY

    Szakirany("AMIN22-SZOFTFEJL/IIT", _) VAGY
    Szakirany("AMINrendsztervAUT", _) VAGY
    Szakirany("AMINrendsztervIIT", _) VAGY
    Szakirany("AMINrendsztervMIT", _) VAGY

    Szakirany("AMIN22-SZOFTFEJL/MIT", _))


    ÉS

    (Training.Code=("5N-A8") VAGY Training.Code=("5NAA8")) )

    A fenti forma a Neptun sajátja, ezen technikai okokból nem változtattunk.

    A kötelező előtanulmányi rend az adott szak honlapján és képzési programjában található.

    7. Objectives, learning outcomes and obtained knowledge The aim of the subject is to present modern design and modeling methodologies and techniques for complex information systems. Today's critical, embedded information systems are mostly realized by software, but the design of such software must consider the physical components and environment of the system. The design of such systems is therefore an interdisciplinary task, in which aspects of information technology are not limited to producing software components, but also include supporting the design process as a whole. The subject lays the foundations for the necessary competencies through the introduction of the platform-based system design methodology, the SysML modeling language, a modern design tool, and numerous analysis techniques (simulation, dependability- and performance-analysis, verification, and validation). Skills and knowledge provided by the subject are widely used in e.g., the automotive, railway, and aerospace industries.
    8. Synopsis

    Week

    Topic

    1.

    (L) Characteristics of critical, embedded systems. Foundations of system design (V-model, platform-driven system design), differences compared to software design, overview of the SysML language.
    (P) recap of models known from UML. Introduction to design tool through UML models.

    2.

    (L) Basics of requirement modeling, SysML Requirements Diagram. Modeling and analysis of functional and extra-functional requirements. The concept of traceability.
    (P) Modeling requirements in SysML (in a design tool).

    3.

    (L) Structure modeling in systems design, top-down and bottom-up methodologies, structural models in SysML (BDD, IBD). Architecture and logical component design. Building from functional blocks.
    (P) Interface- and datatype-design. Communication paths between components. Structure modeling in SysML (in a design tool).

    4.

    (L) Foundations of fault-tolerance: error, fault, failure, reliability vs. availability, basics of related standards, the concept of safety integrity levels, types and roles of redundancy, design patterns in critical systems.
    (P) Applying the foundations of dependability on design patterns. Modeling aspects of dependability in design tools.

    5.

    (L) Qualitative and quantitative evaluation of dependability: risk analysis, fault-tree, failure-mode and effects analysis (FMEA), reliability analysis, the concept and mitigation of single points of failure.
    (P) Fault-tree and reliability analyses. Automated analysis of dependability in a design tool.

    6.

    (L) Process-based behavior models: data-flow models and their applications, SysML Activity Diagram.
    (P) Modeling with activity diagrams. Modeling activity diagrams in SysML (in a design tool).

    7.

    (L) Reactive systems: state machines and their applications, the SysML State Machine Diagram.
    (P) Modeling with state machines. Modeling state machines in SysML (in a design tool)

    8.

    (L) Inter-component communication, scenarios and their applications, the SysML Sequence Diagram, relations between behavior models.
    (P) Modeling with sequence diagrams. Modeling sequence diagrams in SysML (in a design tool), connecting different behavior models.

    9.

    E) Semantics of behavior models, simulation. Semantic variation points. Types and limitations of simulation.
    (P) Evaluating behavior models. Usage of simulation tools.

    10.

    (L) Basic concepts of performance modeling (throughput and maximum throughput, bottleneck and its mitigation)
    (P) System-level performance analysis. Evaluation of performance with simulation, benchmarking.

    11.

    (L) Platform-based system design: detailed design steps, platform modeling, allocation, variant-management (product-line engineering).
    (P) Platform-modeling, variant-modeling. Modeling allocation and traceability in SysML (in a design tool).

    12.

    (L) Trade-off analysis, system verification and validation. Testing on different levels (SIL, HIL, PIL), model-based test design.
    (P) Model-based test design techniques. Modeling tests in SysML (in a design tool), simulation-based testing.

    13.

    (L) Novelties of SysMLv2 compared to SysMLv1 (basic concepts, structure and behavior modeling).
    (P) Modeling methodologies in SysMLv2. Using SysMLv2 in a cloud environment.

    14.

    (L) Novelties of SysMLv2 compared to SysMLv1 (requirements, analysis and verification cases, modeling of occurrences, semantics).
    (P) Interpreting executions of SysMLv2 models. Using SysMLv2 in Eclipse, simulation.
    9. Method of instruction Lecture and practical exercises
    10. Assessment

    To obtain a mid-term grade students have to complete

    • 1 mid-term exam
    • a team assignment based on the material of the subject.
    Mid-term grade is based on the mid-term exam (30%) and the assignment (70%).
    11. Recaps

    Home assignment can be submitted late in one week after the original deadline.

    Mid-term exam can be retaken once.
    12. Consultations Pre-arranged with the instructor.
    13. References, textbooks and resources
    • Slides and materials on the course website
    • Tim Weilkiens: Systems Engineering with SysML/UML: Modeling, Analysis, Design. Morgan Kaufmann, 2008.
    • Sanford Friedenthal, Alan Moore, and Rick Steiner: A Practical Guide to SysML: The Systems Modeling Language , Second Edition,   Morgan Kaufmann, 2011.
    • Kramer, A., Legeard, B.: Model-Based Testing Essentials. Wiley (2016)
    14. Required learning hours and assignment
    Kontakt óra56
    Félévközi készülés órákra6+14
    Felkészülés zárthelyire24
    Házi feladat elkészítése40
    Kijelölt írásos tananyag elsajátítása14
    Vizsgafelkészülés0
    Összesen150
    15. Syllabus prepared by

    Dr. Molnár Vince, egyetemi adjunktus, MIT

    Dr. Micskei Zoltán, egyetemi docens, MIT