News

03.06.2013

openHPI-Kurs "WWW"

Start des openHPI-Kurses "Einführung in die Web-Technologien" (in deutscher Sprache) bei openHPI. Anmelden können Sie sich hier.
08.04.2013

openHPI-Kurs SQL

Start des Kurses "Datenmanagement mit SQL" auf openHPI. Einschreiben in den Kurs können Sie sich noch jederzeit unter der Adresse ... [more]
05.03.2013

tele-TASK auf der CeBIT 2013

Auch dieses Jahr wird das Projekt tele-TASK wieder auf der CeBIT vertreten sein. Ihr findet uns am Stand des Hasso-Plattner-Instituts ... [more]

Statistics

userclicks~31 Mio.
lecture4444
activelecturer1665
series357
Lecture-Feed of Series: Software Engineering for Embedded Systems (WT 2007/08)Feed of Series: Software Engineering for Embedded Systems (WT 2007/08)

Software Engineering for Embedded Systems (WT 2007/08)

Image of Software Engineering for Embedded Systems (WT 2007/08)
Nicht genügend Bewertungen

Prof. Dr. Holger Giese

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.

Lecture

Introduction
Nicht genügend Bewertungen
Datum:22.10.2007
Sprache: en
Dauer:01:29:51
Vorlesung abspielen
• Organizational
• Motivation
• Examples
• System Characteristics
Introduction II
Nicht genügend Bewertungen
Datum:23.10.2007
Sprache: en
Dauer:01:30:59
Vorlesung abspielen
• System Characteristics, continuation
• Involved Disciplines
• Application Domains
• Discussion and Summary
Aktuelle Vorlesung
Nicht genügend Bewertungen
Datum:01.01.1998
Sprache: de
Dauer:00:00:00
Vorlesung abspielen
Lecture Oct 29th
Nicht genügend Bewertungen
Datum:29.10.2007
Sprache: en
Dauer:01:28:13
Vorlesung abspielen
• Specifications and Models
• Terminology
• Model Types
• Model Semantics
• Sequence Properties
• Stability
Model properties
Nicht genügend Bewertungen
Datum:12.11.2007
Sprache: en
Dauer:00:53:29
Vorlesung abspielen
• Model Properties
• Sequence Properties
• Stability
• Controllability
Dependability
Nicht genügend Bewertungen
Datum:13.11.2007
Sprache: en
Dauer:00:35:16
Vorlesung abspielen
• Forms of Saftety
• Classes of dependable Systems
• Maintainability
• Dependablitiy
Lecture Nov 19th, 2007
Nicht genügend Bewertungen
Datum:19.11.2007
Sprache: en
Dauer:01:17:26
Vorlesung abspielen
• Runtime Context of Safety-Related Systems
• Advantages of Computer-Based Systems
• Disadvantages of Computer-Based Systems
• Safety and Computer
• Dependability Requirements and Conflicts
• Faulty Tolerance
• Faluts, Errors and Failures
• Recursive Nature of Faults
• Classification of Faults
Foundations II
Nicht genügend Bewertungen
Datum:20.11.2007
Sprache: en
Dauer:01:23:00
Vorlesung abspielen
• Fault Models
• Principles of Fault Tolerance
• FT in the Domain of Space
• Techniques for Fault Tolerance
• Systematic Fault Tolerance
• Comparison of Techniques
Lecture Nov 26th, 2007
Nicht genügend Bewertungen
Datum:26.11.2007
Sprache: en
Dauer:01:13:29
Vorlesung abspielen
• Basic Fault Tolerance Pattern
• Reliablity Modelling
• Probalistic Structural based Modelling
• Active Redundancy and Voting
Generalized Stochastic Petri Nets
Nicht genügend Bewertungen
Datum:27.11.2007
Sprache: en
Dauer:01:29:40
Vorlesung abspielen
• Mean Time to Failure
• Markov Models
• Safety of a TMR System
• Generalized Stochastic Petri Nets
• GSPN Modelling
• Reliablity Growth Models
The Development Life Cycle
Nicht genügend Bewertungen
Datum:04.12.2007
Sprache: en
Dauer:01:25:52
Vorlesung abspielen
• Problems of Musa Model
• Comparison of probabilistic Techniques
• Limit of Validation for Ultra-High Dependability
• Disscussion and Summary
• The Development Life Cycle
Life Cycle Models
Nicht genügend Bewertungen
Datum:10.12.2007
Sprache: en
Dauer:01:28:39
Vorlesung abspielen
• V Model
• Different Development Stages
• Life Cycle of Safety-Critical Systems
• Mapping of Phases to Safety Aktivities
• Conceptional Development
• Design
• Full-scale Development
Lecture Dec 17th, 2007
Nicht genügend Bewertungen
Datum:17.12.2007
Sprache: en
Dauer:01:27:10
Vorlesung abspielen
• Dependability Requirements
Requirements
Nicht genügend Bewertungen
Datum:18.12.2007
Sprache: en
Dauer:01:31:00
Vorlesung abspielen
• Reliability and Efficiency
• Consistency
• Steps to Reliability Specification
• Software Reliability amd Availability
• Completeness
• Requirement Model and EUC
Analysis and Design
Nicht genügend Bewertungen
Datum:07.01.2008
Sprache: en
Dauer:01:30:04
Vorlesung abspielen
• Introduction
• Design Principles
• Methods
• Functional Structuring
• Data Flow Structuring
• Object Structuring
Analysis and Design
Nicht genügend Bewertungen
Datum:08.01.2008
Sprache: en
Dauer:01:33:16
Vorlesung abspielen
• OO and Modularity: 5 Principles
• Components and Services
• Agents
• Analysis
• Block Diagram
• Parametric Constraint Diagram
Analysis and Design
Nicht genügend Bewertungen
Datum:21.01.2008
Sprache: en
Dauer:01:26:06
Vorlesung abspielen
• Control and Object Flow
• Sequence Diagrams
• Design
• State Machine Diagram
• Allocation Diagram
• Controller Design
today\'s lecture
Nicht genügend Bewertungen
Datum:01.01.1998
Sprache: en
Dauer:00:00:00
Vorlesung abspielen
Analysis and Design
Nicht genügend Bewertungen
Datum:22.01.2008
Sprache: en
Dauer:01:26:27
Vorlesung abspielen
• Example: Speed Idle Control
• Software Pattern
• Proxy Pattern
• Monitor-Actuator
• Software Architecture
• Process-Control Paradigm
• Blackboard
Lecture
Nicht genügend Bewertungen
Datum:28.01.2008
Sprache: en
Dauer:01:28:09
Vorlesung abspielen
Lecture part 2
Nicht genügend Bewertungen
Datum:28.01.2008
Sprache: en
Dauer:01:32:39
Vorlesung abspielen
Mechatronic UML
Nicht genügend Bewertungen
Datum:01.02.2008
Sprache: en
Dauer:01:30:00
Vorlesung abspielen
• Mechatronic UML
• Mechatronic UML: Components
• Real-Time Coordination Pattern
• OCM Hierarchies
• Integration of Intelligent Behavior
• Safe Coordination
• Discussion and Summary
Implementation
Nicht genügend Bewertungen
Datum:01.02.2008
Sprache: en
Dauer:01:30:00
Vorlesung abspielen
• Architecture
• Implementation
• Manual Coding
• Language Comparison
• Coding Patterns
• Memory Management and Safety
Code Generation
Nicht genügend Bewertungen
Datum:04.02.2008
Sprache: en
Dauer:01:16:36
Vorlesung abspielen
• Continuous Behavior
• Discrete Real-Time Behavior
• Hybrid Behavior
• MDD and MDA
• Mechatronic UML
• Discussion and Summary
Verification and Validation
Nicht genügend Bewertungen
Datum:05.02.2008
Sprache: en
Dauer:01:33:32
Vorlesung abspielen
• Foundations
• Static Analysis Techniques
• Hazard Analysis
• Static Code Analysis
• Modeling
• Static Model Analysis
• Model Checking
Testing Embedded Systems
Nicht genügend Bewertungen
Datum:08.02.2008
Sprache: en
Dauer:01:07:17
Vorlesung abspielen
Tags added to this content

No tags have been added to this content so far.

Tag this content

Please enable javascript to use this function.

Dear user,
with the tagging function you'll be able to add taggs to videos.
However, in order to link all your tags with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Links added to this content

No links have been added to this content so far.

Add Link to this content

Please enable javascript to use this function.

Dear user,
with the links function you'll be able to add links to other resources to this content.
However, in order to link all your links with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.