All episodes of Software Engineering for Embedded Systems (WS - Chartable

Software Engineering for Embedded Systems (WS 2011/12) - Created with tele-TASK - more than video! P...

Episodes

Model Checking

Published 12/20/11

Why is Model-Checking Software Difficult?

Why is Model-Checking Software Difficult?

Published 12/20/11

Dynamic Analysis

Dynamic Analysis

Published 12/20/11

Pre-Production

Published 12/20/11

Summary

Published 12/20/11

Outlook

Published 12/20/11

Weak Synchronicity

Weak Synchronicity

Published 12/19/11

MDD & MDA

Published 12/19/11

Verification & Validation

Verification & Validation

Published 12/19/11

Modeling

Published 12/19/11

Discussion

Published 12/19/11

Code Generation

Code Generation

Published 12/19/11

Other Effects

Published 12/19/11

Introduction

Published 12/13/11

Virtual Machine

Virtual Machine

Published 12/13/11

Coding Patterns

Coding Patterns

Published 12/13/11

Manual Coding

Published 12/13/11

Synchronization

Synchronization

Published 12/13/11

Memory Management & Safety

Memory Management & Safety

Published 12/13/11

Design for Safety

Design for Safety

Published 12/12/11

Discussion & Summary

Discussion & Summary

Published 12/12/11

Design Guided by Hazard Analysis

Design Guided by Hazard Analysis

Published 12/12/11

Hazard Control

Published 12/12/11

Design for Reliability

Design for Reliability

Published 12/12/11

Parallel Fail Silent vs. Majority Voting

Parallel Fail Silent vs. Majority Voting

Published 12/12/11