Software-intensive systems, in which a considerable fraction of the system development efforts is dedicated to the development of embedded software, are often regarded as the most important software engineering field in the years to come. They are expected to be one key factor of success for many industries such as, for example, the automotive sector, transportation, or medical devices. As today technical systems also become connected to each other using network technology, we no longer only have technical systems which are controlled by isolated operating embedded software. Instead, the software may include complex information processing capabilities and the coordination between the different technical systems via networks taking hard real-time constraints into account.
Motivation, Examples | 01:33:54 | |
---|---|---|
Organization | 00:13:32 | |
Outline | 00:08:15 | |
Motivation | 00:31:28 | |
Example | 00:23:53 | |
Movie | 00:00:00 |
System Characteristics | 01:12:15 | |
---|---|---|
System Characteristics | 00:24:22 | |
Involved Disciplines | 00:11:44 | |
Application Domains | 00:31:12 | |
Discussion and Summary | 00:05:46 |
Specification & Models | 01:37:24 | |
---|---|---|
Overview | 00:00:00 | |
Terminology | 00:00:00 | |
Model Types | 00:00:00 | |
Model Semantics | 00:00:00 | |
Model Properties | 00:00:00 | |
Specifications | 00:00:00 |
Fault Tolerance | 01:37:37 | |
---|---|---|
Faults, Errors and Failures | 00:00:00 | |
Classification of Faults | 00:00:00 | |
Fault Models | 00:00:00 | |
Principles of Fault-Tolerance | 00:00:00 | |
Fault-Tolerance and Redundancy | 00:00:00 | |
Fault-Tolerance and Redundancy | 00:00:00 |
Reliability Modeling | 01:34:00 | |
---|---|---|
Systematic and Application-specific FT | 00:00:00 | |
Summary | 00:00:00 | |
Reliability Modeling | 00:00:00 | |
Probabilistic Structural Based Modeling | 00:00:00 | |
Active Redundancy | 00:00:00 | |
Markov Models | 00:00:00 |
Reliability Modeling | 01:39:53 | |
---|---|---|
Markov Models | 00:00:00 | |
Safety of a TMR system | 00:00:00 | |
Generalized Stochastic Petri Nets | 00:00:00 | |
Petri Net Example - Modeling | 00:00:00 | |
Comparison of propabilistic Techniques | 00:00:00 |
Software Engineering Life Cycle Models | 01:19:32 | |
---|---|---|
Introduction | 00:00:00 | |
Software Engineering Life Cycle Models | 00:00:00 | |
System Engineering Life Cycle Models | 00:00:00 | |
Embedded Systems Life Cycle Models | 00:00:00 | |
Advanced Life Cycle Models and MDD | 00:00:00 |
Requirements Engineering | 01:31:39 | |
---|---|---|
Systems Proguct Lifecycle | 00:00:00 | |
Discussion and Summary | 00:00:00 | |
Importance of Requirements | 00:00:00 | |
Enquirement Priority | 00:00:00 | |
System vs. Software | 00:00:00 | |
Uncovered Knowledge | 00:00:00 |
Requirements Specification | 01:27:42 | |
---|---|---|
Requirements Engineering | 00:00:00 | |
Requirement Specification | 00:00:00 | |
Approach SysML | 00:00:00 | |
Sample Problem | 00:00:00 | |
Derived Requirements | 00:00:00 |
Approach: Goal-oriented | 01:33:28 | |
---|---|---|
Conceptualising Systems Using Goals | 00:00:00 | |
Hazard Analysis | 00:00:00 | |
Identification of Lower-Level Events | 00:00:00 | |
Risk Analysis | 00:00:00 | |
Risk Classification | 00:00:00 | |
Requirement Specification | 00:00:00 |
Introduction | 01:31:02 | |
---|---|---|
Completeness | 00:00:00 | |
Reliability and Availability | 00:00:00 | |
Reliabilty Metrics | 00:00:00 | |
Summary | 00:00:00 | |
Introduction | 00:00:00 | |
Design Principles | 00:00:00 |
Analysis with SysML | 01:32:20 | |
---|---|---|
Example Power Subsystem | 00:07:59 | |
Parametric Constraint Diagram | 00:16:35 | |
Activity Diagrams | 00:25:11 | |
Analysis vs. Design | 00:08:40 | |
State Machine Diagram | 00:03:55 | |
Allocation Diagrams | 00:09:17 | |
Formalization | 00:22:06 |
Advanced Design Concepts | 01:27:13 | |
---|---|---|
Software Pattern | 00:18:59 | |
Software Architecture | 00:15:46 | |
AUTOSAR Project Objectives | 00:17:51 | |
Real-Time Broker Pattern | 00:04:40 | |
Toolkits & Frameworks | 00:10:41 | |
AUTOSAR Project Objectives | 00:18:22 | |
Einführung | 00:02:23 |
Design and Fault Tolerance | 01:10:21 | |
---|---|---|
Design & Fault Tolerance | 00:10:15 | |
Recovery Blocks | 00:10:39 | |
N-Version Programming | 00:13:13 | |
N-Version Programming-Discussion | 00:17:36 | |
N self-checking programming | 00:06:44 | |
Replication | 00:13:12 |
Architectural Design | 01:22:57 | |
---|---|---|
Design and Safety | 00:02:48 | |
Architectural Design | 00:21:05 | |
Software Isolation | 00:13:24 | |
Design Guided by Hazard Analysis | 00:11:48 | |
Types of Design Techniques | 00:24:53 | |
Elimination of Specific Human Errors | 00:10:09 |
Hazard Reduction | 01:40:49 | |
---|---|---|
Hazard Reduction | 00:06:29 | |
Safeguards | 00:17:25 | |
Watchdog | 00:12:33 | |
Barries | 00:17:23 | |
Redundancy | 00:20:45 | |
Fail Safe Design | 00:13:53 | |
Damage Minimization | 00:13:49 |
Manual Coding | 01:33:31 | |
---|---|---|
Introduction | 00:03:20 | |
Requirements | 00:19:33 | |
Basic Concepts | 00:15:08 | |
Manual Coding | 00:16:17 | |
Language Comparison | 00:19:07 | |
Coding Patterns | 00:12:45 | |
Real Time State Pattern | 00:08:44 |
Synchronization | 01:35:44 | |
---|---|---|
Synchronization | 00:15:09 | |
Rendezvous | 00:09:55 | |
Static Allocation | 00:14:05 | |
Euler Method | 00:15:20 | |
The Synchronous Approach | 00:21:57 | |
Captain-Oates Strategy | 00:00:00 | |
Discussion | 00:11:33 |
MDD & MDA | 01:16:54 | |
---|---|---|
MDD & MDA | 00:08:34 | |
Requirements | 00:26:13 | |
Discussion & Summary | 00:10:47 | |
Foundations | 00:08:25 | |
Quality Control | 00:12:33 | |
Hazard Analysis | 00:11:35 |
Hazard Analysis | 01:33:54 | |
---|---|---|
Hazard Analysis | 00:14:52 | |
Modeling | 00:26:42 | |
Modelchecking | 00:21:47 | |
Property Specification Problem | 00:23:59 | |
Discussion & Summary | 00:04:20 | |
Outlook | 00:12:15 |
State-of-the Art Techniken | 01:27:40 | |
---|---|---|
Vorstellung | 00:03:58 | |
Software im Automobil | 00:16:21 | |
Beispiel Kilometerzähler | 00:20:02 | |
Simulation am Modell | 00:16:04 | |
Testen | 00:11:55 | |
Code Review | 00:20:31 |