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.

Week

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.