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.
| Discussion - Exercise 1 | 00:30:41 | |
|---|---|---|
| Automata Model | 00:10:18 | |
| Bouncing Ball and Zeno-Behavior | 00:11:04 | |
| Probabilistic Models and PRISM | 00:09:19 |
| Solution Exercise 5 | 00:37:15 | |
|---|---|---|
| Repetition - Automatic Transmission Control | 00:17:50 | |
| Redundant Module and PRISM | 00:19:25 |
| Tool-Support dSPACE - SystemDesk | 00:37:34 | |
|---|---|---|
| Development-Process | 00:13:07 | |
| SystemDesk Software Architecture | 00:11:02 | |
| SystemDesk System Integration | 00:13:25 |
| Welcome and Introduction | 01:14:27 | |
|---|---|---|
| Introduction | 00:09:38 | |
| Outline | 00:04:27 | |
| Motivation | 00:21:40 | |
| System Characteristics | 00:16:06 | |
| Discussion and Summary | 00:01:39 | |
| Robotino Robot | 00:20:57 |
| Terminology, Model Types and Model Semantics | 01:37:31 | |
|---|---|---|
| Terminology | 00:16:20 | |
| Refinement vs. Approximation | 00:05:48 | |
| Model Types | 00:21:07 | |
| Bouncing Ball Examples | 00:13:44 | |
| Model Semantics | 00:18:36 | |
| Continuous Behavior Semantics | 00:21:56 |
| Model Semantics | 01:14:55 | |
|---|---|---|
| Reminder | 00:11:55 | |
| Model Properties | 00:20:08 | |
| Stability | 00:17:50 | |
| Probabilistic Models | 00:22:00 | |
| Discussion and Summary | 00:03:02 |
| Application Domains & Life Cycle | 00:38:02 | |
|---|---|---|
| Application Domains | 00:08:30 | |
| Transportation | 00:10:00 | |
| Industrial Automation | 00:13:09 | |
| Other relevant discipllines | 00:06:23 |
| Application Domains | 01:33:58 | |
|---|---|---|
| System Engineering | 00:19:36 | |
| Software Engineering | 00:14:38 | |
| The Need for Integration | 00:11:27 | |
| Challenges | 00:18:07 | |
| Life Cycle Models | 00:11:12 | |
| Alternative View | 00:18:58 |
| Application Domains and Lifecycle | 01:33:10 | |
|---|---|---|
| Embedded System Life Cycle Models | 00:15:38 | |
| Prototyping | 00:13:41 | |
| Life Cycle of Safety - Critical Systems | 00:17:25 | |
| Application Example: Airbus | 00:12:20 | |
| IV Requirements | 00:11:30 | |
| Requirement Specification | 00:22:36 |
| IV Requirements | 01:33:37 | |
|---|---|---|
| Sys ML and UML 2.0 | 00:11:12 | |
| Trade Analysis | 00:14:59 | |
| Dependability Requirements | 00:18:10 | |
| Conflicts | 00:17:40 | |
| Safety vs. Security | 00:15:10 | |
| Identification of the Top-Event | 00:16:46 |
| Risk Analysis | 01:33:33 | |
|---|---|---|
| Severity | 00:25:30 | |
| Recommed Techniques | 00:14:36 | |
| Software Reliability and Availability | 00:19:47 | |
| Time Units | 00:16:31 | |
| Compromise between Costs and Reliability | 00:17:09 |
| Methods and Analysis | 01:31:58 | |
|---|---|---|
| Introduction | 00:13:11 | |
| Functional Structuring | 00:13:43 | |
| Object Structuring Limitations | 00:15:46 | |
| Agents | 00:09:06 | |
| Analysis | 00:16:34 | |
| Parametric Constraint Diagram | 00:10:56 | |
| Example | 00:12:42 |
| Design | 00:52:56 | |
|---|---|---|
| Design | 00:16:53 | |
| Allocation Diagram | 00:17:56 | |
| Modeling? | 00:18:07 |
| Advanced Design Concepts | 00:49:31 | |
|---|---|---|
| Software Pattern | 00:16:31 | |
| Blackboard | 00:13:42 | |
| Toolkits and Frameworks | 00:12:41 | |
| AUTOSAR - Example | 00:06:37 |
| Introduction and Code Generation | 01:27:27 | |
|---|---|---|
| Introduction | 00:13:13 | |
| Continuous/Discrete/Hybrid Systems | 00:09:30 | |
| Code Generation | 00:14:38 | |
| TargetLink Demo | 00:19:49 | |
| Custom Code Block | 00:12:00 | |
| Discrete Real-Time Behavior | 00:18:17 |
| Manual Coding | 01:33:18 | |
|---|---|---|
| Alternatives | 00:17:46 | |
| Programming Language | 00:06:10 | |
| Language Comparison | 00:22:01 | |
| Coding Patterns | 00:14:02 | |
| State Table Pattern | 00:17:41 | |
| Rendezvous | 00:15:38 |
| Foundations | 01:37:10 | |
|---|---|---|
| Smart Pointer | 00:09:30 | |
| MDD and MDA | 00:25:40 | |
| Foundations | 00:26:59 | |
| Modeling | 00:21:27 | |
| Model Checking | 00:13:34 |
| Summary & Outlook | 01:26:32 | |
|---|---|---|
| Model Checking vs. Static Analysis | 00:22:08 | |
| Dynamic Analysis | 00:23:53 | |
| Comparison of the Test Levels | 00:07:55 | |
| Who is involved | 00:22:05 | |
| Outlook | 00:10:31 |
| Organization of Projects | 00:34:30 | |
|---|---|---|
| Repetition - Running Example - Robotino | 00:11:15 | |
| Organization of Projects | 00:10:37 | |
| Additional Sensors | 00:12:38 |
